Details

Time bar (total: 2.4s)

sample63.0ms

Algorithm
intervals
Results
45.0ms256×body160valid

simplify94.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (9.0ms)

IterNodesCost
08121
126719
2100618
3404418
4500118

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
24×*-un-lft-identity
22×add-cube-cbrt
21×prod-diff
17×unpow-prod-down
9×add-exp-log
7×fma-neg associate-*r* sqr-pow
6×add-cbrt-cube add-log-exp
4×pow1 expm1-log1p-u log1p-expm1-u
3×associate-*l* prod-exp fma-udef difference-of-squares unswap-sqr
1×pow-to-exp sub-neg flip3-- diff-log pow-exp *-commutative flip-- cbrt-unprod associate--r+ distribute-lft-out--
Counts
4 → 94
Calls
4 calls:
11.0ms
(* 333.75 (pow 33096.0 6.0))
20.0ms
(- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0))
0.0ms
(fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))
0.0ms
(fma (* 77617.0 77617.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))

series0.0ms

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

simplify40.0ms

Algorithm
egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
03191131
11019806
25001793

prune349.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize29.0ms

Local error

Found 3 expressions with local error:

1.0b
(- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0))
1.0b
(fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))
63.0b
(fma 77617.0 (* 77617.0 (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
21×prod-diff
20×*-un-lft-identity
18×add-cube-cbrt
13×unpow-prod-down
7×fma-neg
5×add-log-exp sqr-pow
3×pow1 add-exp-log expm1-log1p-u add-cbrt-cube fma-udef log1p-expm1-u difference-of-squares
1×sub-neg flip3-- diff-log flip-- associate--r+ distribute-lft-out--
Counts
3 → 67
Calls
3 calls:
20.0ms
(- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0))
0.0ms
(fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))
0.0ms
(fma 77617.0 (* 77617.0 (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))

series0.0ms

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

simplify137.0ms

Algorithm
egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 2 (25.0ms)

IterNodesCost
0257961
1731685
24326672
35001672

prune308.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 58.1b

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03419
13419

end0.0ms

sample1.3s

Algorithm
intervals
Results
1.3s8000×body160valid