Details

Time bar (total: 3.6s)

analyze0.0ms

Algorithm
random

sample67.0ms

Algorithm
intervals
Results
62.0ms256×body160valid

simplify54.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
0495843
1495843

prune7.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 58.1b

Counts
2 → 1

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
22×add-log-exp
12×add-sqr-sqrt
11×sum-log
9×add-exp-log *-un-lft-identity
7×add-cube-cbrt associate-*r*
6×add-cbrt-cube
4×pow1 unpow-prod-down flip3-+ flip-+
3×+-commutative associate-*l* prod-exp unswap-sqr
2×associate-+l+ frac-add sqr-pow
1×neg-sub0 pow-to-exp associate-+r- unsub-neg neg-log pow-exp *-commutative cbrt-unprod distribute-lft-out
Counts
4 → 69
Calls
4 calls:
5.0ms
(* 5.5 (pow 33096.0 8.0))
13.0ms
(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0)))
26.0ms
(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))
21.0ms
(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))

series0.0ms

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

simplify45.0ms

Algorithm
egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
051012365

prune272.0ms

Filtered
56 candidates to 73 candidates (-30.4%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New72173
Fresh000
Picked101
Done000
Total73174

Merged error: 58.1b

Counts
74 → 1

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite74.0ms

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

series0.0ms

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

simplify58.0ms

Algorithm
egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
048522705
148522705

prune254.0ms

Filtered
49 candidates to 60 candidates (-22.4%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New59160
Fresh000
Picked101
Done000
Total60161

Merged error: 58.1b

Counts
61 → 1

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
12×distribute-rgt-in associate-+l+ distribute-lft-in add-log-exp
4×pow1 add-exp-log +-commutative add-sqr-sqrt add-cube-cbrt *-un-lft-identity flip3-+ sum-log add-cbrt-cube flip-+
Counts
4 → 56
Calls
4 calls:
23.0ms
(+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))
26.0ms
(+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))
23.0ms
(+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))
5.0ms
(+ (* 333.75 (pow 33096.0 6.0)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ (* -121.0 (pow 33096.0 4.0)) (- -2.0 (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))))

series0.0ms

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

simplify43.0ms

Algorithm
egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
050022420

prune560.0ms

Filtered
53 candidates to 60 candidates (-13.2%)
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New60060
Fresh000
Picked011
Done000
Total60161

Merged error: 58.1b

Counts
61 → 1

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
060110
160110

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.9s8000×body160valid

Profiling

Loading profile data...