Details

Time bar (total: 646.0ms)

sample98.0ms

Algorithm
intervals
Results
51.0ms83×body10240exit
17.0ms283×body80valid
4.0ms7×body640valid
3.0ms5×body1280valid
1.0ms7×body160valid
1.0ms4×body320valid

simplify21.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
08263
112263
219263
323263
done23263

prune31.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize29.0ms

Local error

Found 3 expressions with local error:

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

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
14×*-un-lft-identity
8×add-sqr-sqrt log-prod add-cube-cbrt
6×pow1 add-log-exp
4×log-div fma-neg prod-diff associate--l+ add-exp-log
3×expm1-log1p-u fma-def flip3-+ add-cbrt-cube log-pow flip-+ log1p-expm1-u distribute-lft-out
2×associate--l-
1×+-commutative sum-log sub-neg flip3-- diff-log rem-log-exp flip--
Counts
3 → 62
Calls
3 calls:
11.0ms
(+ 1.0 (exp x))
21.0ms
(- (log (+ 1.0 (exp x))) (* x y))
9.0ms
(log (+ 1.0 (exp x)))

series223.0ms

Counts
3 → 9
Calls
3 calls:
21.0ms
(+ 1.0 (exp x))
104.0ms
(- (log (+ 1.0 (exp x))) (* x y))
98.0ms
(log (+ 1.0 (exp x)))

simplify200.0ms

Iterations

Useful iterations: 1 (66.0ms)

IterNodesCost
010520528
124218197