Details

Time bar (total: 1.3m)

sample324.0ms

Algorithm
intervals
Results
120.0ms256×body160valid
10.0ms256×pre80true

simplify4.5s

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

prune38.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

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

rewrite23.4s

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:
22.0ms
(* (pow y 8.0) 5.5)
23.0ms
(* (pow y 6.0) 333.75)
290.0ms
(- (* 11.0 (* (* x y) (* x y))) (pow y 6.0))
23.1s
(+ (+ (* (* 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:
784.0ms
(* (pow y 8.0) 5.5)
743.0ms
(* (pow y 6.0) 333.75)
277.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))))

simplify6.1s

Counts
99 → 99
Iterations
IterNodes
done5002
22572
1621
0219

prune1.5s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 56.8b

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

rewrite23.2s

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:
22.0ms
(* (pow y 8.0) 5.5)
44.0ms
(* (pow y 6.0) 333.75)
247.0ms
(- (* 11.0 (* (* x y) (* x y))) (pow y 6.0))
22.8s
(+ (+ (* (* 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.3s

Counts
4 → 12
Calls
4 calls:
884.0ms
(* (pow y 8.0) 5.5)
841.0ms
(* (pow y 6.0) 333.75)
275.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))))

simplify6.6s

Counts
99 → 99
Iterations
IterNodes
done5002
22572
1621
0219

prune2.1s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 56.8b

simplify17.0ms

Iterations
IterNodes
done41
141
031

end0.0ms

sample4.8s

Algorithm
intervals
Results
4.2s8000×body160valid
269.0ms8000×pre80true