Details

Time bar (total: 6.4s)

sample138.0ms

Algorithm
intervals
Results
45.0ms651×body80nan
42.0ms660×body80valid

simplify5.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08263
117263
233263
357263
494263
5219263
6629263
71814263
done5001263

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b
(exp (- (+ x (* y (log y))) z))
0.0b
(+ x (* y (log y)))
0.3b
(* y (log y))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
12×log-prod *-un-lft-identity
11×add-log-exp
10×add-cube-cbrt
6×distribute-rgt-in pow1 associate-+r+ distribute-lft-in
5×exp-prod add-cbrt-cube add-exp-log
4×associate-*r*
3×associate-*l* exp-sum rem-exp-log
2×sum-log diff-log
1×+-commutative sub-neg flip3-+ exp-diff pow-prod-down prod-exp associate--l+ log-pow *-commutative cbrt-unprod flip-+ distribute-lft-out-- difference-of-squares unswap-sqr
Counts
3 → 61
Calls
3 calls:
43.0ms
(exp (- (+ x (* y (log y))) z))
5.0ms
(+ x (* y (log y)))
8.0ms
(* y (log y))

series382.0ms

Counts
3 → 9
Calls
3 calls:
46.0ms
(exp (- (+ x (* y (log y))) z))
70.0ms
(+ x (* y (log y)))
266.0ms
(* y (log y))

simplify76.0ms

Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
011116131