Details

Time bar (total: 9.2s)

sample61.0ms

Algorithm
intervals
Results
43.0ms256×body160valid

simplify1.2s

Counts
1 → 1
Iterations

Useful iterations: 3 (72.0ms)

IterNodesCost
03144
18142
225240
386338
4290438
done500038

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize25.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:
6.0ms
(* 5.5 (pow 33096.0 8.0))
580.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)))
30.0ms
(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0)))
533.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)))

simplify606.0ms

Counts
89 → 89
Iterations

Useful iterations: done (601.0ms)

IterNodesCost
01623077
14562772
218382577
done50002573

prune350.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

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

simplify491.0ms

Counts
87 → 87
Iterations

Useful iterations: 2 (106.0ms)

IterNodesCost
01224162
12923918
211523089
done50013089

prune422.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize38.0ms

Local error

Found 4 expressions with local error:

1.0b
(* 5.5 (pow 33096.0 8.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))) (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))) 2)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
15×add-exp-log
14×add-sqr-sqrt
9×add-cube-cbrt *-un-lft-identity add-cbrt-cube
8×fma-def
7×associate-*r*
6×unpow-prod-down pow-exp prod-exp add-log-exp
5×pow1
4×expm1-log1p-u log1p-expm1-u sqr-pow
3×pow-to-exp pow-unpow associate-*l* unswap-sqr
2×cube-mult unpow3 cube-prod cbrt-unprod rem-cube-cbrt
1×+-commutative pow-pow flip3-+ cube-unmult sum-log sum-cubes *-commutative flip-+ fma-udef unpow2
Counts
4 → 84
Calls
4 calls:
5.0ms
(* 5.5 (pow 33096.0 8.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)
7.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))) (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))) 2)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(* 5.5 (pow 33096.0 8.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))) (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))) 2)))

simplify543.0ms

Counts
88 → 88
Iterations

Useful iterations: 2 (121.0ms)

IterNodesCost
01403942
13223285
212502361
done50002361

prune498.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize42.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 (* 5.5 (pow 33096.0 8.0)) 3)
63.3b
(fma (sqrt (pow (* 5.5 (pow 33096.0 8.0)) 3)) (sqrt (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))) (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))) 2)))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
16×add-exp-log
10×pow-exp add-cbrt-cube
6×pow1 add-sqr-sqrt add-cube-cbrt pow-unpow *-un-lft-identity prod-exp
4×expm1-log1p-u pow-to-exp log1p-expm1-u add-log-exp rem-cube-cbrt
2×cube-mult unpow-prod-down pow-pow unpow3 cube-prod cbrt-unprod fma-udef sqr-pow
Counts
4 → 70
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)
3.0ms
(pow (* 5.5 (pow 33096.0 8.0)) 3)
0.0ms
(fma (sqrt (pow (* 5.5 (pow 33096.0 8.0)) 3)) (sqrt (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))) (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))) 2)))

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 (* 5.5 (pow 33096.0 8.0)) 3)
0.0ms
(fma (sqrt (pow (* 5.5 (pow 33096.0 8.0)) 3)) (sqrt (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))) (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))) 2)))

simplify1.9s

Counts
74 → 74
Iterations

Useful iterations: 3 (329.0ms)

IterNodesCost
0842666
11742156
25691538
336931507
done50011507

prune492.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
046185
158185
done58185

end0.0ms

sample1.3s

Algorithm
intervals
Results
1.2s8000×body160valid