Details

Time bar (total: 2.9s)

analyze12.0ms

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

sample27.0ms

Algorithm
intervals
Results
8.0ms256×pre80true
3.0ms256×body80valid

simplify1.1s

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (91.0ms)

IterNodesCost
03043
17543
220143
347443
4119543
5247243
6403443
7486843
8481143

prune23.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

localize58.0ms

Local error

Found 4 expressions with local error:

1.0b
(* 5.5 (pow y 8.0))
1.0b
(- (* (* y (* y 11.0)) (pow x 3)) (* x (+ (pow y 6.0) (+ (* 121.0 (pow y 4.0)) 2.0))))
21.5b
(+ (* x (- (* (* y (* y 11.0)) (pow x 3)) (* x (+ (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 (- (* (* y (* y 11.0)) (pow x 3)) (* x (+ (pow y 6.0) (+ (* 121.0 (pow y 4.0)) 2.0))))) (+ (* 5.5 (pow y 8.0)) (/ x (* y 2.0)))))

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
20×add-log-exp
12×add-sqr-sqrt
9×add-exp-log sum-log
7×add-cube-cbrt *-un-lft-identity associate-*r*
6×add-cbrt-cube
4×pow1 unpow-prod-down associate-+l+ flip3-+ associate-*r/ frac-add flip-+
3×distribute-rgt-in sub-neg flip3-- distribute-lft-in associate-*l* prod-exp flip-- unswap-sqr
2×+-commutative associate-+r+ associate--r+ sqr-pow
1×pow-to-exp diff-log pow-exp *-commutative cbrt-unprod
Counts
4 → 74
Calls
4 calls:
9.0ms
(* 5.5 (pow y 8.0))
13.0ms
(- (* (* y (* y 11.0)) (pow x 3)) (* x (+ (pow y 6.0) (+ (* 121.0 (pow y 4.0)) 2.0))))
30.0ms
(+ (* x (- (* (* y (* y 11.0)) (pow x 3)) (* x (+ (pow y 6.0) (+ (* 121.0 (pow y 4.0)) 2.0))))) (+ (* 5.5 (pow y 8.0)) (/ x (* y 2.0))))
52.0ms
(+ (* 333.75 (pow y 6.0)) (+ (* x (- (* (* y (* y 11.0)) (pow x 3)) (* x (+ (pow y 6.0) (+ (* 121.0 (pow y 4.0)) 2.0))))) (+ (* 5.5 (pow y 8.0)) (/ x (* y 2.0)))))

series427.0ms

Counts
4 → 12
Calls
4 calls:
114.0ms
(* 5.5 (pow y 8.0))
38.0ms
(- (* (* y (* y 11.0)) (pow x 3)) (* x (+ (pow y 6.0) (+ (* 121.0 (pow y 4.0)) 2.0))))
165.0ms
(+ (* x (- (* (* y (* y 11.0)) (pow x 3)) (* x (+ (pow y 6.0) (+ (* 121.0 (pow y 4.0)) 2.0))))) (+ (* 5.5 (pow y 8.0)) (/ x (* y 2.0))))
109.0ms
(+ (* 333.75 (pow y 6.0)) (+ (* x (- (* (* y (* y 11.0)) (pow x 3)) (* x (+ (pow y 6.0) (+ (* 121.0 (pow y 4.0)) 2.0))))) (+ (* 5.5 (pow y 8.0)) (/ x (* y 2.0)))))

simplify77.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
02243199
16523030
227112971
351712971

prune552.0ms

Filtered
66 candidates to 86 candidates (-30.3%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New85186
Fresh000
Picked101
Done000
Total86187

Merged error: 57.1b

Counts
87 → 1

localize13.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify4.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune5.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 (1.0ms)

IterNodesCost
0911
11211
21211

end0.0ms

analyze3.0ms

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

sample492.0ms

Algorithm
intervals
Results
245.0ms8000×pre80true
107.0ms8000×body80valid

Profiling

Loading profile data...