Details

Time bar (total: 9.5s)

sample58.0ms

Algorithm
intervals
Results
39.0ms256×body160valid

simplify1.8s

Counts
1 → 1
Iterations

Useful iterations: 3 (89.0ms)

IterNodesCost
03144
18142
225240
386338
4292738
done500138

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize31.0ms

Local error

Found 4 expressions with local error:

1.0b
(* 5.5 (pow 33096.0 8.0))
1.0b
(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.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)))
1.0b
(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0)))
62.0b
(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
22×add-log-exp
14×add-sqr-sqrt
11×*-un-lft-identity sum-log
9×add-exp-log add-cube-cbrt
7×fma-def associate-*r*
6×add-cbrt-cube
4×pow1 expm1-log1p-u unpow-prod-down flip3-+ flip-+ log1p-expm1-u
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 → 85
Calls
4 calls:
5.0ms
(* 5.5 (pow 33096.0 8.0))
592.0ms
(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.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)))
29.0ms
(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0)))
550.0ms
(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.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
(* 5.5 (pow 33096.0 8.0))
0.0ms
(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.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
(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (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)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))

simplify674.0ms

Counts
89 → 89
Iterations

Useful iterations: done (671.0ms)

IterNodesCost
01623077
14562772
217582577
done50002573

prune352.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize37.0ms

Local error

Found 4 expressions with local error:

1.0b
(fma (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (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) (* 333.75 (pow 33096.0 6.0)))) (* (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) (* 333.75 (pow 33096.0 6.0))) (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) (* 333.75 (pow 33096.0 6.0)))))
1.6b
(pow (* 5.5 (pow 33096.0 8.0)) 3)
1.6b
(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) (* 333.75 (pow 33096.0 6.0))) 3)
62.3b
(+ (pow (* 5.5 (pow 33096.0 8.0)) 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) (* 333.75 (pow 33096.0 6.0))) 3))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
11×add-exp-log *-un-lft-identity
9×add-sqr-sqrt add-cube-cbrt
8×fma-def add-cbrt-cube
6×pow1 pow-unpow pow-exp add-log-exp
5×unpow-prod-down cube-prod
4×expm1-log1p-u log1p-expm1-u
3×cube-mult pow-to-exp unpow3 prod-exp rem-cube-cbrt sqr-pow
2×pow-pow
1×+-commutative flip3-+ sum-log sum-cubes cbrt-unprod flip-+ fma-udef distribute-lft-out
Counts
4 → 83
Calls
4 calls:
0.0ms
(fma (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (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) (* 333.75 (pow 33096.0 6.0)))) (* (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) (* 333.75 (pow 33096.0 6.0))) (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) (* 333.75 (pow 33096.0 6.0)))))
3.0ms
(pow (* 5.5 (pow 33096.0 8.0)) 3)
1.0ms
(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) (* 333.75 (pow 33096.0 6.0))) 3)
10.0ms
(+ (pow (* 5.5 (pow 33096.0 8.0)) 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) (* 333.75 (pow 33096.0 6.0))) 3))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(fma (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (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) (* 333.75 (pow 33096.0 6.0)))) (* (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) (* 333.75 (pow 33096.0 6.0))) (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) (* 333.75 (pow 33096.0 6.0)))))
0.0ms
(pow (* 5.5 (pow 33096.0 8.0)) 3)
0.0ms
(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) (* 333.75 (pow 33096.0 6.0))) 3)
0.0ms
(+ (pow (* 5.5 (pow 33096.0 8.0)) 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) (* 333.75 (pow 33096.0 6.0))) 3))

simplify583.0ms

Counts
87 → 87
Iterations

Useful iterations: 2 (113.0ms)

IterNodesCost
01224162
12923918
211103089
done50013089

prune429.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize37.0ms

Local error

Found 4 expressions with local error:

1.0b
(+ (/ (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (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) (* 333.75 (pow 33096.0 6.0))) (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) (* 333.75 (pow 33096.0 6.0)))) (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) (* 333.75 (pow 33096.0 6.0))))) (fma (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (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) (* 333.75 (pow 33096.0 6.0)))) (* (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) (* 333.75 (pow 33096.0 6.0))) (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) (* 333.75 (pow 33096.0 6.0)))))) (/ 77617.0 (* 2.0 33096.0)))
1.0b
(fma (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (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) (* 333.75 (pow 33096.0 6.0)))) (* (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) (* 333.75 (pow 33096.0 6.0))) (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) (* 333.75 (pow 33096.0 6.0)))))
1.6b
(pow (* 5.5 (pow 33096.0 8.0)) 3)
62.3b
(+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (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) (* 333.75 (pow 33096.0 6.0))) (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) (* 333.75 (pow 33096.0 6.0)))) (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) (* 333.75 (pow 33096.0 6.0)))))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
24×fma-def
16×*-un-lft-identity
14×add-sqr-sqrt add-cube-cbrt
12×times-frac
10×add-exp-log
8×add-log-exp
7×add-cbrt-cube
5×pow1 pow-exp
4×expm1-log1p-u pow3 sum-cubes log1p-expm1-u
3×pow-unpow prod-exp fma-udef
2×+-commutative cube-mult pow-to-exp unpow-prod-down associate-+r+ flip3-+ unpow3 cube-prod sum-log flip-+ rem-cube-cbrt sqr-pow
1×distribute-rgt-in pow-pow distribute-lft-in frac-add cbrt-unprod div-inv distribute-lft-out
Counts
4 → 90
Calls
4 calls:
82.0ms
(+ (/ (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (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) (* 333.75 (pow 33096.0 6.0))) (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) (* 333.75 (pow 33096.0 6.0)))) (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) (* 333.75 (pow 33096.0 6.0))))) (fma (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (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) (* 333.75 (pow 33096.0 6.0)))) (* (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) (* 333.75 (pow 33096.0 6.0))) (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) (* 333.75 (pow 33096.0 6.0)))))) (/ 77617.0 (* 2.0 33096.0)))
0.0ms
(fma (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (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) (* 333.75 (pow 33096.0 6.0)))) (* (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) (* 333.75 (pow 33096.0 6.0))) (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) (* 333.75 (pow 33096.0 6.0)))))
3.0ms
(pow (* 5.5 (pow 33096.0 8.0)) 3)
11.0ms
(+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (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) (* 333.75 (pow 33096.0 6.0))) (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) (* 333.75 (pow 33096.0 6.0)))) (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) (* 333.75 (pow 33096.0 6.0)))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(+ (/ (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (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) (* 333.75 (pow 33096.0 6.0))) (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) (* 333.75 (pow 33096.0 6.0)))) (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) (* 333.75 (pow 33096.0 6.0))))) (fma (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (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) (* 333.75 (pow 33096.0 6.0)))) (* (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) (* 333.75 (pow 33096.0 6.0))) (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) (* 333.75 (pow 33096.0 6.0)))))) (/ 77617.0 (* 2.0 33096.0)))
0.0ms
(fma (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (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) (* 333.75 (pow 33096.0 6.0)))) (* (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) (* 333.75 (pow 33096.0 6.0))) (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) (* 333.75 (pow 33096.0 6.0)))))
0.0ms
(pow (* 5.5 (pow 33096.0 8.0)) 3)
0.0ms
(+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (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) (* 333.75 (pow 33096.0 6.0))) (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) (* 333.75 (pow 33096.0 6.0)))) (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) (* 333.75 (pow 33096.0 6.0)))))

simplify609.0ms

Counts
94 → 94
Iterations

Useful iterations: done (602.0ms)

IterNodesCost
01338377
13648195
212835226
done50014358

prune559.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize45.0ms

Local error

Found 4 expressions with local error:

1.0b
(* 5.5 (pow 33096.0 8.0))
1.0b
(* 5.5 (pow 33096.0 8.0))
1.0b
(* 5.5 (pow 33096.0 8.0))
63.3b
(fma (pow (* 5.5 (pow 33096.0 8.0)) (/ 3 2)) (pow (* 5.5 (pow 33096.0 8.0)) (/ 3 2)) (* (* (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) (* 333.75 (pow 33096.0 6.0))) (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) (* 333.75 (pow 33096.0 6.0)))) (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) (* 333.75 (pow 33096.0 6.0)))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
21×associate-*r*
19×add-exp-log
13×add-cube-cbrt *-un-lft-identity
12×unpow-prod-down
10×add-cbrt-cube
9×associate-*l* prod-exp unswap-sqr
6×sqr-pow
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-to-exp pow-exp *-commutative cbrt-unprod
1×fma-udef
Counts
4 → 91
Calls
4 calls:
5.0ms
(* 5.5 (pow 33096.0 8.0))
5.0ms
(* 5.5 (pow 33096.0 8.0))
6.0ms
(* 5.5 (pow 33096.0 8.0))
0.0ms
(fma (pow (* 5.5 (pow 33096.0 8.0)) (/ 3 2)) (pow (* 5.5 (pow 33096.0 8.0)) (/ 3 2)) (* (* (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) (* 333.75 (pow 33096.0 6.0))) (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) (* 333.75 (pow 33096.0 6.0)))) (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) (* 333.75 (pow 33096.0 6.0)))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(* 5.5 (pow 33096.0 8.0))
0.0ms
(* 5.5 (pow 33096.0 8.0))
0.0ms
(* 5.5 (pow 33096.0 8.0))
0.0ms
(fma (pow (* 5.5 (pow 33096.0 8.0)) (/ 3 2)) (pow (* 5.5 (pow 33096.0 8.0)) (/ 3 2)) (* (* (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) (* 333.75 (pow 33096.0 6.0))) (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) (* 333.75 (pow 33096.0 6.0)))) (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) (* 333.75 (pow 33096.0 6.0)))))

simplify1.1s

Counts
95 → 95
Iterations

Useful iterations: 3 (181.0ms)

IterNodesCost
0861981
11691824
2408976
31363966
done5000966

prune554.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.0b

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
041219
151219
done51219

end0.0ms

sample1.3s

Algorithm
intervals
Results
1.2s8000×body160valid