Details

Time bar (total: 1.6m)

sample51.0ms

Algorithm
intervals
Results
24.0ms256×body80valid

simplify103.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (21.0ms)

IterNodesCost
013286
155778
2262241
3500141
done500141

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 30.1b

localize45.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))
0.3b
(* 0.1049934947 (* x x))
17.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)))))

rewrite23.9s

Algorithm
rewrite-expression-head
Rules
69×add-exp-log add-cbrt-cube
64×pow1
47×prod-exp cbrt-unprod
46×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 → 129
Calls
4 calls:
366.0ms
(* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))
16.0ms
(* 0.1049934947 (* x x))
15.1s
(* (/ (+ (+ (+ (+ (+ 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)
8.5s
(/ (+ (+ (+ (+ (+ 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)))))

series552.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))
26.0ms
(* 0.1049934947 (* x x))
268.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)
204.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)))))

simplify156.0ms

Counts
141 → 141
Iterations

Useful iterations: 2 (103.0ms)

IterNodesCost
08338033
138916687
250036525
done50036525

prune848.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 0.0001789971 (pow x 6))
0.3b
(* 0.1049934947 (* x x))
17.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 (pow x 6)) (pow x 4))) (- (- (+ (+ (+ (+ (+ 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))))) (* (* (pow x 12) 0.0001789971) 2.0))) 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 (pow x 6)) (pow x 4))) (- (- (+ (+ (+ (+ (+ 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))))) (* (* (pow x 12) 0.0001789971) 2.0)))

rewrite44.8s

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
24×add-cube-cbrt *-un-lft-identity
21×add-exp-log associate-*l*
19×times-frac
18×add-cbrt-cube
11×pow1 associate-*r*
8×prod-exp
6×cbrt-unprod unswap-sqr
4×unpow-prod-down pow-prod-down associate-/r/ add-log-exp
3×flip3-- associate-/r* *-commutative flip-- associate-/l*
2×cbrt-undiv div-exp div-inv associate-/l/ sqr-pow
1×pow-to-exp frac-2neg div-sub associate-*l/ pow-exp clear-num
Counts
4 → 110
Calls
4 calls:
11.0ms
(* 0.0001789971 (pow x 6))
16.0ms
(* 0.1049934947 (* x x))
28.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 (pow x 6)) (pow x 4))) (- (- (+ (+ (+ (+ (+ 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))))) (* (* (pow x 12) 0.0001789971) 2.0))) x)
16.5s
(/ (- (- (+ (+ (+ (+ 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 (pow x 6)) (pow x 4))) (- (- (+ (+ (+ (+ (+ 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))))) (* (* (pow x 12) 0.0001789971) 2.0)))

series549.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(* 0.0001789971 (pow x 6))
25.0ms
(* 0.1049934947 (* x x))
267.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 (pow x 6)) (pow x 4))) (- (- (+ (+ (+ (+ (+ 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))))) (* (* (pow x 12) 0.0001789971) 2.0))) x)
206.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 (pow x 6)) (pow x 4))) (- (- (+ (+ (+ (+ (+ 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))))) (* (* (pow x 12) 0.0001789971) 2.0)))

simplify133.0ms

Counts
122 → 122
Iterations

Useful iterations: 2 (85.0ms)

IterNodesCost
06836665
133035743
250015629
done50015629

prune981.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize60.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 0.1049934947 (* x x))
9.1b
(cbrt (pow (/ (* 1 (+ (- (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x))))) (- (* (- 0.0005064034) (pow x 8)) (* (* 0.0001789971 (pow x 6)) (pow x 4))))) (+ (- (+ (+ (+ (+ 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) (* (pow x 5) (pow x 5))) (* (* (pow x 12) 0.0001789971) 2.0)))) 3))
17.1b
(* (cbrt (pow (/ (* 1 (+ (- (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x))))) (- (* (- 0.0005064034) (pow x 8)) (* (* 0.0001789971 (pow x 6)) (pow x 4))))) (+ (- (+ (+ (+ (+ 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) (* (pow x 5) (pow x 5))) (* (* (pow x 12) 0.0001789971) 2.0)))) 3)) x)
29.6b
(/ (* 1 (+ (- (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x))))) (- (* (- 0.0005064034) (pow x 8)) (* (* 0.0001789971 (pow x 6)) (pow x 4))))) (+ (- (+ (+ (+ (+ 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) (* (pow x 5) (pow x 5))) (* (* (pow x 12) 0.0001789971) 2.0))))

rewrite17.0s

Algorithm
rewrite-expression-head
Rules
76×cbrt-prod
43×*-un-lft-identity
42×associate-*l*
31×unpow-prod-down cube-prod
30×associate-/r/
29×add-sqr-sqrt
25×times-frac
24×frac-add distribute-neg-frac
19×add-cube-cbrt
18×add-exp-log flip3-+ flip-+
15×add-cbrt-cube
12×flip3-- flip-- distribute-lft-out
11×pow1
6×distribute-rgt-neg-in associate-*r/ prod-exp associate-/l/ unswap-sqr
5×associate-/r* cbrt-unprod div-inv
4×associate-*r* pow-prod-down add-log-exp
3×div-exp sqr-pow
2×cbrt-undiv cube-div cube-mult cbrt-div unpow3 *-commutative
1×frac-2neg pow1/3 1-exp associate-*l/ clear-num rem-cbrt-cube associate-/l*
Counts
4 → 162
Calls
4 calls:
16.0ms
(* 0.1049934947 (* x x))
2.7s
(cbrt (pow (/ (* 1 (+ (- (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x))))) (- (* (- 0.0005064034) (pow x 8)) (* (* 0.0001789971 (pow x 6)) (pow x 4))))) (+ (- (+ (+ (+ (+ 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) (* (pow x 5) (pow x 5))) (* (* (pow x 12) 0.0001789971) 2.0)))) 3))
10.9s
(* (cbrt (pow (/ (* 1 (+ (- (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x))))) (- (* (- 0.0005064034) (pow x 8)) (* (* 0.0001789971 (pow x 6)) (pow x 4))))) (+ (- (+ (+ (+ (+ 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) (* (pow x 5) (pow x 5))) (* (* (pow x 12) 0.0001789971) 2.0)))) 3)) x)
3.4s
(/ (* 1 (+ (- (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x))))) (- (* (- 0.0005064034) (pow x 8)) (* (* 0.0001789971 (pow x 6)) (pow x 4))))) (+ (- (+ (+ (+ (+ 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) (* (pow x 5) (pow x 5))) (* (* (pow x 12) 0.0001789971) 2.0))))

series665.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* 0.1049934947 (* x x))
199.0ms
(cbrt (pow (/ (* 1 (+ (- (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x))))) (- (* (- 0.0005064034) (pow x 8)) (* (* 0.0001789971 (pow x 6)) (pow x 4))))) (+ (- (+ (+ (+ (+ 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) (* (pow x 5) (pow x 5))) (* (* (pow x 12) 0.0001789971) 2.0)))) 3))
251.0ms
(* (cbrt (pow (/ (* 1 (+ (- (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x))))) (- (* (- 0.0005064034) (pow x 8)) (* (* 0.0001789971 (pow x 6)) (pow x 4))))) (+ (- (+ (+ (+ (+ 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) (* (pow x 5) (pow x 5))) (* (* (pow x 12) 0.0001789971) 2.0)))) 3)) x)
191.0ms
(/ (* 1 (+ (- (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x))))) (- (* (- 0.0005064034) (pow x 8)) (* (* 0.0001789971 (pow x 6)) (pow x 4))))) (+ (- (+ (+ (+ (+ 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) (* (pow x 5) (pow x 5))) (* (* (pow x 12) 0.0001789971) 2.0))))

simplify122.0ms

Counts
174 → 174
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
0114812675
1500212321
done500212321

prune1.4s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 0.15298196345929327 (/ 1 (pow x 5)))
0.1b
(* 0.2514179000665375 (/ 1 (pow x 3)))
0.2b
(/ 1 (pow x 5))
0.2b
(/ 1 (pow x 3))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
128×times-frac
118×add-sqr-sqrt
90×*-un-lft-identity
83×add-cube-cbrt
65×associate-*r*
62×add-exp-log
46×unpow-prod-down
24×div-exp
23×cube-prod
20×prod-exp
19×associate-/r*
18×add-cbrt-cube sqr-pow
16×unswap-sqr
12×pow-to-exp rec-exp 1-exp pow-exp
8×pow1
7×cube-mult unpow3
6×associate-*l* associate-/l*
4×cbrt-undiv cbrt-unprod div-inv add-log-exp
2×pow-flip frac-2neg associate-*r/ pow-prod-down clear-num un-div-inv *-commutative inv-pow
Counts
4 → 259
Calls
4 calls:
22.0ms
(* 0.15298196345929327 (/ 1 (pow x 5)))
25.0ms
(* 0.2514179000665375 (/ 1 (pow x 3)))
7.0ms
(/ 1 (pow x 5))
12.0ms
(/ 1 (pow x 3))

series166.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(* 0.15298196345929327 (/ 1 (pow x 5)))
36.0ms
(* 0.2514179000665375 (/ 1 (pow x 3)))
47.0ms
(/ 1 (pow x 5))
31.0ms
(/ 1 (pow x 3))

simplify61.0ms

Counts
271 → 271
Iterations

Useful iterations: 1 (16.0ms)

IterNodesCost
06311208
13260888
25001888
done5001888

prune407.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes55.0ms

Accuracy

100% (0.0b remaining)

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

bsearch339.0ms

Steps
ItersRangePoint
3
892369.0132880388
1122163.5437744518
904431.5607004879
10
-1.8070707071506563e+17
-0.15939393977811658
-1878.8370929971973

simplify5.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
012775
115975
219275
321075
421575
521575
done21575

end0.0ms

sample868.0ms

Algorithm
intervals
Results
739.0ms8000×body80valid