Details

Time bar (total: 3.5s)

analyze0.0ms

Algorithm
random

sample65.0ms

Algorithm
intervals
Results
57.0ms256×body160valid

simplify74.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
0515944

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)))

rewrite59.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))
14.0ms
(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0)))
22.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)))
17.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)))

simplify65.0ms

Algorithm
egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
048242367
148242367

prune274.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
(- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.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)))) (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.5b
(+ (* 77617.0 (* 77617.0 (+ (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.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)))) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))

rewrite70.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:
9.0ms
(- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0))
22.0ms
(+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (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
(+ (* 77617.0 (* 77617.0 (+ (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))
17.0ms
(+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (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
(- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.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)))) (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
(+ (* 77617.0 (* 77617.0 (+ (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.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)))) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))

simplify31.0ms

Algorithm
egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 0 (17.0ms)

IterNodesCost
050182849

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

localize29.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)))) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))
21.5b
(+ (* 77617.0 (* 77617.0 (+ (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))
21.5b
(+ (* 77617.0 (* 77617.0 (+ (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.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)))) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))))

rewrite72.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:
21.0ms
(+ (* 77617.0 (* 77617.0 (+ (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))
24.0ms
(+ (* 77617.0 (* 77617.0 (+ (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))
21.0ms
(+ (* 77617.0 (* 77617.0 (+ (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))
4.0ms
(+ (* 333.75 (pow 33096.0 6.0)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (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
(+ (* 77617.0 (* 77617.0 (+ (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))
0.0ms
(+ (* 77617.0 (* 77617.0 (+ (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))
0.0ms
(+ (* 77617.0 (* 77617.0 (+ (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.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)))) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (- (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (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
60 → 60
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
051052576

prune559.0ms

Filtered
52 candidates to 60 candidates (-15.4%)
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
050110
150110

end0.0ms

analyze0.0ms

Algorithm
random

sample1.8s

Algorithm
intervals
Results
1.8s8000×body160valid

Profiling

Loading profile data...