Details

Time bar (total: 13.4s)

sample209.0ms

Algorithm
halfpoints

simplify1.1s

Counts
1 → 1
Iterations

Useful iterations: 1 (3.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

localize21.0ms

Local error

Found 1 expressions with local error:

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

rewrite104.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:
100.0ms
(* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))

series78.0ms

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

simplify649.0ms

Counts
38 → 38
Iterations

Useful iterations: done (647.0ms)

IterNodesCost
087552
1218546
21008482
done5000476

prune155.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite321.0ms

Algorithm
rewrite-expression-head
Rules
66×sqrt-prod
63×*-un-lft-identity
52×add-sqr-sqrt
51×times-frac
39×add-cube-cbrt
38×associate-*l*
13×pow1
12×distribute-lft-out
11×add-exp-log add-cbrt-cube
7×sqrt-div
4×rem-sqrt-square associate-*r* pow-prod-down associate-*l/ prod-exp cbrt-unprod div-inv add-log-exp
3×unswap-sqr
2×sqrt-pow1 pow1/2 *-commutative
1×frac-times associate-*r/
Counts
4 → 130
Calls
4 calls:
91.0ms
(* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
21.0ms
(sqrt (/ (+ (exp x) (exp (- x))) 2.0))
22.0ms
(sqrt (/ (+ (exp x) (exp (- x))) 2.0))
177.0ms
(* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))

series540.0ms

Counts
4 → 12
Calls
4 calls:
123.0ms
(* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
138.0ms
(sqrt (/ (+ (exp x) (exp (- x))) 2.0))
121.0ms
(sqrt (/ (+ (exp x) (exp (- x))) 2.0))
156.0ms
(* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))

simplify872.0ms

Counts
142 → 142
Iterations

Useful iterations: done (866.0ms)

IterNodesCost
01762649
13962507
215832124
done50002071

prune693.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite647.0ms

Algorithm
rewrite-expression-head
Rules
128×sqrt-prod
80×*-un-lft-identity
78×times-frac
64×add-sqr-sqrt
56×add-cube-cbrt associate-*l*
20×pow1
18×add-exp-log sqrt-div add-cbrt-cube
12×distribute-lft-out
10×associate-*l/
9×pow-prod-down prod-exp cbrt-unprod
6×frac-times associate-*r/
5×rem-sqrt-square
4×div-inv add-log-exp
2×sqrt-pow1 pow1/2 associate-*r* *-commutative
Counts
4 → 165
Calls
4 calls:
22.0ms
(sqrt (/ (+ (exp x) (exp (- x))) 2.0))
163.0ms
(* (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
428.0ms
(* (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) 1)) (* (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))))
26.0ms
(sqrt (/ (sqrt (+ (exp x) (exp (- x)))) 2.0))

series904.0ms

Counts
4 → 12
Calls
4 calls:
160.0ms
(sqrt (/ (+ (exp x) (exp (- x))) 2.0))
322.0ms
(* (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))
182.0ms
(* (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) 1)) (* (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))))
239.0ms
(sqrt (/ (sqrt (+ (exp x) (exp (- x)))) 2.0))

simplify1.4s

Counts
177 → 177
Iterations

Useful iterations: done (1.4s)

IterNodesCost
03014716
16794252
230963905
done50003877

prune948.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes49.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01011
11211
done1211

end0.0ms

sample4.7s

Algorithm
halfpoints