Details

Time bar (total: 14.9s)

sample131.0ms

Algorithm
intervals
Results
79.0ms256×body160valid

simplify3.8s

Counts
1 → 1
Iterations

Useful iterations: 3 (416.0ms)

IterNodesCost
0311321
1811256
22621206
310031156
442841156
done50001156

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize41.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
(* 333.75 (pow 33096.0 6.0))
1.0b
(* 5.5 (pow 33096.0 8.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.8s

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
14×associate-*r* add-exp-log
13×add-log-exp
11×*-un-lft-identity add-cube-cbrt
8×unpow-prod-down add-cbrt-cube
6×associate-*l* prod-exp unswap-sqr
5×sum-log
4×expm1-log1p-u pow1 fma-def log1p-expm1-u sqr-pow
2×pow-to-exp +-commutative flip3-+ pow-exp *-commutative cbrt-unprod flip-+
1×neg-sub0 associate-+l+ associate-+r- unsub-neg neg-log
Counts
4 → 90
Calls
4 calls:
76.0ms
(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0)))
18.0ms
(* 333.75 (pow 33096.0 6.0))
16.0ms
(* 5.5 (pow 33096.0 8.0))
1.6s
(+ (+ (* 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
(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0)))
0.0ms
(* 333.75 (pow 33096.0 6.0))
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)))

simplify2.5s

Counts
94 → 94
Iterations

Useful iterations: done (2.5s)

IterNodesCost
017152668
144648718
2191346768
done500146588

prune727.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize49.0ms

Local error

Found 3 expressions with local error:

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

rewrite30.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×expm1-log1p-u pow1 add-cbrt-cube add-exp-log 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:
0.0ms
(fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))
26.0ms
(- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0))
1.0ms
(fma (* 77617.0 (- (* 11.0 (* (* 77617.0 33096.0) (* 77617.0 33096.0))) (- (pow 33096.0 6.0) (fma -121.0 (pow 33096.0 4.0) -2.0)))) 77617.0 (fma (pow 33096.0 6.0) 333.75 (fma 5.5 (pow 33096.0 8.0) (/ 77617.0 (* 2.0 33096.0)))))

series0.0ms

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

simplify1.4s

Counts
70 → 70
Iterations

Useful iterations: done (1.4s)

IterNodesCost
012761805
126158636
290155215
done500048180

prune580.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 58.1b

simplify14.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0261181
1301181
done301181

end0.0ms

sample3.9s

Algorithm
intervals
Results
3.8s8000×body160valid