Details

Time bar (total: 1.8s)

analyze7.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1

sample16.0ms

Algorithm
intervals
Results
5.0ms256×pre80true
2.0ms256×body80valid

simplify722.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
0529643

prune13.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 58.1b

Counts
2 → 1

localize31.0ms

Local error

Found 4 expressions with local error:

1.0b
(* 5.5 (pow y 8.0))
1.0b
(* 333.75 (pow y 6.0))
21.5b
(+ (* x (* x (- (* y (* y (* x (* x 11.0)))) (+ (pow y 6.0) (+ (* 121.0 (pow y 4.0)) 2.0))))) (+ (* 5.5 (pow y 8.0)) (/ x (* y 2.0))))
62.0b
(+ (* 333.75 (pow y 6.0)) (+ (* x (* x (- (* y (* y (* x (* x 11.0)))) (+ (pow y 6.0) (+ (* 121.0 (pow y 4.0)) 2.0))))) (+ (* 5.5 (pow y 8.0)) (/ x (* y 2.0)))))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
18×add-log-exp
14×add-exp-log associate-*r*
10×add-cube-cbrt *-un-lft-identity
9×sum-log
8×unpow-prod-down associate-*r/ add-cbrt-cube
6×associate-*l* prod-exp unswap-sqr
4×pow1 distribute-rgt-in sub-neg associate-+l+ distribute-lft-in flip3-+ frac-add flip-+ sqr-pow
2×+-commutative pow-to-exp associate-+r+ flip3-- pow-exp *-commutative flip-- cbrt-unprod
Counts
4 → 85
Calls
4 calls:
5.0ms
(* 5.5 (pow y 8.0))
5.0ms
(* 333.75 (pow y 6.0))
25.0ms
(+ (* x (* x (- (* y (* y (* x (* x 11.0)))) (+ (pow y 6.0) (+ (* 121.0 (pow y 4.0)) 2.0))))) (+ (* 5.5 (pow y 8.0)) (/ x (* y 2.0))))
41.0ms
(+ (* 333.75 (pow y 6.0)) (+ (* x (* x (- (* y (* y (* x (* x 11.0)))) (+ (pow y 6.0) (+ (* 121.0 (pow y 4.0)) 2.0))))) (+ (* 5.5 (pow y 8.0)) (/ x (* y 2.0)))))

series284.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(* 5.5 (pow y 8.0))
61.0ms
(* 333.75 (pow y 6.0))
93.0ms
(+ (* x (* x (- (* y (* y (* x (* x 11.0)))) (+ (pow y 6.0) (+ (* 121.0 (pow y 4.0)) 2.0))))) (+ (* 5.5 (pow y 8.0)) (/ x (* y 2.0))))
66.0ms
(+ (* 333.75 (pow y 6.0)) (+ (* x (* x (- (* y (* y (* x (* x 11.0)))) (+ (pow y 6.0) (+ (* 121.0 (pow y 4.0)) 2.0))))) (+ (* 5.5 (pow y 8.0)) (/ x (* y 2.0)))))

simplify38.0ms

Algorithm
egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 0 (24.0ms)

IterNodesCost
051392682

prune303.0ms

Filtered
74 candidates to 97 candidates (-31.1%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New96197
Fresh000
Picked101
Done000
Total97198

Merged error: 57.1b

Counts
98 → 1

localize9.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify2.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune3.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011

Merged error: 57.1b

Counts
1 → 1

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01211
11211

end0.0ms

analyze1.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1

sample267.0ms

Algorithm
intervals
Results
138.0ms8000×pre80true
53.0ms8000×body80valid

Profiling

Loading profile data...