Details

sample211.0ms

Algorithm

halfpoints

Results

simplify243.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

243.0ms

(re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y))))

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 3 expressions with local error:

19.7b	(- (exp x) (exp (- x)))
0.1b	(* (/ (- (exp x) (exp (- x))) 2) (sin y))
0.0b	(* (/ (+ (exp x) (exp (- x))) 2) (cos y))

rewrite89.0ms

Algorithm

rewrite-expression-head

Rules

40×	`add-sqr-sqrt`
36×	`*-un-lft-identity`
35×	`associate-l`
29×	`times-frac`
22×	`add-cube-cbrt`
13×	`add-cbrt-cube` `add-exp-log`
7×	`pow1`
6×	`associate-r`
5×	`add-log-exp`
4×	`prod-exp` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
3×	`insert-posit16` `distribute-lft-out`
2×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `div-inv`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

3 → 90

Calls

3 calls:

Slowest

36.0ms	(* (/ (+ (exp x) (exp (- x))) 2) (cos y))
35.0ms	(* (/ (- (exp x) (exp (- x))) 2) (sin y))
15.0ms	(- (exp x) (exp (- x)))

series242.0ms

Counts

3 → 9

Calls

3 calls:

Slowest

110.0ms	(* (/ (- (exp x) (exp (- x))) 2) (sin y))
85.0ms	(* (/ (+ (exp x) (exp (- x))) 2) (cos y))
47.0ms	(- (exp x) (exp (- x)))

simplify5.3s

Counts

72 → 99

Calls

72 calls:

Slowest

851.0ms	(* (* (* (/ (- (exp x) (exp (- x))) 2) (/ (- (exp x) (exp (- x))) 2)) (/ (- (exp x) (exp (- x))) 2)) (* (* (sin y) (sin y)) (sin y)))
432.0ms	(* (* (* (/ (+ (exp x) (exp (- x))) 2) (/ (+ (exp x) (exp (- x))) 2)) (/ (+ (exp x) (exp (- x))) 2)) (* (* (cos y) (cos y)) (cos y)))
289.0ms	(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
242.0ms	(* 1/2 (* (+ (exp (* -1 x)) (exp x)) (cos y)))
227.0ms	(* (/ (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (* (* 2 2) 2)) (* (* (cos y) (cos y)) (cos y)))

prune1.4s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize62.0ms

Local error

Found 4 expressions with local error:

19.7b	(- (exp x) (exp (- x)))
0.7b	(* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2) (cos y)))
0.2b	(* (/ (sqrt (+ (exp x) (exp (- x)))) 2) (cos y))
0.1b	(* (/ (- (exp x) (exp (- x))) 2) (sin y))

rewrite202.0ms

Algorithm

rewrite-expression-head

Rules

69×	`associate-l`
64×	`add-sqr-sqrt`
63×	`*-un-lft-identity`
60×	`times-frac`
44×	`add-exp-log`
43×	`add-cube-cbrt`
35×	`add-cbrt-cube`
25×	`sqrt-prod`
19×	`prod-exp`
14×	`cbrt-unprod`
13×	`pow1`
11×	`div-exp`
7×	`cbrt-undiv` `associate-r`
6×	`distribute-lft-out` `add-log-exp`
5×	`pow-prod-down` `associate-*l/` `unswap-sqr`
4×	`insert-posit16` `distribute-lft-out--` `difference-of-squares`
3×	`1-exp` `*-commutative` `div-inv`
1×	`frac-times` `sub-neg` `flip3--` `diff-log` `associate-*r/` `flip--`

Counts

4 → 155

Calls

4 calls:

Slowest

88.0ms	(* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2) (cos y)))
45.0ms	(* (/ (- (exp x) (exp (- x))) 2) (sin y))
41.0ms	(* (/ (sqrt (+ (exp x) (exp (- x)))) 2) (cos y))
25.0ms	(- (exp x) (exp (- x)))

series361.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

127.0ms	(* (/ (sqrt (+ (exp x) (exp (- x)))) 2) (cos y))
114.0ms	(* (/ (- (exp x) (exp (- x))) 2) (sin y))
71.0ms	(* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2) (cos y)))
48.0ms	(- (exp x) (exp (- x)))

simplify13.0s

Counts

131 → 167

Calls

131 calls:

Slowest

990.0ms	(* (* (* (/ (- (exp x) (exp (- x))) 2) (/ (- (exp x) (exp (- x))) 2)) (/ (- (exp x) (exp (- x))) 2)) (* (* (sin y) (sin y)) (sin y)))
860.0ms	(+ (- (log (sqrt (+ (exp x) (exp (- x))))) 0) (log (* (/ (sqrt (+ (exp x) (exp (- x)))) 2) (cos y))))
530.0ms	(+ (- (log (sqrt (+ (exp x) (exp (- x))))) 0) (+ (log (/ (sqrt (+ (exp x) (exp (- x)))) 2)) (log (cos y))))
496.0ms	(+ (- (log (sqrt (+ (exp x) (exp (- x))))) 0) (+ (- (log (sqrt (+ (exp x) (exp (- x))))) (log 2)) (log (cos y))))
458.0ms	(+ (- (log (sqrt (+ (exp x) (exp (- x))))) (log 1)) (+ (- (log (sqrt (+ (exp x) (exp (- x))))) (log 2)) (log (cos y))))

prune2.7s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize72.0ms

Local error

Found 4 expressions with local error:

19.7b	(- (exp x) (exp (- x)))
0.3b	(log (exp (* (/ (+ (exp x) (exp (- x))) 2) (cos y))))
0.1b	(exp (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))
0.1b	(* (/ (- (exp x) (exp (- x))) 2) (sin y))

rewrite90.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
19×	`associate-l`
16×	`times-frac`
15×	`add-cube-cbrt`
9×	`add-cbrt-cube` `add-exp-log` `add-log-exp`
7×	`pow1`
4×	`insert-posit16` `distribute-lft-out--` `difference-of-squares`
3×	`log-prod` `associate-r` `log-pow`
2×	`exp-prod` `exp-to-pow` `associate-*l/` `prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `sub-neg` `flip3--` `diff-log` `div-exp` `rem-log-exp` `pow-prod-down` `*-commutative` `div-inv` `flip--` `exp-sqrt` `rem-exp-log`

Counts

4 → 81

Calls

4 calls:

Slowest

45.0ms	(* (/ (- (exp x) (exp (- x))) 2) (sin y))
22.0ms	(log (exp (* (/ (+ (exp x) (exp (- x))) 2) (cos y))))
11.0ms	(exp (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))
10.0ms	(- (exp x) (exp (- x)))

series362.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

118.0ms	(exp (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))
101.0ms	(log (exp (* (/ (+ (exp x) (exp (- x))) 2) (cos y))))
91.0ms	(* (/ (- (exp x) (exp (- x))) 2) (sin y))
51.0ms	(- (exp x) (exp (- x)))

simplify5.8s

Counts

57 → 93

Calls

57 calls:

Slowest

897.0ms	(* (* (* (/ (- (exp x) (exp (- x))) 2) (/ (- (exp x) (exp (- x))) 2)) (/ (- (exp x) (exp (- x))) 2)) (* (* (sin y) (sin y)) (sin y)))
406.0ms	(exp (* 1/2 (* (+ (exp (* -1 x)) (exp x)) (cos y))))
355.0ms	(log (* (cbrt (exp (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))) (cbrt (exp (* (/ (+ (exp x) (exp (- x))) 2) (cos y))))))
350.0ms	(- (+ (* 1/2 (* (pow x 2) E)) E) (* 1/2 (* E (pow y 2))))
332.0ms	(log (sqrt (exp (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))))

prune1.5s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes143.0ms

Accuracy

0% (0.0b remaining)

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

bsearch5.0ms

end0.0ms

sample6.2s

Algorithm

halfpoints

Results