Details

Time bar (total: 15.3s)

sample223.0ms

Algorithm
halfpoints

simplify990.0ms

Counts
1 → 1

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 2 expressions with local error:

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

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
16×add-sqr-sqrt associate-*l*
13×times-frac
11×add-cube-cbrt
7×add-exp-log add-cbrt-cube
4×pow1 distribute-lft-out add-log-exp
3×associate-*r*
2×prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv +-commutative flip3-+ div-exp pow-prod-down associate-*l/ sum-log *-commutative flip-+ div-inv
Counts
2 → 47
Calls
2 calls:
23.0ms
(+ (exp x) (exp (- x)))
107.0ms
(* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))

series112.0ms

Counts
2 → 6
Calls
2 calls:
33.0ms
(+ (exp x) (exp (- x)))
79.0ms
(* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))

simplify2.0s

Counts
53 → 53

prune247.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite317.0ms

Algorithm
rewrite-expression-head
Rules
39×*-un-lft-identity
38×associate-*l*
34×sqrt-prod
30×add-sqr-sqrt
25×times-frac
23×add-cube-cbrt
11×pow1 add-exp-log add-cbrt-cube
8×distribute-lft-out add-log-exp
5×sqrt-div
4×associate-*r* pow-prod-down associate-*l/ prod-exp cbrt-unprod
3×unswap-sqr
2×+-commutative flip3-+ sum-log *-commutative flip-+ div-inv
1×frac-times associate-*r/
Counts
4 → 98
Calls
4 calls:
88.0ms
(* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
13.0ms
(+ (exp x) (exp (- x)))
13.0ms
(+ (exp x) (exp (- x)))
200.0ms
(* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))

series453.0ms

Counts
4 → 12
Calls
4 calls:
163.0ms
(* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
38.0ms
(+ (exp x) (exp (- x)))
39.0ms
(+ (exp x) (exp (- x)))
212.0ms
(* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))

simplify521.0ms

Counts
110 → 110

prune573.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize25.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (exp (* -1 x)) (exp x))
0.0b
(* (+ (exp (* -1 x)) (exp x)) (cos y))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
8×*-un-lft-identity
6×add-sqr-sqrt
4×pow1 add-exp-log add-cube-cbrt associate-*l* add-cbrt-cube add-log-exp
3×associate-*r*
2×flip3-+ associate-*l/ flip-+ distribute-lft-out
1×+-commutative pow-prod-down prod-exp sum-log *-commutative cbrt-unprod unswap-sqr
Counts
2 → 33
Calls
2 calls:
13.0ms
(+ (exp (* -1 x)) (exp x))
64.0ms
(* (+ (exp (* -1 x)) (exp x)) (cos y))

series112.0ms

Counts
2 → 6
Calls
2 calls:
39.0ms
(+ (exp (* -1 x)) (exp x))
73.0ms
(* (+ (exp (* -1 x)) (exp x)) (cos y))

simplify1.1s

Counts
39 → 39

prune165.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite264.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt sqrt-prod
34×*-un-lft-identity
26×associate-*l*
25×times-frac
24×add-cube-cbrt
20×add-exp-log add-cbrt-cube
13×associate-*r*
9×pow1
8×sqrt-div
6×prod-exp associate-/r* cbrt-unprod
5×associate-*l/ distribute-lft-out unswap-sqr
4×cbrt-undiv div-exp add-log-exp
3×flip3-+ flip-+ div-inv
2×pow-prod-down *-commutative associate-/l/
1×frac-times rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 associate-*r/ clear-num associate-/l*
Counts
4 → 120
Calls
4 calls:
31.0ms
(sqrt (+ (exp x) (exp (- x))))
111.0ms
(* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (/ (* (sqrt (+ (exp x) (exp (- x)))) (cos y)) (sqrt 2.0)))
72.0ms
(* (sqrt (+ (exp x) (exp (- x)))) (cos y))
42.0ms
(/ (* (sqrt (+ (exp x) (exp (- x)))) (cos y)) (sqrt 2.0))

series623.0ms

Counts
4 → 12
Calls
4 calls:
78.0ms
(sqrt (+ (exp x) (exp (- x))))
224.0ms
(* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (/ (* (sqrt (+ (exp x) (exp (- x)))) (cos y)) (sqrt 2.0)))
94.0ms
(* (sqrt (+ (exp x) (exp (- x)))) (cos y))
227.0ms
(/ (* (sqrt (+ (exp x) (exp (- x)))) (cos y)) (sqrt 2.0))

simplify893.0ms

Counts
132 → 132

prune511.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes31.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify895.0ms

end0.0ms

sample5.0s

Algorithm
halfpoints