Details

Time bar (total: 1.0m)

sample381.0ms

Algorithm
intervals
Results
160.0ms256×body160valid
8.0ms256×pre80true

simplify4.0s

Counts
1 → 1
Iterations
IterNodes
done5001
41635
3540
2195
175
030

prune52.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize98.0ms

Local error

Found 4 expressions with local error:

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

rewrite15.5s

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
18×add-log-exp
14×associate-*l* add-exp-log
12×*-un-lft-identity
10×add-cube-cbrt
8×sum-log unpow-prod-down add-cbrt-cube
6×associate-*r* prod-exp unswap-sqr
5×flip3-+ flip-+
4×pow1 frac-add insert-posit16 sqr-pow
2×pow-to-exp pow-exp *-commutative cbrt-unprod
1×+-commutative associate-+l+ associate-+r+ sub-neg flip3-- diff-log flip-- distribute-lft-out
Counts
4 → 87
Calls
4 calls:
16.0ms
(* (pow y 8.0) 5.5)
18.0ms
(* (pow y 6.0) 333.75)
174.0ms
(- (* 11.0 (* (* x y) (* x y))) (pow y 6.0))
15.3s
(+ (+ (* (* x x) (- (- (- (* 11.0 (* (* x y) (* x y))) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)) (* (pow y 6.0) 333.75)) (+ (* (pow y 8.0) 5.5) (/ x (* y 2.0))))

series3.1s

Counts
4 → 12
Calls
4 calls:
741.0ms
(* (pow y 8.0) 5.5)
839.0ms
(* (pow y 6.0) 333.75)
353.0ms
(- (* 11.0 (* (* x y) (* x y))) (pow y 6.0))
1.2s
(+ (+ (* (* x x) (- (- (- (* 11.0 (* (* x y) (* x y))) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)) (* (pow y 6.0) 333.75)) (+ (* (pow y 8.0) 5.5) (/ x (* y 2.0))))

simplify5.3s

Counts
99 → 99
Iterations
IterNodes
done5002
22572
1621
0219

prune1.6s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 56.8b

localize91.0ms

Local error

Found 4 expressions with local error:

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

rewrite15.1s

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
18×add-log-exp
14×associate-*l* add-exp-log
12×*-un-lft-identity
10×add-cube-cbrt
8×sum-log unpow-prod-down add-cbrt-cube
6×associate-*r* prod-exp unswap-sqr
5×flip3-+ flip-+
4×pow1 frac-add insert-posit16 sqr-pow
2×pow-to-exp pow-exp *-commutative cbrt-unprod
1×+-commutative associate-+l+ associate-+r+ sub-neg flip3-- diff-log flip-- distribute-lft-out
Counts
4 → 87
Calls
4 calls:
34.0ms
(* (pow y 8.0) 5.5)
33.0ms
(* (pow y 6.0) 333.75)
146.0ms
(- (* 11.0 (* (* x y) (* x y))) (pow y 6.0))
14.9s
(+ (+ (* (* x x) (- (- (- (* 11.0 (* (* x y) (* x y))) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)) (* (pow y 6.0) 333.75)) (+ (* (pow y 8.0) 5.5) (/ x (* y 2.0))))

series3.1s

Counts
4 → 12
Calls
4 calls:
680.0ms
(* (pow y 8.0) 5.5)
762.0ms
(* (pow y 6.0) 333.75)
293.0ms
(- (* 11.0 (* (* x y) (* x y))) (pow y 6.0))
1.3s
(+ (+ (* (* x x) (- (- (- (* 11.0 (* (* x y) (* x y))) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)) (* (pow y 6.0) 333.75)) (+ (* (pow y 8.0) 5.5) (/ x (* y 2.0))))

simplify5.4s

Counts
99 → 99
Iterations
IterNodes
done5002
22572
1621
0219

prune2.0s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 56.8b

simplify28.0ms

Iterations
IterNodes
done41
141
031

end0.0ms

sample4.3s

Algorithm
intervals
Results
3.3s8000×body160valid
717.0ms8000×pre80true