Details

Time bar (total: 56.9s)

sample50.0ms

Algorithm
intervals
Results
29.0ms256×body80valid

simplify102.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (20.0ms)

IterNodesCost
013286
155778
2262241
3500141

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 30.1b

localize46.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
0.2b
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
14.1b
(* (/ (+ (+ (+ (+ (+ 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)
29.6b
(/ (+ (+ (+ (+ (+ 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)))))

rewrite13.7s

Algorithm
rewrite-expression-head
Rules
293×add-exp-log add-cbrt-cube
288×pow1
238×prod-exp cbrt-unprod
237×pow-prod-down
27×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*
2×cbrt-undiv div-exp div-inv associate-/l/ unswap-sqr
1×frac-2neg associate-*l/ clear-num
Counts
4 → 227
Calls
4 calls:
1.1s
(* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
1.1s
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
7.3s
(* (/ (+ (+ (+ (+ (+ 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)
4.2s
(/ (+ (+ (+ (+ (+ 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)))))

series570.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
53.0ms
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
264.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)
205.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)))))

simplify187.0ms

Algorithm
egg-herbie
Counts
239 → 239
Iterations

Useful iterations: 2 (114.0ms)

IterNodesCost
013099260
146367050
250026822

prune1.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 0.0140005442 (pow x 8))
0.2b
(* 0.0005064034 (pow x 8))
0.3b
(* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
29.7b
(/ (* x (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0072644182) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* 0.0005064034 (pow x 8)))) (+ (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2))))) (+ (* 0.0140005442 (pow x 8)) (* (pow x 2) (+ (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x))) (* (* 2.0 0.0001789971) (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))))

rewrite6.4s

Algorithm
rewrite-expression-head
Rules
160×add-exp-log
154×add-cbrt-cube
145×pow1
125×prod-exp
121×cbrt-unprod
118×pow-prod-down
23×add-sqr-sqrt
20×frac-add
18×flip3-+ flip-+
17×*-un-lft-identity
15×associate-*r*
14×associate-/r/
13×add-cube-cbrt
10×associate-*r/
9×associate-*l*
8×unpow-prod-down
6×unswap-sqr
4×times-frac associate-/r* add-log-exp sqr-pow
3×*-commutative
2×cbrt-undiv pow-to-exp div-exp pow-exp associate-/l/ distribute-lft-out
1×frac-2neg clear-num div-inv associate-/l*
Counts
4 → 170
Calls
4 calls:
6.0ms
(* 0.0140005442 (pow x 8))
8.0ms
(* 0.0005064034 (pow x 8))
1.1s
(* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
5.3s
(/ (* x (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0072644182) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* 0.0005064034 (pow x 8)))) (+ (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2))))) (+ (* 0.0140005442 (pow x 8)) (* (pow x 2) (+ (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x))) (* (* 2.0 0.0001789971) (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))))

series413.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(* 0.0140005442 (pow x 8))
46.0ms
(* 0.0005064034 (pow x 8))
50.0ms
(* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
265.0ms
(/ (* x (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0072644182) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* 0.0005064034 (pow x 8)))) (+ (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2))))) (+ (* 0.0140005442 (pow x 8)) (* (pow x 2) (+ (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x))) (* (* 2.0 0.0001789971) (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))))

simplify84.0ms

Algorithm
egg-herbie
Counts
182 → 182
Iterations

Useful iterations: 1 (30.0ms)

IterNodesCost
015405543
150014788

prune1.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize57.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 0.0140005442 (pow x 8))
0.2b
(* 0.0005064034 (pow x 8))
0.3b
(* 0.0008327945 (pow x 8))
29.7b
(/ (* x (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0072644182) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* 0.0005064034 (pow x 8)))) (+ (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2))))) (+ (* 0.0140005442 (pow x 8)) (* (pow x 2) (+ (pow (* 0.0008327945 (pow x 8)) 1) (* (* 2.0 0.0001789971) (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))))

rewrite5.3s

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
24×add-exp-log
21×associate-*r*
20×frac-add
19×*-un-lft-identity
18×flip3-+ flip-+
15×add-cube-cbrt add-cbrt-cube
14×associate-/r/
12×unpow-prod-down
10×associate-*r/ prod-exp
9×associate-*l* unswap-sqr
6×sqr-pow
4×pow1 times-frac associate-/r* cbrt-unprod add-log-exp
3×pow-to-exp pow-exp *-commutative
2×cbrt-undiv div-exp associate-/l/ distribute-lft-out
1×frac-2neg clear-num div-inv associate-/l*
Counts
4 → 114
Calls
4 calls:
6.0ms
(* 0.0140005442 (pow x 8))
6.0ms
(* 0.0005064034 (pow x 8))
6.0ms
(* 0.0008327945 (pow x 8))
5.3s
(/ (* x (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0072644182) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* 0.0005064034 (pow x 8)))) (+ (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2))))) (+ (* 0.0140005442 (pow x 8)) (* (pow x 2) (+ (pow (* 0.0008327945 (pow x 8)) 1) (* (* 2.0 0.0001789971) (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))))

series419.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(* 0.0140005442 (pow x 8))
47.0ms
(* 0.0005064034 (pow x 8))
53.0ms
(* 0.0008327945 (pow x 8))
266.0ms
(/ (* x (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0072644182) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* 0.0005064034 (pow x 8)))) (+ (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2))))) (+ (* 0.0140005442 (pow x 8)) (* (pow x 2) (+ (pow (* 0.0008327945 (pow x 8)) 1) (* (* 2.0 0.0001789971) (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))))

simplify73.0ms

Algorithm
egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
010564423
150024111

prune1.2s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
11.1b
(cbrt (pow (/ (+ (+ (+ (+ (+ 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))))) 3))
14.1b
(* (cbrt (pow (/ (+ (+ (+ (+ (+ 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))))) 3)) x)
29.6b
(/ (+ (+ (+ (+ (+ 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)))))

rewrite22.8s

Algorithm
rewrite-expression-head
Rules
149×add-exp-log
148×add-cbrt-cube
147×pow1
119×pow-prod-down prod-exp cbrt-unprod
78×cbrt-prod
60×add-sqr-sqrt
47×times-frac
45×add-cube-cbrt *-un-lft-identity
42×associate-*l*
32×unpow-prod-down cube-prod
10×associate-/r/
7×unswap-sqr
6×flip3-+ flip-+
5×div-inv
4×associate-*r* add-log-exp
3×associate-/r* associate-/l* sqr-pow
2×cube-div cube-mult cbrt-div unpow3 *-commutative associate-/l/
1×cbrt-undiv frac-2neg pow1/3 div-exp associate-*l/ clear-num rem-cbrt-cube
Counts
4 → 219
Calls
4 calls:
1.1s
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
3.5s
(cbrt (pow (/ (+ (+ (+ (+ (+ 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))))) 3))
13.9s
(* (cbrt (pow (/ (+ (+ (+ (+ (+ 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))))) 3)) x)
4.3s
(/ (+ (+ (+ (+ (+ 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)))))

series729.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
206.0ms
(cbrt (pow (/ (+ (+ (+ (+ (+ 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))))) 3))
268.0ms
(* (cbrt (pow (/ (+ (+ (+ (+ (+ 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))))) 3)) x)
201.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)))))

simplify172.0ms

Algorithm
egg-herbie
Counts
231 → 231
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
0129517777
1500216615

prune1.0s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes57.0ms

Accuracy

100% (0.0b remaining)

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

bsearch471.0ms

Steps
ItersRangePoint
10
488.5072251079851
29561296481055.625
1068.6232492524912
10
-146662999352.95746
-3.9934486818618
-10723795780.445522

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
010698
110698

end0.0ms

sample810.0ms

Algorithm
intervals
Results
714.0ms8000×body80valid