Details

Time bar (total: 35.7s)

sample209.0ms

Algorithm
halfpoints
Results

simplify160.0ms

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (/ (cos y) (exp x)) (* (cos y) (exp x)))
0.0b
(/ (cos y) (exp x))
0.0b
(* (cos y) (exp x))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
7×add-cbrt-cube
5×pow1 add-exp-log add-log-exp
3×associate-/r* associate-*r* associate-*l* insert-posit16 associate-/l*
2×div-inv
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg flip3-+ div-exp pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ distribute-lft-out
Calls
3 calls:
Slowest
21.0ms
(+ (/ (cos y) (exp x)) (* (cos y) (exp x)))
9.0ms
(* (cos y) (exp x))
8.0ms
(/ (cos y) (exp x))

series193.0ms

Calls
3 calls:
Slowest
121.0ms
(+ (/ (cos y) (exp x)) (* (cos y) (exp x)))
42.0ms
(* (cos y) (exp x))
30.0ms
(/ (cos y) (exp x))

simplify904.0ms

Calls
45 calls:
Slowest
177.0ms
(/ (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x)))
145.0ms
(- 1 (+ (* 1/2 (pow y 2)) x))
126.0ms
(* (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x)))
72.0ms
(- (+ x 1) (* 1/2 (pow y 2)))
53.0ms
(/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (exp x)) (cbrt (exp x))))

prune679.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

17.3b
(- (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (/ (cos y) (exp x)) (* (cos y) (exp x))))
0.5b
(/ (+ (pow (/ (cos y) (exp x)) 3) (pow (* (cos y) (exp x)) 3)) (+ (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (- (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (/ (cos y) (exp x)) (* (cos y) (exp x))))))
0.4b
(pow (/ (cos y) (exp x)) 3)
0.4b
(pow (* (cos y) (exp x)) 3)

rewrite182.0ms

Algorithm
rewrite-expression-head
Rules
45×times-frac
40×*-un-lft-identity
32×add-sqr-sqrt add-cube-cbrt
30×unpow-prod-down cube-prod
20×distribute-lft-out
19×div-inv
12×add-cbrt-cube
10×add-exp-log
9×associate-/l*
8×pow1 associate-/r/
6×frac-add add-log-exp
4×flip3-- pow-exp sum-cubes insert-posit16 flip-- rem-cube-cbrt
3×associate-/r* pow-pow
2×cube-mult frac-times pow-to-exp cbrt-undiv flip3-+ unpow3 div-exp associate-*l/ associate-*r/ flip-+ associate-/l/
1×cube-div clear-num sub-neg frac-2neg distribute-rgt-out-- diff-log pow-prod-down prod-exp cbrt-unprod
Calls
4 calls:
Slowest
145.0ms
(/ (+ (pow (/ (cos y) (exp x)) 3) (pow (* (cos y) (exp x)) 3)) (+ (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (- (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (/ (cos y) (exp x)) (* (cos y) (exp x))))))
28.0ms
(- (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (/ (cos y) (exp x)) (* (cos y) (exp x))))
4.0ms
(pow (* (cos y) (exp x)) 3)
3.0ms
(pow (/ (cos y) (exp x)) 3)

series479.0ms

Calls
4 calls:
Slowest
290.0ms
(/ (+ (pow (/ (cos y) (exp x)) 3) (pow (* (cos y) (exp x)) 3)) (+ (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (- (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (/ (cos y) (exp x)) (* (cos y) (exp x))))))
96.0ms
(- (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (/ (cos y) (exp x)) (* (cos y) (exp x))))
53.0ms
(pow (/ (cos y) (exp x)) 3)
40.0ms
(pow (* (cos y) (exp x)) 3)

simplify23.6s

Calls
131 calls:
Slowest
1.4s
(/ (* (* (+ (pow (/ (cos y) (exp x)) 3) (pow (* (cos y) (exp x)) 3)) (+ (pow (/ (cos y) (exp x)) 3) (pow (* (cos y) (exp x)) 3))) (+ (pow (/ (cos y) (exp x)) 3) (pow (* (cos y) (exp x)) 3))) (* (* (+ (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (- (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (/ (cos y) (exp x)) (* (cos y) (exp x))))) (+ (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (- (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (/ (cos y) (exp x)) (* (cos y) (exp x)))))) (+ (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (- (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (/ (cos y) (exp x)) (* (cos y) (exp x)))))))
587.0ms
(pow (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (exp x)) (cbrt (exp x)))) 3)
526.0ms
(pow (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (exp x)) (cbrt (exp x)))) 3)
491.0ms
(pow (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) 3)
443.0ms
(pow (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) 3)

prune2.1s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes100.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample6.9s

Algorithm
halfpoints
Results