Details

Time bar (total: 2.7s)

sample21.0ms

Algorithm
intervals
Results
11.0ms256×body80valid

simplify15.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
15.0ms
(/ 2 (+ (exp x) (exp (- x))))

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (exp x) (exp (- x)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
4×*-un-lft-identity
3×fma-def add-log-exp
2×add-sqr-sqrt add-cube-cbrt
1×expm1-log1p-u pow1 +-commutative sum-log flip3-+ add-cbrt-cube add-exp-log flip-+ insert-posit16 log1p-expm1-u distribute-lft-out
Counts
1 → 18
Calls
1 calls:
Slowest
11.0ms
(+ (exp x) (exp (- x)))

series26.0ms

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

simplify157.0ms

Counts
7 → 21
Calls
7 calls:
Slowest
68.0ms
(+ (exp (* -1 x)) (exp x))
30.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
22.0ms
(+ (exp x) (exp (- x)))
20.0ms
(* (exp (exp x)) (exp (exp (- x))))
11.0ms
(+ (exp x) (exp (- x)))

prune168.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize25.0ms

Local error

Found 2 expressions with local error:

0.7b
(log (+ (exp x) (exp (- x))))
0.0b
(+ (exp x) (exp (- x)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
8×*-un-lft-identity
4×add-sqr-sqrt log-prod add-cube-cbrt add-log-exp
3×pow1 fma-def add-exp-log
2×expm1-log1p-u log-div flip3-+ add-cbrt-cube flip-+ insert-posit16 log1p-expm1-u distribute-lft-out
1×+-commutative sum-log rem-log-exp log-pow
Counts
2 → 36
Calls
2 calls:
Slowest
12.0ms
(+ (exp x) (exp (- x)))
11.0ms
(log (+ (exp x) (exp (- x))))

series142.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
111.0ms
(log (+ (exp x) (exp (- x))))
30.0ms
(+ (exp x) (exp (- x)))

simplify987.0ms

Counts
17 → 42
Calls
17 calls:
Slowest
246.0ms
(log (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
228.0ms
(log (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))
138.0ms
(- (+ (log 2) (* 1/2 (pow x 2))) (* 1/12 (pow x 4)))
131.0ms
(log (+ (exp (* -1 x)) (exp x)))
41.0ms
(+ (exp (* -1 x)) (exp x))

prune422.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample725.0ms

Algorithm
intervals
Results
609.0ms8000×body80valid