Details

Time bar (total: 37.6s)

sample33.0ms

Algorithm
intervals
Results
22.0ms256×body80valid

simplify32.0ms

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

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 2 expressions with local error:

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

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
12×add-sqr-sqrt times-frac add-cube-cbrt
5×distribute-lft-out
4×associate-/r* add-cbrt-cube add-exp-log add-log-exp
3×fma-def associate-/l*
2×expm1-log1p-u pow1 flip3-+ associate-/r/ flip-+ insert-posit16 log1p-expm1-u
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg div-exp div-inv
Counts
2 → 54
Calls
2 calls:
Slowest
20.0ms
(/ 2 (+ (exp x) (exp (- x))))
17.0ms
(+ (exp x) (exp (- x)))

series78.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
53.0ms
(/ 2 (+ (exp x) (exp (- x))))
25.0ms
(+ (exp x) (exp (- x)))

simplify1.6s

Counts
44 → 60
Calls
44 calls:
Slowest
223.0ms
(+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
152.0ms
(/ (* (* 2 2) 2) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))))
133.0ms
(/ 2 (+ (exp (* -1 x)) (exp x)))
93.0ms
(- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2)))
81.0ms
(+ (exp (* -1 x)) (exp x))

prune528.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.4b
(- (log 2) (log (+ (exp x) (exp (- x)))))
0.3b
(log (+ (exp x) (exp (- x))))
0.0b
(exp (- (log 2) (log (+ (exp x) (exp (- x))))))
0.0b
(+ (exp x) (exp (- x)))

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
41×*-un-lft-identity
32×prod-diff
31×add-sqr-sqrt
30×pow1
27×add-cube-cbrt
26×log-pow
23×exp-sum
14×log-prod
8×exp-prod distribute-lft-out--
7×add-log-exp
6×log-div associate--l+
5×add-exp-log
4×expm1-log1p-u flip3-+ add-cbrt-cube fma-neg flip-+ insert-posit16 log1p-expm1-u associate--r+ associate--r-
3×fma-def distribute-lft-out
2×sub-neg diff-log difference-of-squares rem-exp-log
1×+-commutative sum-log flip3-- exp-diff rem-log-exp flip--
Counts
4 → 129
Calls
4 calls:
Slowest
31.0ms
(exp (- (log 2) (log (+ (exp x) (exp (- x))))))
19.0ms
(+ (exp x) (exp (- x)))
19.0ms
(- (log 2) (log (+ (exp x) (exp (- x)))))
7.0ms
(log (+ (exp x) (exp (- x))))

series827.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
381.0ms
(- (log 2) (log (+ (exp x) (exp (- x)))))
319.0ms
(exp (- (log 2) (log (+ (exp x) (exp (- x))))))
98.0ms
(log (+ (exp x) (exp (- x))))
29.0ms
(+ (exp x) (exp (- x)))

simplify9.3s

Counts
106 → 141
Calls
106 calls:
Slowest
388.0ms
(exp (fma (* (cbrt (log 2)) (cbrt (log 2))) (cbrt (log 2)) (- (* (cbrt (log (+ (exp x) (exp (- x))))) (* (cbrt (log (+ (exp x) (exp (- x))))) (cbrt (log (+ (exp x) (exp (- x))))))))))
363.0ms
(exp (fma 1 (log 2) (- (* (cbrt (log (+ (exp x) (exp (- x))))) (* (cbrt (log (+ (exp x) (exp (- x))))) (cbrt (log (+ (exp x) (exp (- x))))))))))
358.0ms
(exp (fma (sqrt (log 2)) (sqrt (log 2)) (- (* (cbrt (log (+ (exp x) (exp (- x))))) (* (cbrt (log (+ (exp x) (exp (- x))))) (cbrt (log (+ (exp x) (exp (- x))))))))))
340.0ms
(exp (- (log 2) (log (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))))
288.0ms
(exp (fma 1 (log 2) (- (* (cbrt (log (+ (exp x) (exp (- x))))) (* (cbrt (log (+ (exp x) (exp (- x))))) (cbrt (log (+ (exp x) (exp (- x))))))))))

prune1.7s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize66.0ms

Local error

Found 4 expressions with local error:

0.4b
(- (log 2) (log (+ (exp x) (exp (- x)))))
0.4b
(- (log 2) (log (+ (exp x) (exp (- x)))))
0.4b
(- (log 2) (log (+ (exp x) (exp (- x)))))
0.3b
(log (+ (exp x) (exp (- x))))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
58×*-un-lft-identity
48×prod-diff
44×add-sqr-sqrt pow1
40×log-pow
38×add-cube-cbrt
25×log-prod
12×fma-neg associate--r+ distribute-lft-out--
9×associate--l+
8×log-div
6×associate--r-
5×add-exp-log
4×expm1-log1p-u flip3-+ add-cbrt-cube flip-+ insert-posit16 log1p-expm1-u distribute-lft-out add-log-exp
3×sub-neg flip3-- diff-log flip-- difference-of-squares
1×rem-log-exp
Counts
4 → 165
Calls
4 calls:
Slowest
34.0ms
(- (log 2) (log (+ (exp x) (exp (- x)))))
22.0ms
(- (log 2) (log (+ (exp x) (exp (- x)))))
13.0ms
(- (log 2) (log (+ (exp x) (exp (- x)))))
7.0ms
(log (+ (exp x) (exp (- x))))

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
440.0ms
(- (log 2) (log (+ (exp x) (exp (- x)))))
398.0ms
(- (log 2) (log (+ (exp x) (exp (- x)))))
383.0ms
(- (log 2) (log (+ (exp x) (exp (- x)))))
75.0ms
(log (+ (exp x) (exp (- x))))

simplify13.6s

Counts
169 → 177
Calls
169 calls:
Slowest
274.0ms
(log (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))
262.0ms
(fma (sqrt (log 2)) (sqrt (log 2)) (- (* (cbrt (log (+ (exp x) (exp (- x))))) (* (cbrt (log (+ (exp x) (exp (- x))))) (cbrt (log (+ (exp x) (exp (- x)))))))))
260.0ms
(fma (* (cbrt (log 2)) (cbrt (log 2))) (cbrt (log 2)) (- (* (cbrt (log (+ (exp x) (exp (- x))))) (* (cbrt (log (+ (exp x) (exp (- x))))) (cbrt (log (+ (exp x) (exp (- x)))))))))
260.0ms
(fma (* (cbrt (log 2)) (cbrt (log 2))) (cbrt (log 2)) (- (* (cbrt (log (+ (exp x) (exp (- x))))) (* (cbrt (log (+ (exp x) (exp (- x))))) (cbrt (log (+ (exp x) (exp (- x)))))))))
259.0ms
(log (+ (pow (exp x) 3) (pow (exp (- x)) 3)))

prune3.0s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize17.0ms

Local error

Found 3 expressions with local error:

0.3b
(log (exp (/ 2 (+ (exp x) (exp (- x))))))
0.0b
(/ 2 (+ (exp x) (exp (- x))))
0.0b
(+ (exp x) (exp (- x)))

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
24×times-frac
22×add-sqr-sqrt add-cube-cbrt
19×log-pow
18×exp-prod
8×distribute-lft-out
5×add-cbrt-cube add-exp-log add-log-exp
4×pow1 associate-/r* associate-/r/
3×expm1-log1p-u log-prod fma-def flip3-+ flip-+ insert-posit16 log1p-expm1-u associate-/l*
2×div-inv
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg div-exp rem-log-exp
Counts
3 → 87
Calls
3 calls:
Slowest
51.0ms
(log (exp (/ 2 (+ (exp x) (exp (- x))))))
38.0ms
(/ 2 (+ (exp x) (exp (- x))))
20.0ms
(+ (exp x) (exp (- x)))

series144.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
52.0ms
(/ 2 (+ (exp x) (exp (- x))))
48.0ms
(log (exp (/ 2 (+ (exp x) (exp (- x))))))
44.0ms
(+ (exp x) (exp (- x)))

simplify2.8s

Counts
68 → 96
Calls
68 calls:
Slowest
262.0ms
(+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
256.0ms
(+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
149.0ms
(/ (* (* 2 2) 2) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))))
148.0ms
(/ 2 (+ (exp (* -1 x)) (exp x)))
130.0ms
(/ 2 (+ (exp (* -1 x)) (exp x)))

prune1.1s

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes84.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch1.0ms

end0.0ms

sample1.1s

Algorithm
intervals
Results
1.0s8000×body80valid