Details

Time bar (total: 19.0s)

sample157.0ms

Algorithm
intervals
Results
52.0ms620×body80valid
43.0ms636×body80nan

simplify6.2s

Counts
1 → 1
Iterations

Useful iterations: 2 (9.0ms)

IterNodesCost
089
1179
2378
3708
41018
51748
64168
713298
845868
done50008

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite140.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
29×*-un-lft-identity
25×add-cube-cbrt
18×prod-diff
17×add-log-exp
12×log-prod exp-sum
7×pow1
6×add-exp-log distribute-rgt-in associate-+r+ distribute-lft-in add-cbrt-cube
5×exp-prod
4×expm1-log1p-u diff-log associate-*r* log1p-expm1-u
3×fma-def fma-neg associate-*l* sum-log rem-exp-log
2×sub-neg associate--l+ distribute-lft-out-- difference-of-squares
1×+-commutative flip3-- flip3-+ exp-diff pow-prod-down prod-exp log-pow *-commutative flip-- cbrt-unprod flip-+ unswap-sqr
Counts
4 → 109
Calls
4 calls:
39.0ms
(- (+ x (* y (log y))) z)
7.0ms
(+ x (* y (log y)))
79.0ms
(exp (- (+ x (* y (log y))) z))
11.0ms
(* y (log y))

series444.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(- (+ x (* y (log y))) z)
62.0ms
(+ x (* y (log y)))
43.0ms
(exp (- (+ x (* y (log y))) z))
267.0ms
(* y (log y))

simplify2.8s

Counts
121 → 121
Iterations

Useful iterations: 3 (1.5s)

IterNodesCost
01721543
13571328
28671059
32991939
done5000939

prune360.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt *-un-lft-identity
19×add-cube-cbrt
12×log-prod times-frac
7×add-cbrt-cube
6×pow1 distribute-rgt-in associate-+r+ distribute-lft-in
5×add-exp-log add-log-exp
4×associate-*r* exp-sum associate-/l*
3×expm1-log1p-u fma-def associate-*l* associate-/r* log1p-expm1-u
2×exp-prod
1×cbrt-undiv +-commutative frac-2neg flip3-+ div-exp pow-prod-down prod-exp clear-num sum-log log-pow *-commutative cbrt-unprod flip-+ div-inv unswap-sqr pow-div
Counts
3 → 83
Calls
3 calls:
7.0ms
(+ x (* y (log y)))
9.0ms
(* y (log y))
22.0ms
(/ (exp (+ x (* y (log y)))) (exp z))

series482.0ms

Counts
3 → 9
Calls
3 calls:
77.0ms
(+ x (* y (log y)))
323.0ms
(* y (log y))
82.0ms
(/ (exp (+ x (* y (log y)))) (exp z))

simplify2.7s

Counts
92 → 92
Iterations

Useful iterations: 3 (1.2s)

IterNodesCost
01461003
1298942
2757804
32552785
done5000785

prune460.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma y (log y) x)
0.3b
(sqrt (exp (fma y (log y) x)))
0.3b
(sqrt (exp (fma y (log y) x)))
0.5b
(/ (sqrt (exp (fma y (log y) x))) (exp z))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt *-un-lft-identity
24×add-cube-cbrt sqrt-prod
21×times-frac
9×sqrt-pow1
8×exp-prod
7×fma-udef associate-/l*
6×pow1 exp-sum add-cbrt-cube
5×add-exp-log
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r*
2×rem-sqrt-square pow1/2
1×cbrt-undiv frac-2neg div-exp clear-num div-inv pow-div
Counts
4 → 94
Calls
4 calls:
0.0ms
(fma y (log y) x)
6.0ms
(sqrt (exp (fma y (log y) x)))
7.0ms
(sqrt (exp (fma y (log y) x)))
14.0ms
(/ (sqrt (exp (fma y (log y) x))) (exp z))

series331.0ms

Counts
4 → 12
Calls
4 calls:
131.0ms
(fma y (log y) x)
46.0ms
(sqrt (exp (fma y (log y) x)))
37.0ms
(sqrt (exp (fma y (log y) x)))
116.0ms
(/ (sqrt (exp (fma y (log y) x))) (exp z))

simplify4.2s

Counts
106 → 106
Iterations

Useful iterations: 4 (2.3s)

IterNodesCost
01211362
12001255
23961189
39961183
437031182
done50021182

prune634.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes1.0ms