Details

Time bar (total: 34.9s)

sample467.0ms

Algorithm
halfpoints
Results

simplify3.4s

Counts
1 → 1

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 45.3b

localize75.0ms

Local error

Found 2 expressions with local error:

58.7b
(- (exp x) (exp (- x)))
0.1b
(* (/ (- (exp x) (exp (- x))) 2) (sin y))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
27×*-un-lft-identity
19×associate-*l* add-cube-cbrt
16×times-frac
9×prod-diff
7×add-cbrt-cube add-exp-log
4×pow1 distribute-lft-out-- add-log-exp difference-of-squares
3×fma-neg associate-*r*
2×expm1-log1p-u prod-exp cbrt-unprod insert-posit16 log1p-expm1-u unswap-sqr
1×cbrt-undiv sub-neg flip3-- diff-log div-exp pow-prod-down associate-*l/ *-commutative div-inv flip--
Counts
2 → 70
Calls
2 calls:
Slowest
51.0ms
(* (/ (- (exp x) (exp (- x))) 2) (sin y))
12.0ms
(- (exp x) (exp (- x)))

series192.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
126.0ms
(* (/ (- (exp x) (exp (- x))) 2) (sin y))
66.0ms
(- (exp x) (exp (- x)))

simplify1.2s

Counts
76 → 76

prune1.1s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize129.0ms

Local error

Found 3 expressions with local error:

0.2b
(* 1/3 (* x x))
0.1b
(* (/ (fma (pow x 5) 1/60 (* x (+ 2 (* 1/3 (* x x))))) 2) (sin y))
0.0b
(* x (+ 2 (* 1/3 (* x x))))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
19×associate-*l*
15×add-cbrt-cube add-exp-log
14×*-un-lft-identity add-cube-cbrt
12×pow1
10×times-frac
7×associate-*r*
6×prod-exp cbrt-unprod
5×pow-prod-down
4×unswap-sqr
3×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp
2×associate-*r/
1×distribute-rgt-in cbrt-undiv distribute-lft-in flip3-+ div-exp associate-*l/ flip-+ div-inv
Counts
3 → 82
Calls
3 calls:
Slowest
25.0ms
(* 1/3 (* x x))
15.0ms
(* x (+ 2 (* 1/3 (* x x))))
13.0ms
(* (/ (fma (pow x 5) 1/60 (* x (+ 2 (* 1/3 (* x x))))) 2) (sin y))

series255.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
118.0ms
(* (/ (fma (pow x 5) 1/60 (* x (+ 2 (* 1/3 (* x x))))) 2) (sin y))
106.0ms
(* x (+ 2 (* 1/3 (* x x))))
31.0ms
(* 1/3 (* x x))

simplify2.7s

Counts
91 → 91

prune1.7s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize179.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (* x (sqrt (+ 2 (* 1/3 (* x x))))) (sqrt (+ 2 (* 1/3 (* x x)))))
0.4b
(* x (sqrt (+ 2 (* 1/3 (* x x)))))
0.2b
(* 1/3 (* x x))
0.2b
(* 1/3 (* x x))

rewrite93.0ms

Algorithm
rewrite-expression-head
Rules
21×pow1 add-cbrt-cube add-exp-log
17×add-sqr-sqrt
14×sqrt-div associate-*r*
11×*-un-lft-identity add-cube-cbrt
10×associate-*l* pow-prod-down prod-exp associate-*r/ cbrt-unprod
7×flip3-+ sqrt-prod flip-+
4×expm1-log1p-u frac-times *-commutative insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×associate-*l/
Counts
4 → 103
Calls
4 calls:
Slowest
37.0ms
(* (* x (sqrt (+ 2 (* 1/3 (* x x))))) (sqrt (+ 2 (* 1/3 (* x x)))))
25.0ms
(* x (sqrt (+ 2 (* 1/3 (* x x)))))
17.0ms
(* 1/3 (* x x))
13.0ms
(* 1/3 (* x x))

series396.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
155.0ms
(* x (sqrt (+ 2 (* 1/3 (* x x)))))
145.0ms
(* (* x (sqrt (+ 2 (* 1/3 (* x x))))) (sqrt (+ 2 (* 1/3 (* x x)))))
49.0ms
(* 1/3 (* x x))
48.0ms
(* 1/3 (* x x))

simplify1.9s

Counts
115 → 115

prune2.9s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

localize180.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (/ (* x (sqrt (- (* 2 2) (* (* 1/3 (* x x)) (* 1/3 (* x x)))))) (sqrt (- 2 (* 1/3 (* x x))))) (sqrt (+ 2 (* 1/3 (* x x)))))
0.4b
(/ (* x (sqrt (- (* 2 2) (* (* 1/3 (* x x)) (* 1/3 (* x x)))))) (sqrt (- 2 (* 1/3 (* x x)))))
0.2b
(* 1/3 (* x x))
0.2b
(* 1/3 (* x x))

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
28×add-cbrt-cube add-exp-log
21×add-sqr-sqrt
18×associate-*l*
16×pow1
15×*-un-lft-identity add-cube-cbrt
13×sqrt-prod
12×times-frac
11×prod-exp cbrt-unprod
10×sqrt-div
8×associate-*r*
7×pow-prod-down
6×associate-/r*
4×expm1-log1p-u cbrt-undiv div-exp associate-*r/ associate-/r/ insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×flip3-- *-commutative flip--
2×frac-times flip3-+ flip-+ div-inv associate-/l/
1×clear-num frac-2neg associate-*l/ associate-/l*
Counts
4 → 121
Calls
4 calls:
Slowest
62.0ms
(* (/ (* x (sqrt (- (* 2 2) (* (* 1/3 (* x x)) (* 1/3 (* x x)))))) (sqrt (- 2 (* 1/3 (* x x))))) (sqrt (+ 2 (* 1/3 (* x x)))))
24.0ms
(/ (* x (sqrt (- (* 2 2) (* (* 1/3 (* x x)) (* 1/3 (* x x)))))) (sqrt (- 2 (* 1/3 (* x x)))))
14.0ms
(* 1/3 (* x x))
14.0ms
(* 1/3 (* x x))

series924.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
517.0ms
(* (/ (* x (sqrt (- (* 2 2) (* (* 1/3 (* x x)) (* 1/3 (* x x)))))) (sqrt (- 2 (* 1/3 (* x x))))) (sqrt (+ 2 (* 1/3 (* x x)))))
294.0ms
(/ (* x (sqrt (- (* 2 2) (* (* 1/3 (* x x)) (* 1/3 (* x x)))))) (sqrt (- 2 (* 1/3 (* x x)))))
58.0ms
(* 1/3 (* x x))
54.0ms
(* 1/3 (* x x))

simplify825.0ms

Counts
133 → 133

prune3.7s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

regimes240.0ms

Accuracy

0% (0.8b remaining)

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

bsearch13.0ms

end0.0ms

sample12.1s

Algorithm
halfpoints
Results