Details

Time bar (total: 1.7m)

sample494.0ms

Algorithm
halfpoints
Results

simplify216.0ms

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

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 41.7b

localize79.0ms

Local error

Found 3 expressions with local error:

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

rewrite140.0ms

Algorithm
rewrite-expression-head
Rules
47×add-sqr-sqrt
43×*-un-lft-identity
35×associate-*l*
29×times-frac add-cube-cbrt
13×add-cbrt-cube add-exp-log
9×prod-diff
7×pow1
6×associate-*r*
5×add-log-exp
4×prod-exp cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
3×expm1-log1p-u fma-neg insert-posit16 log1p-expm1-u 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 → 108
Calls
3 calls:
Slowest
59.0ms
(* (/ (+ (exp x) (exp (- x))) 2) (cos y))
56.0ms
(* (/ (- (exp x) (exp (- x))) 2) (sin y))
22.0ms
(- (exp x) (exp (- x)))

series268.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
108.0ms
(* (/ (- (exp x) (exp (- x))) 2) (sin y))
85.0ms
(* (/ (+ (exp x) (exp (- x))) 2) (cos y))
75.0ms
(- (exp x) (exp (- x)))

simplify16.1s

Counts
131 → 117
Calls
131 calls:
Slowest
1.2s
(* (* (* (/ (- (exp x) (exp (- x))) 2) (sin y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))
915.0ms
(* (* (* (/ (- (exp x) (exp (- x))) 2) (/ (- (exp x) (exp (- x))) 2)) (/ (- (exp x) (exp (- x))) 2)) (* (* (sin y) (sin y)) (sin y)))
582.0ms
(* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x))))
563.0ms
(* (* (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2) (cos y))) (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))
468.0ms
(* (* (* (/ (+ (exp x) (exp (- x))) 2) (/ (+ (exp x) (exp (- x))) 2)) (/ (+ (exp x) (exp (- x))) 2)) (* (* (cos y) (cos y)) (cos y)))

prune1.8s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize114.0ms

Local error

Found 4 expressions with local error:

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

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
32×associate-*l*
29×*-un-lft-identity
23×times-frac add-cube-cbrt
16×add-cbrt-cube add-exp-log
10×pow1
9×associate-*r*
5×prod-exp cbrt-unprod unswap-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow-prod-down *-commutative fma-udef distribute-lft-out
2×cbrt-undiv div-exp associate-*l/ div-inv
1×distribute-rgt-in distribute-lft-in
Counts
4 → 107
Calls
4 calls:
Slowest
69.0ms
(* (/ (+ (exp x) (exp (- x))) 2) (cos y))
24.0ms
(* (/ (fma 1/60 (pow x 5) (* x (fma 1/3 (* x x) 2))) 2) (sin y))
6.0ms
(* x (fma 1/3 (* x x) 2))
1.0ms
(fma 1/60 (pow x 5) (* x (fma 1/3 (* x x) 2)))

series417.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
119.0ms
(* (/ (fma 1/60 (pow x 5) (* x (fma 1/3 (* x x) 2))) 2) (sin y))
110.0ms
(fma 1/60 (pow x 5) (* x (fma 1/3 (* x x) 2)))
108.0ms
(* x (fma 1/3 (* x x) 2))
79.0ms
(* (/ (+ (exp x) (exp (- x))) 2) (cos y))

simplify21.7s

Counts
123 → 119
Calls
123 calls:
Slowest
857.0ms
(* (* (* x (fma 1/3 (* x x) 2)) (* x (fma 1/3 (* x x) 2))) (* x (fma 1/3 (* x x) 2)))
737.0ms
(* (* (* x x) x) (* (* (fma 1/3 (* x x) 2) (fma 1/3 (* x x) 2)) (fma 1/3 (* x x) 2)))
661.0ms
(* (* (* (/ (fma 1/60 (pow x 5) (* x (fma 1/3 (* x x) 2))) 2) (sin y)) (* (/ (fma 1/60 (pow x 5) (* x (fma 1/3 (* x x) 2))) 2) (sin y))) (* (/ (fma 1/60 (pow x 5) (* x (fma 1/3 (* x x) 2))) 2) (sin y)))
563.0ms
(sqrt (* (/ (fma 1/60 (pow x 5) (* x (fma 1/3 (* x x) 2))) 2) (sin y)))
540.0ms
(* (* (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2) (cos y))) (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))

prune2.5s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize131.0ms

Local error

Found 4 expressions with local error:

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

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
33×associate-*l*
32×*-un-lft-identity
26×add-cube-cbrt
23×times-frac
21×add-cbrt-cube add-exp-log
18×associate-*r*
15×pow1
8×prod-exp cbrt-unprod
7×sqrt-prod
6×pow-prod-down 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 → 122
Calls
4 calls:
Slowest
54.0ms
(* (/ (+ (exp x) (exp (- x))) 2) (cos y))
39.0ms
(* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (fma 1/3 (* x x) 2)))
24.0ms
(* (/ (fma 1/60 (pow x 5) (* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (fma 1/3 (* x x) 2)))) 2) (sin y))
15.0ms
(* x (sqrt (fma 1/3 (* x x) 2)))

series511.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
168.0ms
(* x (sqrt (fma 1/3 (* x x) 2)))
130.0ms
(* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (fma 1/3 (* x x) 2)))
124.0ms
(* (/ (fma 1/60 (pow x 5) (* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (fma 1/3 (* x x) 2)))) 2) (sin y))
90.0ms
(* (/ (+ (exp x) (exp (- x))) 2) (cos y))

simplify18.9s

Counts
136 → 134
Calls
136 calls:
Slowest
806.0ms
(* (* (* (/ (fma 1/60 (pow x 5) (* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (fma 1/3 (* x x) 2)))) 2) (sin y)) (* (/ (fma 1/60 (pow x 5) (* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (fma 1/3 (* x x) 2)))) 2) (sin y))) (* (/ (fma 1/60 (pow x 5) (* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (fma 1/3 (* x x) 2)))) 2) (sin y)))
611.0ms
(* (/ (fma 1/60 (pow x 5) (* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (fma 1/3 (* x x) 2)))) 2) (sqrt (sin y)))
492.0ms
(* (* (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2) (cos y))) (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))
474.0ms
(* (* (* (/ (+ (exp x) (exp (- x))) 2) (/ (+ (exp x) (exp (- x))) 2)) (/ (+ (exp x) (exp (- x))) 2)) (* (* (cos y) (cos y)) (cos y)))
368.0ms
(exp (* (/ (fma 1/60 (pow x 5) (* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (fma 1/3 (* x x) 2)))) 2) (sin y)))

prune2.7s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

localize145.0ms

Local error

Found 4 expressions with local error:

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

rewrite110.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
27×associate-*r*
25×add-cbrt-cube add-exp-log
22×pow1 sqrt-prod
21×*-un-lft-identity add-cube-cbrt
18×associate-*l*
12×prod-exp cbrt-unprod
11×pow-prod-down
10×times-frac
4×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
1×cbrt-undiv div-exp associate-*l/ div-inv
Counts
4 → 117
Calls
4 calls:
Slowest
68.0ms
(* (* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (sqrt (fma 1/3 (* x x) 2)))) (sqrt (sqrt (fma 1/3 (* x x) 2))))
20.0ms
(* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (sqrt (fma 1/3 (* x x) 2))))
12.0ms
(* (/ (fma 1/60 (pow x 5) (* (* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (sqrt (fma 1/3 (* x x) 2)))) (sqrt (sqrt (fma 1/3 (* x x) 2))))) 2) (sin y))
7.0ms
(* x (sqrt (fma 1/3 (* x x) 2)))

series655.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
296.0ms
(* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (sqrt (fma 1/3 (* x x) 2))))
130.0ms
(* x (sqrt (fma 1/3 (* x x) 2)))
118.0ms
(* (* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (sqrt (fma 1/3 (* x x) 2)))) (sqrt (sqrt (fma 1/3 (* x x) 2))))
111.0ms
(* (/ (fma 1/60 (pow x 5) (* (* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (sqrt (fma 1/3 (* x x) 2)))) (sqrt (sqrt (fma 1/3 (* x x) 2))))) 2) (sin y))

simplify19.7s

Counts
129 → 129
Calls
129 calls:
Slowest
662.0ms
(* (* (* (* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (sqrt (fma 1/3 (* x x) 2)))) (sqrt (sqrt (fma 1/3 (* x x) 2)))) (* (* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (sqrt (fma 1/3 (* x x) 2)))) (sqrt (sqrt (fma 1/3 (* x x) 2))))) (* (* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (sqrt (fma 1/3 (* x x) 2)))) (sqrt (sqrt (fma 1/3 (* x x) 2)))))
568.0ms
(* (* (* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (sqrt (fma 1/3 (* x x) 2)))) (* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (sqrt (fma 1/3 (* x x) 2))))) (* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (sqrt (fma 1/3 (* x x) 2)))))
452.0ms
(- (+ (* 9/2 (/ (exp (* 1/4 (- (log 1/27) (* 6 (log (/ -1 x)))))) x)) (* x (exp (* 1/4 (- (log 1/27) (* 6 (log (/ -1 x)))))))) (* 27/8 (/ (exp (* 1/4 (- (log 1/27) (* 6 (log (/ -1 x)))))) (pow x 3))))
400.0ms
(* (/ (fma 1/60 (pow x 5) (* (* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (sqrt (fma 1/3 (* x x) 2)))) (sqrt (sqrt (fma 1/3 (* x x) 2))))) 2) (* (cbrt (sin y)) (cbrt (sin y))))
370.0ms
(log1p (* (/ (fma 1/60 (pow x 5) (* (* (* x (sqrt (fma 1/3 (* x x) 2))) (sqrt (sqrt (fma 1/3 (* x x) 2)))) (sqrt (sqrt (fma 1/3 (* x x) 2))))) 2) (sin y)))

prune2.9s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

regimes140.0ms

Accuracy

0% (0.7b remaining)

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

bsearch4.0ms

end0.0ms

sample11.8s

Algorithm
halfpoints
Results