Details

Time bar (total: 13.3s)

sample29.0ms

Algorithm
intervals
Results
18.0ms256×body80valid

simplify8.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
1108
2128
done128

prune3.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
(/ 2.0 (+ (exp x) (exp (- x))))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
12×times-frac
10×add-sqr-sqrt add-cube-cbrt
4×associate-/r* distribute-lft-out
3×add-exp-log add-cbrt-cube associate-/l*
2×associate-/r/
1×pow1 cbrt-undiv frac-2neg flip3-+ div-exp clear-num flip-+ div-inv add-log-exp
Counts
1 → 33
Calls
1 calls:
38.0ms
(/ 2.0 (+ (exp x) (exp (- x))))

series71.0ms

Counts
1 → 3
Calls
1 calls:
71.0ms
(/ 2.0 (+ (exp x) (exp (- x))))

simplify2.8s

Counts
36 → 36
Iterations

Useful iterations: 3 (509.0ms)

IterNodesCost
078492
1171472
2607440
33559437
done5000437

prune109.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
0.0b
(* (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))))
0.0b
(sqrt (+ (exp x) (exp (- x))))
0.0b
(sqrt (+ (exp x) (exp (- x))))

rewrite326.0ms

Algorithm
rewrite-expression-head
Rules
390×sqrt-prod
342×times-frac
336×add-sqr-sqrt
290×*-un-lft-identity
168×add-cube-cbrt
94×swap-sqr
53×distribute-lft-out
48×associate-*r* associate-*l*
25×unswap-sqr
18×add-exp-log add-cbrt-cube
14×sqrt-div
13×pow1
10×associate-/r/
7×flip3-+ associate-/r* flip-+
6×associate-/l*
5×cbrt-undiv sqrt-undiv div-exp div-inv
4×prod-exp cbrt-unprod add-log-exp
2×rem-sqrt-square sqrt-pow1 pow1/2
1×pow2 frac-times frac-2neg pow-plus sqrt-unprod associate-*r/ pow-prod-down associate-*l/ clear-num rem-square-sqrt pow-sqr *-commutative pow-prod-up
Counts
4 → 343
Calls
4 calls:
37.0ms
(/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
191.0ms
(* (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))))
27.0ms
(sqrt (+ (exp x) (exp (- x))))
22.0ms
(sqrt (+ (exp x) (exp (- x))))

series448.0ms

Counts
4 → 12
Calls
4 calls:
158.0ms
(/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
132.0ms
(* (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))))
74.0ms
(sqrt (+ (exp x) (exp (- x))))
84.0ms
(sqrt (+ (exp x) (exp (- x))))

simplify583.0ms

Counts
355 → 355
Iterations

Useful iterations: done (560.0ms)

IterNodesCost
028610463
19309382
done50008967

prune840.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (+ (exp x) (exp (- x))))
0.5b
(/ 1 (sqrt (+ (exp x) (exp (- x)))))
0.5b
(/ 2.0 (sqrt (+ (exp x) (exp (- x)))))
0.5b
(* (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))))

rewrite308.0ms

Algorithm
rewrite-expression-head
Rules
112×add-sqr-sqrt
106×times-frac
101×*-un-lft-identity
71×sqrt-prod
65×add-cube-cbrt
32×add-exp-log
27×associate-*r* associate-*l*
20×add-cbrt-cube
15×distribute-lft-out unswap-sqr
14×associate-/r*
11×div-exp
10×sqrt-div
9×pow1
8×prod-exp associate-/r/
6×cbrt-undiv associate-/l*
5×flip3-+ flip-+
4×cbrt-unprod div-inv add-log-exp
3×rec-exp pow-flip 1-exp
2×frac-2neg sqrt-pow1 pow1/2 clear-num
1×frac-times rem-sqrt-square associate-*r/ pow-prod-down associate-*l/ un-div-inv *-commutative inv-pow
Counts
4 → 206
Calls
4 calls:
30.0ms
(sqrt (+ (exp x) (exp (- x))))
27.0ms
(/ 1 (sqrt (+ (exp x) (exp (- x)))))
39.0ms
(/ 2.0 (sqrt (+ (exp x) (exp (- x)))))
192.0ms
(* (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))))

series310.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(sqrt (+ (exp x) (exp (- x))))
96.0ms
(/ 1 (sqrt (+ (exp x) (exp (- x)))))
95.0ms
(/ 2.0 (sqrt (+ (exp x) (exp (- x)))))
52.0ms
(* (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))))

simplify6.0s

Counts
218 → 218
Iterations

Useful iterations: 2 (820.0ms)

IterNodesCost
02574350
16913880
243983524
done50003524

prune671.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes59.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
188
done88

end0.0ms

sample689.0ms

Algorithm
intervals
Results
487.0ms8000×body80valid