Details

Time bar (total: 1.8s)

sample17.0ms

Algorithm
intervals
Results
8.0ms296×body80valid

simplify60.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
077
1117
2247
3527
4817
5877
done877

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.1b

localize10.0ms

Local error

Found 1 expressions with local error:

4.8b
(* x (- 1.0 (* y z)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt
6×prod-diff
5×distribute-rgt-in add-cube-cbrt *-un-lft-identity distribute-lft-in
3×pow1 add-exp-log associate-*r* associate-*l* add-cbrt-cube
2×sub-neg associate-*r/
1×expm1-log1p-u flip3-- pow-prod-down prod-exp *-commutative flip-- cbrt-unprod log1p-expm1-u add-log-exp unswap-sqr
Counts
1 → 32
Calls
1 calls:
27.0ms
(* x (- 1.0 (* y z)))

series77.0ms

Counts
1 → 3
Calls
1 calls:
77.0ms
(* x (- 1.0 (* y z)))

simplify1.2s

Counts
35 → 35
Iterations

Useful iterations: done (1.2s)

IterNodesCost
070405
1151402
2392352
31409343
done5000307

prune80.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 4.9b

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (* x (- 1.0 (* y z))))
4.8b
(* x (- 1.0 (* y z)))
4.8b
(* x (- 1.0 (* y z)))
4.8b
(* x (- 1.0 (* y z)))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
18×prod-diff
16×add-cube-cbrt *-un-lft-identity
15×distribute-rgt-in distribute-lft-in
10×pow1 add-exp-log add-cbrt-cube
9×associate-*r* associate-*l*
8×associate-*r/
6×sub-neg
4×expm1-log1p-u flip3-- flip-- log1p-expm1-u add-log-exp
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
2×cbrt-div
1×cbrt-prod pow1/3
Counts
4 → 109
Calls
4 calls:
9.0ms
(cbrt (* x (- 1.0 (* y z))))
37.0ms
(* x (- 1.0 (* y z)))
28.0ms
(* x (- 1.0 (* y z)))
31.0ms
(* x (- 1.0 (* y z)))

series201.0ms

Calls
3 calls:
62.0ms
(* x (- 1.0 (* y z)))
60.0ms
(* x (- 1.0 (* y z)))
51.0ms
(* x (- 1.0 (* y z)))