Details

Time bar (total: 10.0m)

sample55.0ms

Algorithm
intervals
Results
38.0ms322×body80valid

simplify2.9s

Counts
1 → 1
Iterations
IterNodes
done5000
92079
8770
7485
6383
5291
4237
3152
273
127
09

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.8b

localize17.0ms

Local error

Found 2 expressions with local error:

0.1b
(* (* z z) (+ z 1.0))
11.8b
(/ (* x y) (* (* z z) (+ z 1.0)))

rewrite285.0ms

Algorithm
rewrite-expression-head
Rules
417×add-sqr-sqrt
348×times-frac
342×associate-*l*
217×*-un-lft-identity
189×add-cube-cbrt
188×associate-*r*
128×unswap-sqr
72×*-commutative
56×swap-sqr
29×associate-/r*
28×add-cbrt-cube add-exp-log
14×distribute-lft-out
12×prod-exp cbrt-unprod associate-/l*
7×pow1
6×cbrt-undiv div-exp
4×associate-*r/
3×pow-prod-down
2×distribute-rgt-in +-commutative distribute-lft-in flip3-+ associate-/r/ flip-+ insert-posit16 add-log-exp
1×clear-num frac-2neg div-inv
Counts
2 → 459
Calls
2 calls:
94.0ms
(* (* z z) (+ z 1.0))
147.0ms
(/ (* x y) (* (* z z) (+ z 1.0)))

series258.0ms

Counts
2 → 6
Calls
2 calls:
116.0ms
(* (* z z) (+ z 1.0))
142.0ms
(/ (* x y) (* (* z z) (+ z 1.0)))

simplify1.9s

Counts
465 → 465
Iterations
IterNodes
done5006
12101
0580

prune1.7s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt x)
0.7b
(cbrt x)
0.7b
(cbrt x)
0.9b
(* (* (/ (cbrt x) (* (cbrt z) (cbrt z))) (/ (cbrt x) (* (cbrt z) (cbrt z)))) (* (/ y (+ z 1.0)) (/ (cbrt x) (* (cbrt z) (cbrt z)))))

rewrite3.2m

Algorithm
rewrite-expression-head
Rules
1582584×frac-times
1427277×associate-/r*
1096717×add-sqr-sqrt
913865×cbrt-prod
704129×*-un-lft-identity
600865×add-cube-cbrt
426043×associate-/l*
283581×swap-sqr
273370×associate-*l*
272821×associate-*r*
245857×unswap-sqr
97854×clear-num
96074×frac-2neg
64488×associate-*r/
52398×times-frac
50730×distribute-lft-out
50367×*-commutative
29804×associate-*l/
16175×add-cbrt-cube
14273×cbrt-unprod
8842×cbrt-undiv
3560×un-div-inv
483×add-exp-log
255×prod-exp
154×div-exp
16×pow1
8×pow-prod-down
6×div-inv
4×insert-posit16 add-log-exp
3×pow1/3
2×associate-/r/
1×flip3-+ flip-+
Counts
4 → 580207
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
25.8s
(* (* (/ (cbrt x) (* (cbrt z) (cbrt z))) (/ (cbrt x) (* (cbrt z) (cbrt z)))) (* (/ y (+ z 1.0)) (/ (cbrt x) (* (cbrt z) (cbrt z)))))

series1.0s

Counts
4 → 12
Calls
4 calls:
305.0ms
(cbrt x)
309.0ms
(cbrt x)
252.0ms
(cbrt x)
149.0ms
(* (* (/ (cbrt x) (* (cbrt z) (cbrt z))) (/ (cbrt x) (* (cbrt z) (cbrt z)))) (* (/ y (+ z 1.0)) (/ (cbrt x) (* (cbrt z) (cbrt z)))))

simplify6.7m