Details

Time bar (total: 25.4s)

sample347.0ms

Algorithm
halfpoints
Results

simplify160.0ms

Calls
1 calls:
Slowest
159.0ms
(im (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y))))

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 44.3b

localize83.0ms

Local error

Found 4 expressions with local error:

58.5b
(- (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)))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
12×*-un-lft-identity
10×add-sqr-sqrt
8×pow1 add-cbrt-cube associate-*l* add-exp-log add-cube-cbrt add-log-exp
6×associate-*r*
4×insert-posit16
2×pow-prod-down associate-*l/ prod-exp *-commutative cbrt-unprod div-inv
1×+-commutative sum-log sub-neg flip3-+ flip3-- diff-log flip-+ flip-- distribute-lft-out distribute-lft-out-- difference-of-squares
Calls
4 calls:
Slowest
27.0ms
(* (/ (+ (exp x) (exp (- x))) 2) (cos y))
19.0ms
(* (/ (- (exp x) (exp (- x))) 2) (sin y))
9.0ms
(+ (exp x) (exp (- x)))
9.0ms
(- (exp x) (exp (- x)))

series242.0ms

Calls
4 calls:
Slowest
84.0ms
(* (/ (- (exp x) (exp (- x))) 2) (sin y))
63.0ms
(- (exp x) (exp (- x)))
60.0ms
(* (/ (+ (exp x) (exp (- x))) 2) (cos y))
34.0ms
(+ (exp x) (exp (- x)))

simplify3.0s

Calls
38 calls:
Slowest
718.0ms
(* (* (* (/ (- (exp x) (exp (- x))) 2) (/ (- (exp x) (exp (- x))) 2)) (/ (- (exp x) (exp (- x))) 2)) (* (* (sin y) (sin y)) (sin y)))
370.0ms
(* (* (* (/ (+ (exp x) (exp (- x))) 2) (/ (+ (exp x) (exp (- x))) 2)) (/ (+ (exp x) (exp (- x))) 2)) (* (* (cos y) (cos y)) (cos y)))
252.0ms
(* 1/2 (* (- (exp x) (exp (- x))) (sin y)))
187.0ms
(* 1/2 (* (- (exp x) (exp (* -1 x))) (sin y)))
156.0ms
(* 1/2 (* (+ (exp (* -1 x)) (exp x)) (cos y)))

prune939.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize49.0ms

Local error

Found 4 expressions with local error:

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

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt *-un-lft-identity associate-*l* add-cube-cbrt
6×pow1 add-cbrt-cube add-exp-log
4×associate-*r* *-commutative insert-posit16 add-log-exp
1×pow-prod-down associate-*l/ prod-exp cbrt-unprod div-inv
Calls
4 calls:
Slowest
8.0ms
(* (/ (+ (* (pow x 5) 1/60) (* x (+ (* x (* 1/3 x)) 2))) 2) (sin y))
2.0ms
(* (pow x 5) 1/60)
1.0ms
(* x (* 1/3 x))
0.0ms
(* 1/3 x)

series99.0ms

Calls
4 calls:
Slowest
60.0ms
(* (/ (+ (* (pow x 5) 1/60) (* x (+ (* x (* 1/3 x)) 2))) 2) (sin y))
19.0ms
(* (pow x 5) 1/60)
12.0ms
(* x (* 1/3 x))
7.0ms
(* 1/3 x)

simplify1.2s

Calls
24 calls:
Slowest
222.0ms
(* (+ (* (pow x 5) 1/60) (* x (+ (* x (* 1/3 x)) 2))) (sin y))
136.0ms
(* (/ (+ (* (pow x 5) 1/60) (* x (+ (* x (* 1/3 x)) 2))) 2) (sin y))
129.0ms
(+ (* 1/120 (* (pow x 5) (sin y))) (* 1/6 (* (pow x 3) (sin y))))
121.0ms
(* (* (* (/ (+ (* (pow x 5) 1/60) (* x (+ (* x (* 1/3 x)) 2))) 2) (/ (+ (* (pow x 5) 1/60) (* x (+ (* x (* 1/3 x)) 2))) 2)) (/ (+ (* (pow x 5) 1/60) (* x (+ (* x (* 1/3 x)) 2))) 2)) (* (* (sin y) (sin y)) (sin y)))
120.0ms
(+ (* 1/120 (* (pow x 5) (sin y))) (* 1/6 (* (pow x 3) (sin y))))

prune1.0s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (sin y))
0.6b
(cbrt (sin y))
0.6b
(cbrt (sin y))
0.5b
(* (cbrt (sin y)) (cbrt (sin y)))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
15×cbrt-prod
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow1
7×pow1/3
6×associate-*r* associate-*l* add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp
2×pow-prod-down pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
5.0ms
(* (cbrt (sin y)) (cbrt (sin y)))
1.0ms
(cbrt (sin y))
1.0ms
(cbrt (sin y))
1.0ms
(cbrt (sin y))

series561.0ms

Calls
4 calls:
Slowest
165.0ms
(cbrt (sin y))
144.0ms
(cbrt (sin y))
126.0ms
(cbrt (sin y))
125.0ms
(* (cbrt (sin y)) (cbrt (sin y)))

simplify525.0ms

Calls
41 calls:
Slowest
111.0ms
(- (pow y 1/3) (+ (* 1/18 (pow (pow y 7) 1/3)) (* 1/3240 (pow (pow y 13) 1/3))))
105.0ms
(- (pow y 1/3) (+ (* 1/18 (pow (pow y 7) 1/3)) (* 1/3240 (pow (pow y 13) 1/3))))
87.0ms
(- (pow y 1/3) (+ (* 1/18 (pow (pow y 7) 1/3)) (* 1/3240 (pow (pow y 13) 1/3))))
72.0ms
(- (+ (pow y 2/3) (* 1/405 (pow (pow y 14) 1/3))) (* 1/9 (pow (pow y 8) 1/3)))
10.0ms
(pow (pow (sin y) 2) 1/3)

prune1.5s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (sin y))
0.6b
(cbrt (sin y))
0.6b
(cbrt (sin y))
0.6b
(cbrt (sin y))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 add-log-exp
Calls
4 calls:
Slowest
1.0ms
(cbrt (sin y))
1.0ms
(cbrt (sin y))
1.0ms
(cbrt (sin y))
1.0ms
(cbrt (sin y))

series608.0ms

Calls
4 calls:
Slowest
170.0ms
(cbrt (sin y))
163.0ms
(cbrt (sin y))
149.0ms
(cbrt (sin y))
127.0ms
(cbrt (sin y))

simplify591.0ms

Calls
24 calls:
Slowest
146.0ms
(- (pow y 1/3) (+ (* 1/18 (pow (pow y 7) 1/3)) (* 1/3240 (pow (pow y 13) 1/3))))
118.0ms
(- (pow y 1/3) (+ (* 1/18 (pow (pow y 7) 1/3)) (* 1/3240 (pow (pow y 13) 1/3))))
115.0ms
(- (pow y 1/3) (+ (* 1/18 (pow (pow y 7) 1/3)) (* 1/3240 (pow (pow y 13) 1/3))))
97.0ms
(- (pow y 1/3) (+ (* 1/18 (pow (pow y 7) 1/3)) (* 1/3240 (pow (pow y 13) 1/3))))
8.0ms
(cbrt (* (cbrt (sin y)) (cbrt (sin y))))

prune1.3s

Pruning

13 alts after pruning (10 fresh and 3 done)

Merged error: 0.0b

regimes385.0ms

Accuracy

0% (0.6b remaining)

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

bsearch9.0ms

end0.0ms

sample12.6s

Algorithm
halfpoints
Results