Details

Time bar (total: 37.8s)

sample517.0ms

Algorithm
halfpoints
Results

simplify2.2s

Counts
1 → 1

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 41.2b

localize70.0ms

Local error

Found 3 expressions with local error:

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

rewrite98.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
51.0ms
(* (/ (- (exp x) (exp (- x))) 2) (sin y))
35.0ms
(* (/ (+ (exp x) (exp (- x))) 2) (cos y))
10.0ms
(- (exp x) (exp (- x)))

series237.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
118.0ms
(* (/ (- (exp x) (exp (- x))) 2) (sin y))
61.0ms
(* (/ (+ (exp x) (exp (- x))) 2) (cos y))
58.0ms
(- (exp x) (exp (- x)))

simplify2.5s

Counts
99 → 99

prune1.3s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize124.0ms

Local error

Found 4 expressions with local error:

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

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
39×associate-*l*
31×*-un-lft-identity
25×add-cube-cbrt
24×add-exp-log
23×times-frac
21×add-cbrt-cube
13×pow1
10×associate-*r* prod-exp
8×cbrt-unprod unswap-sqr
5×pow-prod-down
4×unpow-prod-down *-commutative insert-posit16 add-log-exp
3×distribute-lft-out
2×cbrt-undiv div-exp associate-*l/ div-inv sqr-pow
1×pow-to-exp pow-exp
Counts
4 → 115
Calls
4 calls:
Slowest
46.0ms
(* (/ (+ (exp x) (exp (- x))) 2) (cos y))
37.0ms
(* (/ (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))) 2) (sin y))
25.0ms
(* 1/3 (* x x))
8.0ms
(* (pow x 5) 1/60)

series270.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
108.0ms
(* (/ (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))) 2) (sin y))
71.0ms
(* (/ (+ (exp x) (exp (- x))) 2) (cos y))
63.0ms
(* (pow x 5) 1/60)
28.0ms
(* 1/3 (* x x))

simplify918.0ms

Counts
127 → 127

prune2.2s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize120.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))))
0.6b
(cbrt (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))))
0.6b
(cbrt (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))))
0.5b
(* (cbrt (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2)))) (cbrt (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2)))))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
18×cbrt-div
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×flip3-+ pow1/3 flip-+
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×frac-times add-cbrt-cube insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 91
Calls
4 calls:
Slowest
71.0ms
(* (cbrt (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2)))) (cbrt (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2)))))
13.0ms
(cbrt (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))))
9.0ms
(cbrt (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))))
8.0ms
(cbrt (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
277.0ms
(* (cbrt (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2)))) (cbrt (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2)))))
272.0ms
(cbrt (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))))
268.0ms
(cbrt (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))))
255.0ms
(cbrt (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))))

simplify2.9s

Counts
103 → 103

prune2.7s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize133.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (/ (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))) 2))
0.6b
(cbrt (/ (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))) 2))
0.6b
(cbrt (/ (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))) 2))
0.5b
(* (cbrt (/ (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))) 2)) (cbrt (/ (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))) 2)))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
103×cbrt-prod
81×add-sqr-sqrt
69×times-frac
57×*-un-lft-identity add-cube-cbrt
16×swap-sqr associate-*r* associate-*l*
11×pow1
9×pow1/3 unswap-sqr
7×cbrt-div div-inv
6×add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 frac-times pow-plus associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod
Counts
4 → 148
Calls
4 calls:
Slowest
36.0ms
(* (cbrt (/ (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))) 2)) (cbrt (/ (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))) 2)))
6.0ms
(cbrt (/ (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))) 2))
6.0ms
(cbrt (/ (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))) 2))
5.0ms
(cbrt (/ (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))) 2))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
295.0ms
(cbrt (/ (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))) 2))
290.0ms
(* (cbrt (/ (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))) 2)) (cbrt (/ (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))) 2)))
286.0ms
(cbrt (/ (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))) 2))
249.0ms
(cbrt (/ (+ (* (pow x 5) 1/60) (* x (+ (* 1/3 (* x x)) 2))) 2))

simplify2.5s

Counts
160 → 160

prune4.2s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0.0b

regimes266.0ms

Accuracy

0% (0.7b remaining)

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

bsearch9.0ms

end0.0ms

sample12.1s

Algorithm
halfpoints
Results