Details

Time bar (total: 2.4s)

sample63.0ms

Algorithm
intervals
Results
39.0ms256×body160valid

simplify98.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (10.0ms)

IterNodesCost
08121
126719
2100618
3404418
4500118
done500118

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

rewrite37.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:
12.0ms
(* 333.75 (pow 33096.0 6.0))
21.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)))))

simplify43.0ms

Counts
98 → 98
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
03191131
11019806
25001793
done5001793

prune347.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

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

simplify132.0ms

Counts
70 → 70
Iterations

Useful iterations: 2 (23.0ms)

IterNodesCost
0253996
1725685
24314672
35001672
done5001672

prune264.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 58.1b

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03117
13117
done3117

end0.0ms

sample1.3s

Algorithm
intervals
Results
1.2s8000×body160valid