Details

Time bar (total: 38.4s)

sample515.0ms

Algorithm
halfpoints
Results

simplify3.8s

Counts
1 → 1

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 39.3b

localize86.0ms

Local error

Found 4 expressions with local error:

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

rewrite145.0ms

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt
47×*-un-lft-identity
35×associate-*l*
31×add-cube-cbrt
29×times-frac
14×add-cbrt-cube add-exp-log
9×prod-diff
8×pow1 add-log-exp
6×associate-*r*
4×expm1-log1p-u prod-exp cbrt-unprod insert-posit16 log1p-expm1-u distribute-lft-out distribute-lft-out-- difference-of-squares unswap-sqr
3×fma-def fma-neg
2×cbrt-undiv div-exp pow-prod-down associate-*l/ *-commutative div-inv
1×+-commutative sum-log sub-neg flip3-+ flip3-- diff-log flip-+ flip--
Counts
4 → 126
Calls
4 calls:
Slowest
54.0ms
(* (/ (- (exp x) (exp (- x))) 2) (sin y))
43.0ms
(* (/ (+ (exp x) (exp (- x))) 2) (cos y))
25.0ms
(- (exp x) (exp (- x)))
20.0ms
(+ (exp x) (exp (- x)))

series278.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
114.0ms
(* (/ (- (exp x) (exp (- x))) 2) (sin y))
75.0ms
(* (/ (+ (exp x) (exp (- x))) 2) (cos y))
45.0ms
(- (exp x) (exp (- x)))
44.0ms
(+ (exp x) (exp (- x)))

simplify662.0ms

Counts
138 → 138

prune1.9s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize100.0ms

Local error

Found 4 expressions with local error:

0.4b
(* x 1/3)
0.1b
(* (/ (fma x 2 (fma (pow x 5) 1/60 (* (* x x) (* x 1/3)))) 2) (sin y))
0.1b
(* (* x x) (* x 1/3))
0.0b
(* (/ (+ (exp x) (exp (- x))) 2) (cos y))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
33×associate-*l*
29×*-un-lft-identity
28×add-cbrt-cube add-exp-log
23×times-frac add-cube-cbrt
22×pow1
13×prod-exp cbrt-unprod
11×pow-prod-down
10×associate-*r*
5×unswap-sqr
4×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp
3×distribute-lft-out
2×cbrt-undiv div-exp associate-*l/ div-inv
Counts
4 → 119
Calls
4 calls:
Slowest
40.0ms
(* (/ (+ (exp x) (exp (- x))) 2) (cos y))
22.0ms
(* (* x x) (* x 1/3))
13.0ms
(* (/ (fma x 2 (fma (pow x 5) 1/60 (* (* x x) (* x 1/3)))) 2) (sin y))
6.0ms
(* x 1/3)

series322.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
142.0ms
(* (/ (fma x 2 (fma (pow x 5) 1/60 (* (* x x) (* x 1/3)))) 2) (sin y))
82.0ms
(* (* x x) (* x 1/3))
77.0ms
(* (/ (+ (exp x) (exp (- x))) 2) (cos y))
20.0ms
(* x 1/3)

simplify745.0ms

Counts
131 → 131

prune2.5s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize117.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ 1 (sqrt 2))
0.5b
(/ (fma x 2 (fma (pow x 5) 1/60 (* (* x x) (* x 1/3)))) (sqrt 2))
0.4b
(* x 1/3)
0.3b
(* (/ 1 (sqrt 2)) (* (/ (fma x 2 (fma (pow x 5) 1/60 (* (* x x) (* x 1/3)))) (sqrt 2)) (sin y)))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
54×times-frac
51×add-sqr-sqrt add-exp-log
49×*-un-lft-identity add-cube-cbrt
33×sqrt-prod
31×add-cbrt-cube
25×associate-*l*
21×prod-exp
13×pow1 div-exp
12×associate-/r*
11×cbrt-unprod
7×cbrt-undiv
6×associate-/l*
4×expm1-log1p-u rec-exp 1-exp associate-*r* pow-prod-down insert-posit16 log1p-expm1-u add-log-exp
3×associate-*l/ div-inv pow-flip
2×clear-num frac-2neg *-commutative
1×frac-times sqrt-pow1 pow1/2 associate-*r/ inv-pow unswap-sqr
Counts
4 → 168
Calls
4 calls:
Slowest
53.0ms
(* (/ 1 (sqrt 2)) (* (/ (fma x 2 (fma (pow x 5) 1/60 (* (* x x) (* x 1/3)))) (sqrt 2)) (sin y)))
20.0ms
(/ 1 (sqrt 2))
12.0ms
(/ (fma x 2 (fma (pow x 5) 1/60 (* (* x x) (* x 1/3)))) (sqrt 2))
11.0ms
(* x 1/3)

series462.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
263.0ms
(* (/ 1 (sqrt 2)) (* (/ (fma x 2 (fma (pow x 5) 1/60 (* (* x x) (* x 1/3)))) (sqrt 2)) (sin y)))
183.0ms
(/ (fma x 2 (fma (pow x 5) 1/60 (* (* x x) (* x 1/3)))) (sqrt 2))
16.0ms
(* x 1/3)
0.0ms
(/ 1 (sqrt 2))

simplify1.0s

Counts
178 → 178

prune4.3s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize167.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt 2)))
0.4b
(* x 1/3)
0.3b
(/ (* (sin y) (fma x 2 (fma (pow x 5) 1/60 (* (* x 1/3) (* x x))))) (sqrt 2))
0.3b
(* (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt 2))) (/ (/ (* (sin y) (fma x 2 (fma (pow x 5) 1/60 (* (* x 1/3) (* x x))))) (sqrt 2)) (sqrt (sqrt 2))))

rewrite104.0ms

Algorithm
rewrite-expression-head
Rules
192×times-frac
174×sqrt-prod
124×add-sqr-sqrt
97×associate-*r*
78×*-un-lft-identity add-cube-cbrt
70×add-exp-log
60×add-cbrt-cube
27×cbrt-undiv div-exp
22×prod-exp cbrt-unprod
17×unswap-sqr
16×associate-*l*
15×associate-/r*
13×div-inv
8×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg pow-prod-down *-commutative associate-/l*
1×frac-times associate-*l/ associate-*r/
Counts
4 → 249
Calls
4 calls:
Slowest
61.0ms
(* (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt 2))) (/ (/ (* (sin y) (fma x 2 (fma (pow x 5) 1/60 (* (* x 1/3) (* x x))))) (sqrt 2)) (sqrt (sqrt 2))))
16.0ms
(/ (* (sin y) (fma x 2 (fma (pow x 5) 1/60 (* (* x 1/3) (* x x))))) (sqrt 2))
12.0ms
(/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt 2)))
6.0ms
(* x 1/3)

series816.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
424.0ms
(* (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt 2))) (/ (/ (* (sin y) (fma x 2 (fma (pow x 5) 1/60 (* (* x 1/3) (* x x))))) (sqrt 2)) (sqrt (sqrt 2))))
359.0ms
(/ (* (sin y) (fma x 2 (fma (pow x 5) 1/60 (* (* x 1/3) (* x x))))) (sqrt 2))
33.0ms
(* x 1/3)
0.0ms
(/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt 2)))

simplify850.0ms

Counts
259 → 259

prune7.3s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes215.0ms

Accuracy

0% (0.8b remaining)

Error of 0.8b against oracle of 0.1b and baseline of 0.8b

bsearch10.0ms

end0.0ms

sample11.7s

Algorithm
halfpoints
Results