Details

Time bar (total: 24.3s)

sample104.0ms

Algorithm
intervals
Results
48.0ms284×body80valid

simplify1.4s

Counts
1 → 1
Iterations
IterNodes
done5000
41130
3337
2116
155
030

prune35.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 26.4b

localize64.0ms

Local error

Found 4 expressions with local error:

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

rewrite301.0ms

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

series830.0ms

Counts
4 → 12
Calls
4 calls:
94.0ms
(* z (+ a (* z (+ t (* (+ 11.1667541262 (* z 3.13060547623)) z)))))
92.0ms
(* (+ 11.1667541262 (* z 3.13060547623)) z)
351.0ms
(* (/ (+ (* z (+ a (* z (+ t (* (+ 11.1667541262 (* z 3.13060547623)) z))))) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771)) y)
293.0ms
(/ (+ (* z (+ a (* z (+ t (* (+ 11.1667541262 (* z 3.13060547623)) z))))) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771))

simplify2.5s

Counts
119 → 119
Iterations
IterNodes
done5000
23896
1723
0241

prune1.3s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.5b

localize56.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ (+ (+ (* z a) (* (* z z) (+ (* (+ 11.1667541262 (* z 3.13060547623)) z) t))) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771)) y)
2.1b
(* (* z z) (+ (* (+ 11.1667541262 (* z 3.13060547623)) z) t))
3.8b
(+ (* z a) (* (* z z) (+ (* (+ 11.1667541262 (* z 3.13060547623)) z) t)))
25.7b
(/ (+ (+ (* z a) (* (* z z) (+ (* (+ 11.1667541262 (* z 3.13060547623)) z) t))) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771))

rewrite463.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
29×add-sqr-sqrt
25×times-frac
23×add-cube-cbrt
19×associate-*l*
16×add-cbrt-cube add-exp-log
11×pow1
7×distribute-lft-out
6×associate-*r* add-log-exp
5×flip3-+ prod-exp cbrt-unprod flip-+
4×pow-prod-down associate-/r/ associate-/l*
3×associate-/r* unswap-sqr
2×distribute-rgt-in cbrt-undiv associate-+r+ distribute-lft-in div-exp associate-*r/ *-commutative div-inv associate-/l/
1×+-commutative clear-num sum-log frac-2neg associate-*l/
Counts
4 → 108
Calls
4 calls:
216.0ms
(* (/ (+ (+ (* z a) (* (* z z) (+ (* (+ 11.1667541262 (* z 3.13060547623)) z) t))) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771)) y)
73.0ms
(* (* z z) (+ (* (+ 11.1667541262 (* z 3.13060547623)) z) t))
9.0ms
(+ (* z a) (* (* z z) (+ (* (+ 11.1667541262 (* z 3.13060547623)) z) t)))
158.0ms
(/ (+ (+ (* z a) (* (* z z) (+ (* (+ 11.1667541262 (* z 3.13060547623)) z) t))) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771))

series939.0ms

Counts
4 → 12
Calls
4 calls:
404.0ms
(* (/ (+ (+ (* z a) (* (* z z) (+ (* (+ 11.1667541262 (* z 3.13060547623)) z) t))) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771)) y)
61.0ms
(* (* z z) (+ (* (+ 11.1667541262 (* z 3.13060547623)) z) t))
88.0ms
(+ (* z a) (* (* z z) (+ (* (+ 11.1667541262 (* z 3.13060547623)) z) t)))
385.0ms
(/ (+ (+ (* z a) (* (* z z) (+ (* (+ 11.1667541262 (* z 3.13060547623)) z) t))) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771))

simplify2.6s

Counts
120 → 120
Iterations
IterNodes
done5000
24376
1717
0234

prune1.3s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.5b

localize83.0ms

Local error

Found 4 expressions with local error:

15.8b
(cbrt (+ 0.607771387771 (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)))
15.8b
(cbrt (+ 0.607771387771 (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)))
15.8b
(cbrt (+ 0.607771387771 (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)))
19.7b
(* (/ 1 (* (cbrt (+ 0.607771387771 (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z))) (cbrt (+ 0.607771387771 (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z))))) (/ (+ b (* z (+ (* z (+ (* (+ 11.1667541262 (* z 3.13060547623)) z) t)) a))) (cbrt (+ 0.607771387771 (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)))))

rewrite189.0ms

Algorithm
rewrite-expression-head
Rules
49×add-exp-log
43×add-sqr-sqrt
33×times-frac
25×*-un-lft-identity
24×associate-*r*
22×add-cube-cbrt
21×cbrt-prod
20×cbrt-div prod-exp
18×add-cbrt-cube
15×div-exp associate-*l*
10×flip3-+ associate-/r/ flip-+
9×unswap-sqr
8×cbrt-unprod
7×cbrt-undiv
6×pow1
5×frac-times
4×rec-exp 1-exp add-log-exp
3×pow1/3 associate-*l/ associate-*r/
2×div-inv
1×pow-prod-down *-commutative
Counts
4 → 119
Calls
4 calls:
6.0ms
(cbrt (+ 0.607771387771 (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)))
5.0ms
(cbrt (+ 0.607771387771 (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)))
5.0ms
(cbrt (+ 0.607771387771 (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)))
164.0ms
(* (/ 1 (* (cbrt (+ 0.607771387771 (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z))) (cbrt (+ 0.607771387771 (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z))))) (/ (+ b (* z (+ (* z (+ (* (+ 11.1667541262 (* z 3.13060547623)) z) t)) a))) (cbrt (+ 0.607771387771 (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)))))

series891.0ms

Counts
4 → 12
Calls
4 calls:
172.0ms
(cbrt (+ 0.607771387771 (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)))
193.0ms
(cbrt (+ 0.607771387771 (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)))
192.0ms
(cbrt (+ 0.607771387771 (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)))
334.0ms
(* (/ 1 (* (cbrt (+ 0.607771387771 (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z))) (cbrt (+ 0.607771387771 (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z))))) (/ (+ b (* z (+ (* z (+ (* (+ 11.1667541262 (* z 3.13060547623)) z) t)) a))) (cbrt (+ 0.607771387771 (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z)))))

simplify3.0s

Counts
131 → 131
Iterations
IterNodes
done5001
24866
1780
0244

prune1.8s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.5b

localize42.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 1.6453555072203998 (+ (* a z) b))
0.1b
(* z (* b 32.324150453290734))
2.0b
(- (* 1.6453555072203998 (+ (* a z) b)) (* z (* b 32.324150453290734)))
4.2b
(* (- (* 1.6453555072203998 (+ (* a z) b)) (* z (* b 32.324150453290734))) y)

rewrite146.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt pow1 add-cbrt-cube add-exp-log
9×*-un-lft-identity associate-*l* add-cube-cbrt
7×associate-*r*
6×add-log-exp
5×pow-prod-down prod-exp cbrt-unprod
3×*-commutative
2×distribute-rgt-in distribute-lft-in flip3-- associate-*l/ associate--l+ associate-*r/ flip-- unswap-sqr
1×sub-neg flip3-+ diff-log flip-+
Counts
4 → 74
Calls
4 calls:
31.0ms
(* 1.6453555072203998 (+ (* a z) b))
13.0ms
(* z (* b 32.324150453290734))
31.0ms
(- (* 1.6453555072203998 (+ (* a z) b)) (* z (* b 32.324150453290734)))
67.0ms
(* (- (* 1.6453555072203998 (+ (* a z) b)) (* z (* b 32.324150453290734))) y)

series265.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* 1.6453555072203998 (+ (* a z) b))
37.0ms
(* z (* b 32.324150453290734))
72.0ms
(- (* 1.6453555072203998 (+ (* a z) b)) (* z (* b 32.324150453290734)))
107.0ms
(* (- (* 1.6453555072203998 (+ (* a z) b)) (* z (* b 32.324150453290734))) y)

simplify893.0ms

Counts
86 → 86
Iterations
IterNodes
done5002
21742
1385
0137

prune571.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.5b

regimes1.3s

Accuracy

95.6% (1.2b remaining)

Error of 1.6b against oracle of 0.4b and baseline of 27.6b

bsearch565.0ms

Steps
ItersRangePoint
7
5.1212688054922095
886.592532349027
871.6899146722847
11
-2.5795142908252698e+33
-39557031.28023394
-2.5523205569366208e+33

simplify10.0ms

Iterations
IterNodes
done72
172
047

end0.0ms

sample2.7s

Algorithm
intervals
Results
2.0s8905×body80valid