Details

Time bar (total: 30.6s)

sample101.0ms

Algorithm
intervals
Results
45.0ms288×body80valid

simplify1.9s

Counts
1 → 1
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
030732
155732
2116732
3337732
41130732
done5000732

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.2b

localize64.0ms

Local error

Found 4 expressions with local error:

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

rewrite416.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 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 → 87
Calls
4 calls:
100.0ms
(* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z)
40.0ms
(* (+ (* z 3.13060547623) 11.1667541262) z)
165.0ms
(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
109.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:
78.0ms
(* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z)
104.0ms
(* (+ (* z 3.13060547623) 11.1667541262) z)
263.0ms
(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
655.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))

simplify4.1s

Counts
99 → 99
Iterations

Useful iterations: done (4.1s)

IterNodesCost
020646272
159641656
2318941336
done500441136

prune1.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 3.1b

localize35.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ z 15.234687407) z)
0.0b
(* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)
0.1b
(* (+ (* (+ z 15.234687407) z) 31.4690115749) z)
5.4b
(/ (* y (+ 0 b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

rewrite275.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
15×add-cbrt-cube add-exp-log
14×*-un-lft-identity
12×add-cube-cbrt
10×pow1 associate-*l*
9×associate-*r*
6×associate-*l/
5×flip3-+ flip-+
4×prod-exp cbrt-unprod add-log-exp
3×associate-/r* times-frac pow-prod-down *-commutative unswap-sqr
2×cbrt-undiv div-exp associate-*r/ associate-/r/ associate-/l/
1×clear-num frac-2neg div-inv distribute-lft-out associate-/l*
Counts
4 → 86
Calls
4 calls:
30.0ms
(* (+ z 15.234687407) z)
87.0ms
(* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)
63.0ms
(* (+ (* (+ z 15.234687407) z) 31.4690115749) z)
92.0ms
(/ (* y (+ 0 b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

series492.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(* (+ z 15.234687407) z)
73.0ms
(* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)
58.0ms
(* (+ (* (+ z 15.234687407) z) 31.4690115749) z)
298.0ms
(/ (* y (+ 0 b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

simplify2.6s

Counts
98 → 98
Iterations

Useful iterations: done (2.6s)

IterNodesCost
020335066
158628892
2356528251
done500028171

prune824.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 3.1b

localize87.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) 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)))
26.4b
(/ (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

rewrite464.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 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 → 105
Calls
4 calls:
106.0ms
(* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z)
20.0ms
(* (+ (* z 3.13060547623) 11.1667541262) z)
199.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)))
136.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.2s

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

simplify3.2s

Counts
117 → 117
Iterations

Useful iterations: done (3.2s)

IterNodesCost
022568001
162263705
2314763301
done500263181

prune1.1s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize120.0ms

Local error

Found 4 expressions with local error:

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

rewrite625.0ms

Algorithm
rewrite-expression-head
Rules
34×add-exp-log
32×add-sqr-sqrt
24×*-un-lft-identity
23×add-cube-cbrt
22×add-cbrt-cube
20×times-frac
19×associate-*r*
14×pow1 prod-exp
9×associate-*l*
8×associate-*r/ cbrt-unprod
7×flip3-+ flip-+
6×div-exp associate-*l/
5×pow-prod-down
4×frac-times associate-/r/ add-log-exp unswap-sqr
3×cbrt-undiv rec-exp associate-/r* 1-exp *-commutative associate-/l*
2×un-div-inv div-inv
1×clear-num frac-2neg pow-flip inv-pow
Counts
4 → 123
Calls
4 calls:
22.0ms
(* (+ (* z 3.13060547623) 11.1667541262) z)
341.0ms
(* y (* (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (/ 1 (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))))
50.0ms
(/ 1 (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
209.0ms
(* (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (/ 1 (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))

series1.2s

Counts
4 → 12
Calls
4 calls:
69.0ms
(* (+ (* z 3.13060547623) 11.1667541262) z)
673.0ms
(* y (* (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (/ 1 (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))))
81.0ms
(/ 1 (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))
337.0ms
(* (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (/ 1 (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))

simplify4.5s

Counts
135 → 135
Iterations

Useful iterations: 2 (1.8s)

IterNodesCost
024679972
168672345
2478069391
done500069391

prune1.2s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes1.2s

Accuracy

96.5% (0.8b remaining)

Error of 1.1b against oracle of 0.3b and baseline of 23.1b

bsearch464.0ms

Steps
ItersRangePoint
9
1.6799158367203733e+36
2.166677280609876e+43
5.484371003442913e+38
7
-7.963569197785666e+71
-3.759409059654081e+70
-3.80730209029403e+70

simplify48.0ms

Iterations

Useful iterations: 0 (9.0ms)

IterNodesCost
0461316
1721316
done721316

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.7s8906×body80valid