Details

Time bar (total: 9.5s)

sample56.0ms

Algorithm
intervals
Results
37.0ms256×body160valid

simplify1.5s

Counts
1 → 1
Iterations

Useful iterations: 3 (87.0ms)

IterNodesCost
03144
18142
225240
386338
4290438
done500038

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
(* 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))
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)))
543.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)))

simplify629.0ms

Counts
89 → 89
Iterations

Useful iterations: done (626.0ms)

IterNodesCost
01623077
14562772
217582577
done50002573

prune371.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite22.0ms

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

simplify729.0ms

Counts
104 → 104
Iterations

Useful iterations: 2 (259.0ms)

IterNodesCost
01503127
13412847
212882505
done50012505

prune519.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

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

rewrite23.0ms

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

simplify586.0ms

Counts
105 → 105
Iterations

Useful iterations: 2 (123.0ms)

IterNodesCost
01312907
13082557
211051777
done50011777

prune602.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize46.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
(+ (/ (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))) (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))) (fma (* 5.5 (pow 33096.0 8.0)) (fma 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)))
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))) (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)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
19×*-un-lft-identity
17×add-cube-cbrt
14×add-exp-log associate-*r*
13×fma-def
9×times-frac
8×unpow-prod-down add-cbrt-cube
6×associate-*l* prod-exp add-log-exp unswap-sqr
4×pow1 expm1-log1p-u log1p-expm1-u sqr-pow
2×pow-to-exp pow-exp *-commutative cbrt-unprod
1×+-commutative flip3-+ frac-add sum-log flip-+ fma-udef div-inv distribute-lft-out
Counts
4 → 92
Calls
4 calls:
5.0ms
(* 5.5 (pow 33096.0 8.0))
5.0ms
(* 5.5 (pow 33096.0 8.0))
13.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))) (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))) (fma (* 5.5 (pow 33096.0 8.0)) (fma 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.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))) (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
(* 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))) (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))) (fma (* 5.5 (pow 33096.0 8.0)) (fma 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 (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))) (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.2s

Counts
96 → 96
Iterations

Useful iterations: 3 (347.0ms)

IterNodesCost
01215666
12814601
27773235
331493059
done50003059

prune642.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.0b

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
043202
152202
done52202

end0.0ms

sample1.2s

Algorithm
intervals
Results
1.2s8000×body160valid