Details

Time bar (total: 37.1s)

sample401.0ms

Algorithm
halfpoints

simplify1.1s

Counts
1 → 1
Iterations
IterNodes
done2148
82148
71410
6468
5192
4123
380
248
130
016

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 44.8b

localize83.0ms

Local error

Found 4 expressions with local error:

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

rewrite142.0ms

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt
47×*-un-lft-identity
35×associate-*l*
31×add-cube-cbrt
29×times-frac
14×add-cbrt-cube add-exp-log
9×prod-diff
8×pow1 add-log-exp
6×associate-*r*
4×expm1-log1p-u prod-exp cbrt-unprod insert-posit16 log1p-expm1-u distribute-lft-out distribute-lft-out-- difference-of-squares unswap-sqr
3×fma-def fma-neg
2×cbrt-undiv div-exp pow-prod-down associate-*l/ *-commutative div-inv
1×+-commutative sum-log sub-neg flip3-+ flip3-- diff-log flip-+ flip--
Counts
4 → 126
Calls
4 calls:
17.0ms
(+ (exp x) (exp (- x)))
62.0ms
(* (/ (+ (exp x) (exp (- x))) 2) (cos y))
48.0ms
(* (/ (- (exp x) (exp (- x))) 2) (sin y))
12.0ms
(- (exp x) (exp (- x)))

series283.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(+ (exp x) (exp (- x)))
88.0ms
(* (/ (+ (exp x) (exp (- x))) 2) (cos y))
109.0ms
(* (/ (- (exp x) (exp (- x))) 2) (sin y))
49.0ms
(- (exp x) (exp (- x)))

simplify1.5s

Counts
138 → 138
Iterations
IterNodes
done2000
32000
21872
1582
0232

prune1.9s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize121.0ms

Local error

Found 4 expressions with local error:

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

rewrite110.0ms

Algorithm
rewrite-expression-head
Rules
34×pow1
23×add-cbrt-cube add-exp-log
21×add-sqr-sqrt
17×*-un-lft-identity
15×associate-*l* add-cube-cbrt
11×prod-exp cbrt-unprod
10×times-frac pow-prod-down
9×associate-*r*
6×pow-plus pow-prod-up add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×fma-def *-commutative unswap-sqr
2×pow2 pow-sqr
1×cbrt-undiv +-commutative sum-log flip3-+ div-exp pow3 associate-*l/ flip-+ div-inv distribute-lft-out
Counts
4 → 108
Calls
4 calls:
20.0ms
(+ (exp x) (exp (- x)))
17.0ms
(* (* x x) x)
51.0ms
(* (* (* x x) x) 1/3)
19.0ms
(* (/ (fma x 2 (fma (pow x 5) 1/60 (* (* (* x x) x) 1/3))) 2) (sin y))

series292.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(+ (exp x) (exp (- x)))
47.0ms
(* (* x x) x)
71.0ms
(* (* (* x x) x) 1/3)
143.0ms
(* (/ (fma x 2 (fma (pow x 5) 1/60 (* (* (* x x) x) 1/3))) 2) (sin y))

simplify1.3s

Counts
120 → 120
Iterations
IterNodes
done2005
32005
21428
1441
0183

prune2.5s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize178.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (fma x 2 (fma 1/60 (* x (* (* x x) (* x x))) (* 1/3 (* (* x x) x)))) (/ (sqrt 2) (sin y)))
0.4b
(* (/ 1 (sqrt 2)) (/ (fma x 2 (fma 1/60 (* x (* (* x x) (* x x))) (* 1/3 (* (* x x) x)))) (/ (sqrt 2) (sin y))))
0.5b
(/ (sqrt 2) (sin y))
1.0b
(/ 1 (sqrt 2))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
353×times-frac
257×add-sqr-sqrt
192×*-un-lft-identity
184×add-cube-cbrt
109×sqrt-prod
71×associate-*r*
54×add-exp-log
34×add-cbrt-cube
31×associate-/r*
24×div-exp
22×associate-*l*
20×unswap-sqr
14×cbrt-undiv
12×prod-exp div-inv associate-/l*
8×pow1
6×cbrt-unprod
4×expm1-log1p-u rec-exp 1-exp insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg pow-flip
2×associate-/r/
1×frac-times sqrt-pow1 pow1/2 pow-prod-down associate-*l/ associate-*r/ *-commutative inv-pow
Counts
4 → 345
Calls
4 calls:
15.0ms
(/ (fma x 2 (fma 1/60 (* x (* (* x x) (* x x))) (* 1/3 (* (* x x) x)))) (/ (sqrt 2) (sin y)))
23.0ms
(* (/ 1 (sqrt 2)) (/ (fma x 2 (fma 1/60 (* x (* (* x x) (* x x))) (* 1/3 (* (* x x) x)))) (/ (sqrt 2) (sin y))))
6.0ms
(/ (sqrt 2) (sin y))
5.0ms
(/ 1 (sqrt 2))

series644.0ms

Counts
4 → 10
Calls
4 calls:
230.0ms
(/ (fma x 2 (fma 1/60 (* x (* (* x x) (* x x))) (* 1/3 (* (* x x) x)))) (/ (sqrt 2) (sin y)))
355.0ms
(* (/ 1 (sqrt 2)) (/ (fma x 2 (fma 1/60 (* x (* (* x x) (* x x))) (* 1/3 (* (* x x) x)))) (/ (sqrt 2) (sin y))))
59.0ms
(/ (sqrt 2) (sin y))
0.0ms
(/ 1 (sqrt 2))

simplify1.5s

Counts
355 → 355
Iterations
IterNodes
done2001
22001
11353
0440

prune7.8s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize113.0ms

Local error

Found 4 expressions with local error:

0.1b
(* x (* x x))
0.1b
(* (* x (* x x)) 1/3)
0.1b
(/ 2 (sin y))
0.2b
(/ (fma x 2 (fma 1/60 (* (* x (* x x)) (* x x)) (* (* x (* x x)) 1/3))) (/ 2 (sin y)))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
57×add-sqr-sqrt
56×*-un-lft-identity add-cube-cbrt
27×pow1
25×add-cbrt-cube add-exp-log
16×associate-/r*
9×pow-prod-down prod-exp cbrt-unprod
6×div-inv associate-/l*
5×pow-prod-up
4×expm1-log1p-u cbrt-undiv div-exp associate-*r* associate-*l* insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg *-commutative
1×pow2 pow-plus cube-unmult associate-/r/ pow-sqr unswap-sqr
Counts
4 → 154
Calls
4 calls:
16.0ms
(* x (* x x))
41.0ms
(* (* x (* x x)) 1/3)
8.0ms
(/ 2 (sin y))
15.0ms
(/ (fma x 2 (fma 1/60 (* (* x (* x x)) (* x x)) (* (* x (* x x)) 1/3))) (/ 2 (sin y)))

series300.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(* x (* x x))
49.0ms
(* (* x (* x x)) 1/3)
30.0ms
(/ 2 (sin y))
149.0ms
(/ (fma x 2 (fma 1/60 (* (* x (* x x)) (* x x)) (* (* x (* x x)) 1/3))) (/ 2 (sin y)))

simplify1.6s

Counts
166 → 166
Iterations
IterNodes
done2000
22000
1591
0249

prune3.0s

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.0b

regimes202.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify9.0ms

Iterations
IterNodes
done29
129
024

end0.0ms

sample11.9s

Algorithm
halfpoints