Details

Time bar (total: 1.6m)

sample81.0ms

Algorithm
intervals
Results
42.0ms256×body80valid

simplify2.3s

Counts
1 → 1

prune106.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 28.4b

localize134.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 0.1049934947 (* x x))
0.2b
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
12.5b
(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
27.9b
(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

rewrite39.9s

Algorithm
rewrite-expression-head
Rules
157×add-exp-log add-cbrt-cube
152×pow1
123×prod-exp cbrt-unprod
122×pow-prod-down
28×add-sqr-sqrt
22×add-cube-cbrt *-un-lft-identity
21×associate-*l*
19×times-frac
5×associate-*r*
4×associate-/r/ add-log-exp
3×flip3-+ associate-/r* *-commutative flip-+ associate-/l* unswap-sqr
2×cbrt-undiv div-exp div-inv associate-/l/
1×frac-2neg associate-*l/ clear-num
Counts
4 → 165
Calls
4 calls:
35.0ms
(* 0.1049934947 (* x x))
2.3s
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
23.7s
(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
13.8s
(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

series845.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(* 0.1049934947 (* x x))
60.0ms
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
394.0ms
(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
349.0ms
(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

simplify3.0s

Counts
177 → 177

prune2.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize179.0ms

Local error

Found 4 expressions with local error:

0.6b
(/ (* 583843369866023.0 (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 1.152921504606847e+18)
0.7b
(/ (* 2502400853142105.0 (* (pow x 2) (* x (pow x 3)))) 3.602879701896397e+16)
0.7b
(/ (* 8375303961237363.0 (* (pow x 2) (* x (pow x 3)))) 1.152921504606847e+18)
27.9b
(/ (* x (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) (/ 825478423409049.0 4.611686018427388e+18)) (+ (+ (/ (* 8375303961237363.0 (* (pow x 2) (* x (pow x 3)))) 1.152921504606847e+18) 1.0) (* (pow x 2) (+ (/ 3782789308857969.0 3.602879701896397e+16) (* (/ 763919671262763.0 18014398509481984.0) (pow x 2)))))) (/ (* 583843369866023.0 (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 1.152921504606847e+18))) (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3)))))) (* 2.0 (/ 825478423409049.0 4.611686018427388e+18))) (+ (+ (/ (* 2502400853142105.0 (* (pow x 2) (* x (pow x 3)))) 3.602879701896397e+16) 1.0) (* (pow x 2) (+ (/ 1737369620307813.0 2251799813685248.0) (* (/ 2620859570069187.0 9007199254740992.0) (pow x 2)))))) (* (pow x 2) (+ (* (/ 2017691060547333.0 1.4411518807585587e+17) (* (* (* x x) x) (* (* x x) x))) (* (/ 7681173503746455.0 9.223372036854776e+18) (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))))

rewrite30.5s

Algorithm
rewrite-expression-head
Rules
309×add-exp-log
211×prod-exp
122×associate-*r/
114×frac-add
71×div-exp
57×add-cbrt-cube
48×pow-to-exp pow-exp
40×flip3-+ flip-+
32×associate-/r/
28×associate-*l/
23×cbrt-unprod
15×cbrt-undiv
12×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac associate-/r* associate-/l/
4×pow1 frac-2neg clear-num div-inv associate-/l* add-log-exp
Counts
4 → 198
Calls
4 calls:
193.0ms
(/ (* 583843369866023.0 (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 1.152921504606847e+18)
83.0ms
(/ (* 2502400853142105.0 (* (pow x 2) (* x (pow x 3)))) 3.602879701896397e+16)
118.0ms
(/ (* 8375303961237363.0 (* (pow x 2) (* x (pow x 3)))) 1.152921504606847e+18)
30.1s
(/ (* x (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) (/ 825478423409049.0 4.611686018427388e+18)) (+ (+ (/ (* 8375303961237363.0 (* (pow x 2) (* x (pow x 3)))) 1.152921504606847e+18) 1.0) (* (pow x 2) (+ (/ 3782789308857969.0 3.602879701896397e+16) (* (/ 763919671262763.0 18014398509481984.0) (pow x 2)))))) (/ (* 583843369866023.0 (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 1.152921504606847e+18))) (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3)))))) (* 2.0 (/ 825478423409049.0 4.611686018427388e+18))) (+ (+ (/ (* 2502400853142105.0 (* (pow x 2) (* x (pow x 3)))) 3.602879701896397e+16) 1.0) (* (pow x 2) (+ (/ 1737369620307813.0 2251799813685248.0) (* (/ 2620859570069187.0 9007199254740992.0) (pow x 2)))))) (* (pow x 2) (+ (* (/ 2017691060547333.0 1.4411518807585587e+17) (* (* (* x x) x) (* (* x x) x))) (* (/ 7681173503746455.0 9.223372036854776e+18) (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))))

series726.0ms

Counts
4 → 12
Calls
4 calls:
98.0ms
(/ (* 583843369866023.0 (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 1.152921504606847e+18)
82.0ms
(/ (* 2502400853142105.0 (* (pow x 2) (* x (pow x 3)))) 3.602879701896397e+16)
80.0ms
(/ (* 8375303961237363.0 (* (pow x 2) (* x (pow x 3)))) 1.152921504606847e+18)
465.0ms
(/ (* x (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) (/ 825478423409049.0 4.611686018427388e+18)) (+ (+ (/ (* 8375303961237363.0 (* (pow x 2) (* x (pow x 3)))) 1.152921504606847e+18) 1.0) (* (pow x 2) (+ (/ 3782789308857969.0 3.602879701896397e+16) (* (/ 763919671262763.0 18014398509481984.0) (pow x 2)))))) (/ (* 583843369866023.0 (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 1.152921504606847e+18))) (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3)))))) (* 2.0 (/ 825478423409049.0 4.611686018427388e+18))) (+ (+ (/ (* 2502400853142105.0 (* (pow x 2) (* x (pow x 3)))) 3.602879701896397e+16) 1.0) (* (pow x 2) (+ (/ 1737369620307813.0 2251799813685248.0) (* (/ 2620859570069187.0 9007199254740992.0) (pow x 2)))))) (* (pow x 2) (+ (* (/ 2017691060547333.0 1.4411518807585587e+17) (* (* (* x x) x) (* (* x x) x))) (* (/ 7681173503746455.0 9.223372036854776e+18) (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))))

simplify1.5s

Counts
210 → 210

prune4.7s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ 1 (pow x 5))
0.1b
(* (/ 43060594601855.0 281474976710656.0) (/ 1 (pow x 5)))
0.1b
(/ 1 (pow x 3))
0.1b
(* (/ 1132285561053931.0 4503599627370496.0) (/ 1 (pow x 3)))

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
181×add-sqr-sqrt
176×times-frac
122×add-exp-log
109×*-un-lft-identity
95×add-cube-cbrt
65×associate-*r*
56×div-exp
50×unpow-prod-down
40×prod-exp
32×add-cbrt-cube unswap-sqr
26×associate-*l*
25×cube-prod
22×sqr-pow
19×associate-/r*
18×pow-to-exp rec-exp 1-exp pow-exp
10×cbrt-undiv
8×pow1 cbrt-unprod
7×cube-mult unpow3
6×div-inv associate-/l*
4×add-log-exp
2×frac-times pow-flip frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num un-div-inv *-commutative inv-pow
Counts
4 → 323
Calls
4 calls:
16.0ms
(/ 1 (pow x 5))
56.0ms
(* (/ 43060594601855.0 281474976710656.0) (/ 1 (pow x 5)))
14.0ms
(/ 1 (pow x 3))
46.0ms
(* (/ 1132285561053931.0 4503599627370496.0) (/ 1 (pow x 3)))

series228.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(/ 1 (pow x 5))
65.0ms
(* (/ 43060594601855.0 281474976710656.0) (/ 1 (pow x 5)))
42.0ms
(/ 1 (pow x 3))
50.0ms
(* (/ 1132285561053931.0 4503599627370496.0) (/ 1 (pow x 3)))

simplify634.0ms

Counts
335 → 335

prune1.3s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* 1.0 x) (* (/ 4786600430771327.0 18014398509481984.0) (pow x 5)))
0.1b
(* (/ 4786600430771327.0 18014398509481984.0) (pow x 5))
0.1b
(* (/ 750472644252095.0 1125899906842624.0) (pow x 3))
17.2b
(- (+ (* 1.0 x) (* (/ 4786600430771327.0 18014398509481984.0) (pow x 5))) (* (/ 750472644252095.0 1125899906842624.0) (pow x 3)))

rewrite146.0ms

Algorithm
rewrite-expression-head
Rules
54×add-sqr-sqrt
30×add-exp-log
26×associate-*l*
25×times-frac
23×add-cube-cbrt *-un-lft-identity
19×associate-*r*
14×add-cbrt-cube unswap-sqr
12×prod-exp
11×add-log-exp
10×unpow-prod-down
6×div-exp sqr-pow
5×cube-prod
4×pow1 pow-to-exp associate-*l/ pow-exp cbrt-unprod
2×cbrt-undiv flip3-+ diff-log sum-log *-commutative frac-sub flip-+ div-inv
1×+-commutative cube-mult sub-neg flip3-- unpow3 associate--l+ flip--
Counts
4 → 120
Calls
4 calls:
16.0ms
(+ (* 1.0 x) (* (/ 4786600430771327.0 18014398509481984.0) (pow x 5)))
31.0ms
(* (/ 4786600430771327.0 18014398509481984.0) (pow x 5))
30.0ms
(* (/ 750472644252095.0 1125899906842624.0) (pow x 3))
60.0ms
(- (+ (* 1.0 x) (* (/ 4786600430771327.0 18014398509481984.0) (pow x 5))) (* (/ 750472644252095.0 1125899906842624.0) (pow x 3)))

series392.0ms

Counts
4 → 12
Calls
4 calls:
190.0ms
(+ (* 1.0 x) (* (/ 4786600430771327.0 18014398509481984.0) (pow x 5)))
60.0ms
(* (/ 4786600430771327.0 18014398509481984.0) (pow x 5))
40.0ms
(* (/ 750472644252095.0 1125899906842624.0) (pow x 3))
101.0ms
(- (+ (* 1.0 x) (* (/ 4786600430771327.0 18014398509481984.0) (pow x 5))) (* (/ 750472644252095.0 1125899906842624.0) (pow x 3)))

simplify1.1s

Counts
132 → 132

prune489.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes72.0ms

Accuracy

100% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 29.3b

bsearch662.0ms

Steps
ItersRangePoint
10
1.5244367550608482e-07
9556.682540875734
931.6503526120594
4
-9.450997226181924e+22
-5.452804783141298e+22
-7.073429135521657e+22

simplify539.0ms

end0.0ms

sample2.3s

Algorithm
intervals
Results
2.1s8000×body80valid