Details

Time bar (total: 14.3s)

sample268.0ms

Algorithm
intervals
Results
121.0ms256×body160valid
8.0ms256×pre80true

simplify2.8s

Counts
1 → 1
Iterations

Useful iterations: 3 (302.0ms)

IterNodesCost
0301320
1751320
22041320
36181280
425111280
done50001280

prune29.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize51.0ms

Local error

Found 4 expressions with local error:

1.0b
(* 5.5 (pow y 8.0))
1.0b
(* 333.75 (pow y 6.0))
1.0b
(+ (pow y 6.0) (* 121.0 (pow y 4.0)))
62.0b
(+ (+ (* 333.75 (pow y 6.0)) (+ (* 5.5 (pow y 8.0)) (/ x (* 2.0 y)))) (* (* x x) (- (* 11.0 (* (* x y) (* x y))) (+ (+ (pow y 6.0) (* 121.0 (pow y 4.0))) 2.0))))

rewrite417.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
15×add-log-exp
14×associate-*r* add-exp-log
10×*-un-lft-identity add-cube-cbrt
8×unpow-prod-down add-cbrt-cube
7×sum-log
6×associate-*l* prod-exp unswap-sqr
4×pow1 associate-+r+ flip3-+ frac-add associate-*r/ flip-+ sqr-pow
2×distribute-rgt-in pow-to-exp +-commutative sub-neg distribute-lft-in flip3-- pow-exp *-commutative cbrt-unprod flip--
1×associate-+l+
Counts
4 → 83
Calls
4 calls:
16.0ms
(* 5.5 (pow y 8.0))
17.0ms
(* 333.75 (pow y 6.0))
10.0ms
(+ (pow y 6.0) (* 121.0 (pow y 4.0)))
370.0ms
(+ (+ (* 333.75 (pow y 6.0)) (+ (* 5.5 (pow y 8.0)) (/ x (* 2.0 y)))) (* (* x x) (- (* 11.0 (* (* x y) (* x y))) (+ (+ (pow y 6.0) (* 121.0 (pow y 4.0))) 2.0))))

series1.9s

Counts
4 → 12
Calls
4 calls:
530.0ms
(* 5.5 (pow y 8.0))
656.0ms
(* 333.75 (pow y 6.0))
499.0ms
(+ (pow y 6.0) (* 121.0 (pow y 4.0)))
245.0ms
(+ (+ (* 333.75 (pow y 6.0)) (+ (* 5.5 (pow y 8.0)) (/ x (* 2.0 y)))) (* (* x x) (- (* 11.0 (* (* x y) (* x y))) (+ (+ (pow y 6.0) (* 121.0 (pow y 4.0))) 2.0))))

simplify3.2s

Counts
95 → 95
Iterations

Useful iterations: done (3.1s)

IterNodesCost
023269567
171364238
2345563343
done500163303

prune1.0s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 57.1b

localize10.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune4.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 57.1b

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
09204
111204
done11204

end0.0ms

sample4.6s

Algorithm
intervals
Results
4.1s8000×body160valid
237.0ms8000×pre80true