Details

Time bar (total: 16.1s)

sample70.0ms

Algorithm
intervals
Results
34.0ms287×body80valid

simplify1.5s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03037
15537
211637
333737
4113037
done500037

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.5b

localize45.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (+ (* z 3.13060547623) 11.1667541262) z)
0.1b
(* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z)
1.9b
(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
28.8b
(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

rewrite441.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
15×add-exp-log add-cbrt-cube
12×add-cube-cbrt *-un-lft-identity
10×pow1
9×associate-*r* associate-*l*
5×flip3-+ flip-+
4×associate-*r/ associate-*l/ prod-exp cbrt-unprod add-log-exp
3×times-frac pow-prod-down associate-/r* *-commutative unswap-sqr
2×cbrt-undiv div-exp associate-/r/ associate-/l/
1×distribute-rgt-in frac-2neg distribute-lft-in clear-num div-inv associate-/l*
Counts
4 → 87
Calls
4 calls:
30.0ms
(* (+ (* z 3.13060547623) 11.1667541262) z)
98.0ms
(* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z)
158.0ms
(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
153.0ms
(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

series1.3s

Counts
4 → 12
Calls
4 calls:
126.0ms
(* (+ (* z 3.13060547623) 11.1667541262) z)
91.0ms
(* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z)
300.0ms
(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
744.0ms
(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

simplify2.3s

Counts
99 → 99
Iterations

Useful iterations: done (2.3s)

IterNodesCost
02062567
15962515
231882177
done50012171

prune815.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 4.7b

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (* 1.6453555072203998 (* y b)))
0.2b
(* 1.6453555072203998 (* y b))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-exp-log add-cbrt-cube
4×add-log-exp
3×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*l* pow-prod-down prod-exp cbrt-unprod
1×+-commutative flip3-+ associate-*r* sum-log *-commutative flip-+
Counts
2 → 29
Calls
2 calls:
13.0ms
(+ x (* 1.6453555072203998 (* y b)))
28.0ms
(* 1.6453555072203998 (* y b))

series96.0ms

Counts
2 → 6
Calls
2 calls:
59.0ms
(+ x (* 1.6453555072203998 (* y b)))
36.0ms
(* 1.6453555072203998 (* y b))

simplify2.3s

Counts
35 → 35
Iterations

Useful iterations: 2 (95.0ms)

IterNodesCost
057314
1152294
2583260
32897260
done5000260

prune179.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 4.7b

localize21.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ x (* (* (cbrt 1.6453555072203998) (cbrt 1.6453555072203998)) (* (cbrt 1.6453555072203998) (* y b))))
0.2b
(* (* (cbrt 1.6453555072203998) (cbrt 1.6453555072203998)) (* (cbrt 1.6453555072203998) (* y b)))
0.3b
(* (cbrt 1.6453555072203998) (* y b))

rewrite170.0ms

Algorithm
rewrite-expression-head
Rules
29×pow1 add-exp-log
18×pow-prod-down prod-exp cbrt-unprod
17×add-cbrt-cube
7×associate-*l*
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-log-exp
3×cbrt-prod
2×associate-*r* *-commutative
1×+-commutative flip3-+ sum-log flip-+
Counts
3 → 60
Calls
3 calls:
19.0ms
(+ x (* (* (cbrt 1.6453555072203998) (cbrt 1.6453555072203998)) (* (cbrt 1.6453555072203998) (* y b))))
109.0ms
(* (* (cbrt 1.6453555072203998) (cbrt 1.6453555072203998)) (* (cbrt 1.6453555072203998) (* y b)))
37.0ms
(* (cbrt 1.6453555072203998) (* y b))

series346.0ms

Counts
3 → 9
Calls
3 calls:
143.0ms
(+ x (* (* (cbrt 1.6453555072203998) (cbrt 1.6453555072203998)) (* (cbrt 1.6453555072203998) (* y b))))
115.0ms
(* (* (cbrt 1.6453555072203998) (cbrt 1.6453555072203998)) (* (cbrt 1.6453555072203998) (* y b)))
88.0ms
(* (cbrt 1.6453555072203998) (* y b))

simplify1.1s

Counts
69 → 69
Iterations

Useful iterations: done (1.1s)

IterNodesCost
088958
1247902
21003620
done5000481

prune237.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 4.7b

localize15.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (cbrt (* (cbrt 1.6453555072203998) (cbrt 1.6453555072203998))) (* (cbrt (cbrt 1.6453555072203998)) (* y b)))
0.6b
(* (cbrt (cbrt 1.6453555072203998)) (* y b))
1.0b
(cbrt (cbrt 1.6453555072203998))
1.0b
(cbrt (* (cbrt 1.6453555072203998) (cbrt 1.6453555072203998)))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
20×cbrt-prod
18×pow1 add-exp-log
13×associate-*l*
11×add-cbrt-cube
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×pow-prod-down prod-exp cbrt-unprod
4×add-log-exp
2×pow1/3 associate-*r* *-commutative
Counts
4 → 69
Calls
4 calls:
59.0ms
(* (cbrt (* (cbrt 1.6453555072203998) (cbrt 1.6453555072203998))) (* (cbrt (cbrt 1.6453555072203998)) (* y b)))
21.0ms
(* (cbrt (cbrt 1.6453555072203998)) (* y b))
1.0ms
(cbrt (cbrt 1.6453555072203998))
6.0ms
(cbrt (* (cbrt 1.6453555072203998) (cbrt 1.6453555072203998)))

series259.0ms

Counts
4 → 8
Calls
4 calls:
66.0ms
(* (cbrt (* (cbrt 1.6453555072203998) (cbrt 1.6453555072203998))) (* (cbrt (cbrt 1.6453555072203998)) (* y b)))
192.0ms
(* (cbrt (cbrt 1.6453555072203998)) (* y b))
0.0ms
(cbrt (cbrt 1.6453555072203998))
0.0ms
(cbrt (* (cbrt 1.6453555072203998) (cbrt 1.6453555072203998)))

simplify874.0ms

Counts
77 → 77
Iterations

Useful iterations: done (872.0ms)

IterNodesCost
081814
1198799
2872695
done5001669

prune257.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 4.7b

regimes776.0ms

Accuracy

93.8% (1.4b remaining)

Error of 4.9b against oracle of 3.5b and baseline of 26.6b

bsearch385.0ms

Steps
ItersRangePoint
9
1.6514850353937772e+35
3.7930850735237604e+42
2.687546730143844e+38
8
-3.562494867365608e+64
-1.2255114603231957e+62
-1.0433506144370169e+63

simplify7.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
050118
175100
done75100

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.9s8823×body80valid