Details

Time bar (total: 23.1s)

sample126.0ms

Algorithm
intervals
Results
82.0ms284×body80valid

simplify2.6s

Counts
1 → 1
Iterations
IterNodes
done5004
53616
41094
3335
2116
155
030

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.2b

localize116.0ms

Local error

Found 4 expressions with local error:

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

rewrite361.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
15×add-cbrt-cube add-exp-log
12×*-un-lft-identity add-cube-cbrt
10×pow1
9×associate-*r* associate-*l*
5×flip3-+ flip-+
4×associate-*l/ prod-exp associate-*r/ cbrt-unprod insert-posit16 add-log-exp
3×associate-/r* times-frac pow-prod-down *-commutative unswap-sqr
2×cbrt-undiv div-exp associate-/r/ associate-/l/
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in div-inv associate-/l*
Counts
4 → 91
Calls
4 calls:
62.0ms
(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
21.0ms
(* (+ (* z 3.13060547623) 11.1667541262) z)
154.0ms
(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
123.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.1s

Counts
4 → 12
Calls
4 calls:
54.0ms
(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
107.0ms
(* (+ (* z 3.13060547623) 11.1667541262) z)
283.0ms
(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
650.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.7s

Counts
103 → 103
Iterations
IterNodes
done5003
22412
1602
0210

prune1.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.2b

localize40.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (* y 36.527041698806414) z)
2.6b
(- (* (/ t (* z z)) y) (/ (* y 36.527041698806414) z))
7.3b
(* (/ t (* z z)) y)
8.7b
(/ t (* z z))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
23×add-cbrt-cube add-exp-log
15×add-sqr-sqrt
11×*-un-lft-identity add-cube-cbrt
10×times-frac
7×associate-*l*
6×pow1 cbrt-undiv div-exp prod-exp cbrt-unprod add-log-exp
4×associate-/r* insert-posit16 associate-/l*
3×associate-*r* div-inv
2×clear-num frac-2neg associate-*l/ unswap-sqr
1×sub-neg flip3-- diff-log pow-prod-down *-commutative frac-sub flip--
Counts
4 → 87
Calls
4 calls:
18.0ms
(/ (* y 36.527041698806414) z)
33.0ms
(- (* (/ t (* z z)) y) (/ (* y 36.527041698806414) z))
38.0ms
(* (/ t (* z z)) y)
8.0ms
(/ t (* z z))

series174.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(/ (* y 36.527041698806414) z)
71.0ms
(- (* (/ t (* z z)) y) (/ (* y 36.527041698806414) z))
43.0ms
(* (/ t (* z z)) y)
30.0ms
(/ t (* z z))

simplify1.3s

Counts
99 → 99
Iterations
IterNodes
done5001
21579
1377
0144

prune615.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.2b

localize38.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
1.9b
(* (/ t (* (/ z (cbrt y)) (/ z (cbrt y)))) (cbrt y))
2.6b
(- (* (/ t (* (/ z (cbrt y)) (/ z (cbrt y)))) (cbrt y)) (/ (* y 36.527041698806414) z))
10.2b
(/ t (* (/ z (cbrt y)) (/ z (cbrt y))))

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
47×add-exp-log
33×add-cbrt-cube
19×add-sqr-sqrt
18×cbrt-undiv div-exp
14×prod-exp cbrt-unprod
11×*-un-lft-identity add-cube-cbrt
10×associate-*l*
8×cbrt-prod times-frac
6×pow1 associate-*r* associate-/r/ add-log-exp
4×associate-*l/ insert-posit16 unswap-sqr
3×associate-/l*
2×frac-times associate-*r/ div-inv
1×clear-num associate-/r* sub-neg frac-2neg flip3-- pow1/3 diff-log pow-prod-down *-commutative frac-sub flip--
Counts
4 → 100
Calls
4 calls:
1.0ms
(cbrt y)
44.0ms
(* (/ t (* (/ z (cbrt y)) (/ z (cbrt y)))) (cbrt y))
52.0ms
(- (* (/ t (* (/ z (cbrt y)) (/ z (cbrt y)))) (cbrt y)) (/ (* y 36.527041698806414) z))
19.0ms
(/ t (* (/ z (cbrt y)) (/ z (cbrt y))))

series662.0ms

Counts
4 → 12
Calls
4 calls:
278.0ms
(cbrt y)
101.0ms
(* (/ t (* (/ z (cbrt y)) (/ z (cbrt y)))) (cbrt y))
100.0ms
(- (* (/ t (* (/ z (cbrt y)) (/ z (cbrt y)))) (cbrt y)) (/ (* y 36.527041698806414) z))
184.0ms
(/ t (* (/ z (cbrt y)) (/ z (cbrt y))))

simplify2.0s

Counts
112 → 112
Iterations
IterNodes
done5001
21914
1466
0170

prune723.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.2b

localize86.0ms

Local error

Found 4 expressions with local error:

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

rewrite465.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
24×*-un-lft-identity add-cube-cbrt
21×associate-*r*
19×times-frac
15×add-cbrt-cube add-exp-log
10×pow1
9×associate-*l*
5×flip3-+ flip-+
4×associate-*l/ prod-exp associate-/r/ cbrt-unprod insert-posit16 add-log-exp unswap-sqr
3×associate-/r* pow-prod-down *-commutative associate-/l*
2×cbrt-undiv div-exp div-inv associate-/l/
1×clear-num frac-2neg associate-*r/
Counts
4 → 109
Calls
4 calls:
79.0ms
(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
42.0ms
(* (+ (* z 3.13060547623) 11.1667541262) z)
222.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)))
119.0ms
(/ (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

series1.1s

Counts
4 → 12
Calls
4 calls:
44.0ms
(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
77.0ms
(* (+ (* z 3.13060547623) 11.1667541262) z)
615.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)))
332.0ms
(/ (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

simplify2.6s

Counts
121 → 121
Iterations
IterNodes
done5006
22344
1612
0226

prune1.0s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.2b

regimes988.0ms

Accuracy

97.5% (0.7b remaining)

Error of 1.1b against oracle of 0.4b and baseline of 26.6b

bsearch327.0ms

Steps
ItersRangePoint
9
2.209338590702161e+49
3.4070732292277083e+56
1.3590012002674587e+52
8
-1.0556877403825354e+46
-1.8269303503676755e+43
-1.0597997332978914e+45

simplify29.0ms

Iterations
IterNodes
done72
172
048

end0.0ms

sample2.7s

Algorithm
intervals
Results
2.3s8943×body80valid