Details

Time bar (total: 12.3s)

sample238.0ms

Algorithm
halfpoints

simplify1.0s

Counts
1 → 1
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
01624
13011
24811
38311
411811
523111
697911
done500011

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
16×*-un-lft-identity associate-*l*
15×add-sqr-sqrt
13×times-frac
10×add-cube-cbrt
6×add-exp-log add-cbrt-cube
3×pow1 associate-*r* distribute-lft-out
2×prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv div-exp pow-prod-down associate-*l/ *-commutative div-inv add-log-exp
Counts
1 → 35
Calls
1 calls:
71.0ms
(* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))

series97.0ms

Counts
1 → 3
Calls
1 calls:
97.0ms
(* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))

simplify646.0ms

Counts
38 → 38
Iterations

Useful iterations: done (644.0ms)

IterNodesCost
087552
1218546
21008482
done5000476

prune117.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize23.0ms

Local error

Found 2 expressions with local error:

0.2b
(* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))
0.7b
(* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))

rewrite187.0ms

Algorithm
rewrite-expression-head
Rules
50×associate-*l*
44×times-frac
43×*-un-lft-identity
39×add-sqr-sqrt
37×add-exp-log
31×add-cube-cbrt
28×add-cbrt-cube
25×sqrt-prod
17×prod-exp
12×cbrt-unprod
10×div-exp
9×pow1
6×cbrt-undiv distribute-lft-out
4×associate-*r* pow-prod-down associate-*l/
3×1-exp unswap-sqr
2×*-commutative div-inv add-log-exp
1×frac-times associate-*r/
Counts
2 → 99
Calls
2 calls:
66.0ms
(* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))
113.0ms
(* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))

series192.0ms

Counts
2 → 6
Calls
2 calls:
104.0ms
(* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))
88.0ms
(* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))

simplify2.6s

Counts
105 → 105
Iterations

Useful iterations: done (2.6s)

IterNodesCost
01792353
15082087
233161502
done50001468

prune409.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes62.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01011
11211
done1211

end0.0ms

sample6.5s

Algorithm
halfpoints