Details

Time bar (total: 5.0s)

sample66.0ms

Algorithm
intervals
Results
22.0ms71×body1280valid
19.0ms80×body10240exit
9.0ms48×body640valid
4.0ms98×body80valid
4.0ms27×body320valid
1.0ms12×body160valid

simplify10.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
9.0ms
(/ (exp x) (- (exp x) 1))

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 38.0b

localize14.0ms

Local error

Found 1 expressions with local error:

3.3b
(- (exp x) 1)

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
11×*-un-lft-identity
9×prod-diff
8×add-cube-cbrt
3×fma-neg add-log-exp
2×difference-of-squares
1×expm1-log1p-u pow1 expm1-def sub-neg flip3-- add-cbrt-cube diff-log difference-of-sqr-1 add-exp-log insert-posit16 log1p-expm1-u flip-- distribute-lft-out--
Counts
1 → 32
Calls
1 calls:
Slowest
19.0ms
(- (exp x) 1)

series46.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
46.0ms
(- (exp x) 1)

simplify914.0ms

Counts
30 → 35
Calls
30 calls:
Slowest
246.0ms
(+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
76.0ms
(fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt 1) (sqrt 1))))
72.0ms
(fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
65.0ms
(fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
52.0ms
(fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* 1 1)))

prune248.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0
Calls
0 calls:
Slowest

series0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

simplify0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

prune6.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample3.6s

Algorithm
intervals
Results
1.1s2578×body10240exit
1.0s2223×body1280valid
576.0ms774×body320valid
536.0ms1696×body640valid
165.0ms2882×body80valid
52.0ms426×body160valid