Details

Time bar (total: 18.1s)

sample121.0ms

Algorithm
intervals
Results
80.0ms256×body160valid

simplify2.2s

Counts
1 → 1
Iterations

Useful iterations: done (2.2s)

IterNodesCost
03144
112542
299240
done500139

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite124.0ms

Algorithm
rewrite-expression-head
Rules
7×prod-diff
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-log-exp
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×unpow-prod-down fma-udef
1×sub-neg flip3-- fma-neg diff-log flip-- sqr-pow
Counts
4 → 52
Calls
4 calls:
120.0ms
(- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))
1.0ms
(fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))
1.0ms
(fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
1.0ms
(fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.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
(- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))
0.0ms
(fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))
0.0ms
(fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
0.0ms
(fma (pow 33096.0 6.0) 333.75 (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))

simplify2.1s

Counts
56 → 56
Iterations

Useful iterations: done (2.1s)

IterNodesCost
01271793
19591683
done50001481

prune300.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
8×add-log-exp
7×prod-diff
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×unpow-prod-down fma-udef
1×+-commutative sub-neg associate-+r+ flip3-- fma-def flip3-+ fma-neg diff-log sum-log flip-- flip-+ sqr-pow
Counts
4 → 57
Calls
4 calls:
91.0ms
(- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))
1.0ms
(fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))
1.0ms
(fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
19.0ms
(+ (* (pow 33096.0 6.0) 333.75) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.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
(- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))
0.0ms
(fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))
0.0ms
(fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
0.0ms
(+ (* (pow 33096.0 6.0) 333.75) (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))

simplify2.6s

Counts
61 → 61
Iterations

Useful iterations: done (2.5s)

IterNodesCost
01392023
111881791
done50001656

prune452.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize86.0ms

Local error

Found 4 expressions with local error:

22.6b
(fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
22.6b
(fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
22.6b
(fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
62.3b
(+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
8×fma-def
7×*-un-lft-identity
6×add-log-exp
5×add-sqr-sqrt add-cube-cbrt
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×fma-udef
1×+-commutative cube-mult unpow-prod-down flip3-+ unpow3 cube-prod sum-log sum-cubes flip-+ distribute-lft-out sqr-pow
Counts
4 → 53
Calls
4 calls:
1.0ms
(fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
1.0ms
(fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
1.0ms
(fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
34.0ms
(+ (pow (* (pow 33096.0 6.0) 333.75) 3) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3))

series0.0ms

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

simplify1.9s

Counts
57 → 57
Iterations

Useful iterations: done (1.9s)

IterNodesCost
0752955
17092629
done50002538

prune640.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize79.0ms

Local error

Found 4 expressions with local error:

22.6b
(fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
22.6b
(fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
22.6b
(fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
63.3b
(fma (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3))

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp
Counts
4 → 40
Calls
4 calls:
0.0ms
(fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
0.0ms
(fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
0.0ms
(fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))
0.0ms
(fma (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (* (pow 33096.0 6.0) 333.75) (/ 3 2)) (pow (fma (+ (fma (pow 33096.0 4.0) -121.0 -2.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* 77617.0 77617.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))) 3))

series0.0ms

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

simplify3.0s

Counts
44 → 44
Iterations

Useful iterations: done (3.0s)

IterNodesCost
0522023
11901701
229841585
done50001542

prune590.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 58.1b

simplify11.0ms

Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
039140
147136
done47136

end0.0ms

sample3.6s

Algorithm
intervals
Results
3.5s8000×body160valid