Details

Time bar (total: 2.5s)

analyze0.0ms

Algorithm
random

sample69.0ms

Algorithm
intervals
Results
63.0ms256×body160valid

simplify50.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
0527943

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

localize26.0ms

Local error

Found 4 expressions with local error:

1.0b
(+ (* (* 33096.0 (* 33096.0 11.0)) (pow 77617.0 3)) (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))
1.0b
(+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))
21.5b
(+ (* 77617.0 (+ (* (* 33096.0 (* 33096.0 11.0)) (pow 77617.0 3)) (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))
62.0b
(+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (+ (* (* 33096.0 (* 33096.0 11.0)) (pow 77617.0 3)) (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
25×add-log-exp
12×sum-log
8×flip3-+ flip-+
5×associate-+r+
4×pow1 add-exp-log +-commutative add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r/ frac-add add-cbrt-cube
2×distribute-rgt-in associate-+l+ distribute-lft-in
1×associate-+r- sub-neg diff-log
Counts
4 → 60
Calls
4 calls:
9.0ms
(+ (* (* 33096.0 (* 33096.0 11.0)) (pow 77617.0 3)) (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))
9.0ms
(+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))
21.0ms
(+ (* 77617.0 (+ (* (* 33096.0 (* 33096.0 11.0)) (pow 77617.0 3)) (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))
19.0ms
(+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (+ (* (* 33096.0 (* 33096.0 11.0)) (pow 77617.0 3)) (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(+ (* (* 33096.0 (* 33096.0 11.0)) (pow 77617.0 3)) (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))
0.0ms
(+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))
0.0ms
(+ (* 77617.0 (+ (* (* 33096.0 (* 33096.0 11.0)) (pow 77617.0 3)) (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0))))
0.0ms
(+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (+ (* (* 33096.0 (* 33096.0 11.0)) (pow 77617.0 3)) (* 77617.0 (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))))

simplify75.0ms

Algorithm
egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
049712976
149712976

prune322.0ms

Filtered
53 candidates to 64 candidates (-20.8%)
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New64064
Fresh000
Picked011
Done000
Total64165

Merged error: 58.1b

Counts
65 → 1

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
013143
113143

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.9s8000×body160valid

Profiling

Loading profile data...