Details

Time bar (total: 1.1m)

sample444.0ms

Algorithm
halfpoints

simplify1.9s

Counts
1 → 1
Iterations
IterNodes
92152
81713
71067
6419
5176
4113
380
248
130
016

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 40.7b

localize90.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))
57.6b
(- (exp x) (exp (- x)))

rewrite164.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
39×*-un-lft-identity
35×associate-*l*
29×times-frac
23×add-cube-cbrt
14×add-cbrt-cube add-exp-log
8×pow1 add-log-exp
6×associate-*r*
4×prod-exp cbrt-unprod insert-posit16 distribute-lft-out distribute-lft-out-- difference-of-squares unswap-sqr
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 → 103
Calls
4 calls:
19.0ms
(+ (exp x) (exp (- x)))
75.0ms
(* (/ (+ (exp x) (exp (- x))) 2) (cos y))
53.0ms
(* (/ (- (exp x) (exp (- x))) 2) (sin y))
13.0ms
(- (exp x) (exp (- x)))

series282.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(+ (exp x) (exp (- x)))
73.0ms
(* (/ (+ (exp x) (exp (- x))) 2) (cos y))
114.0ms
(* (/ (- (exp x) (exp (- x))) 2) (sin y))
58.0ms
(- (exp x) (exp (- x)))

simplify2.2s

Counts
115 → 115
Iterations
IterNodes
34921
21612
1516
0200

prune1.5s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize147.0ms

Local error

Found 4 expressions with local error:

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

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
22×associate-*l*
21×add-exp-log
18×*-un-lft-identity add-cbrt-cube add-cube-cbrt
14×associate-*r*
13×pow1
10×times-frac
9×prod-exp
7×cbrt-unprod unswap-sqr
5×pow-prod-down
4×unpow-prod-down *-commutative insert-posit16 add-log-exp
2×associate-*r/ sqr-pow
1×distribute-rgt-in pow-to-exp cbrt-undiv distribute-lft-in flip3-+ div-exp associate-*l/ pow-exp flip-+ div-inv
Counts
4 → 102
Calls
4 calls:
22.0ms
(* x (+ 2 (* 1/3 (* x x))))
15.0ms
(* 1/60 (pow x 5))
54.0ms
(* (/ (+ (* x (+ 2 (* 1/3 (* x x)))) (* 1/60 (pow x 5))) 2) (sin y))
26.0ms
(* 1/3 (* x x))

series368.0ms

Counts
4 → 12
Calls
4 calls:
121.0ms
(* x (+ 2 (* 1/3 (* x x))))
64.0ms
(* 1/60 (pow x 5))
132.0ms
(* (/ (+ (* x (+ 2 (* 1/3 (* x x)))) (* 1/60 (pow x 5))) 2) (sin y))
50.0ms
(* 1/3 (* x x))

simplify4.4s

Counts
114 → 114
Iterations
IterNodes
38247
21757
1507
0195

prune2.3s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize168.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 1/3 x)
0.4b
(* (/ 1 (sqrt 2)) (/ (+ (+ (* 1/60 (* (* x x) (* x (* x x)))) (* (* x x) (* 1/3 x))) (* x 2)) (/ (sqrt 2) (sin y))))
0.4b
(/ (sqrt 2) (sin y))
1.0b
(/ 1 (sqrt 2))

rewrite2.1s

Algorithm
rewrite-expression-head
Rules
215×times-frac
186×add-sqr-sqrt
119×*-un-lft-identity
111×add-cube-cbrt
74×associate-*r*
73×sqrt-prod
51×add-exp-log
31×add-cbrt-cube
25×associate-*l*
21×div-exp unswap-sqr
13×prod-exp
11×cbrt-undiv
10×pow1
9×associate-/r* associate-/l*
7×cbrt-unprod div-inv
4×rec-exp 1-exp insert-posit16 add-log-exp
3×pow-flip
2×clear-num frac-2neg pow-prod-down *-commutative
1×frac-times sqrt-pow1 pow1/2 associate-*l/ associate-*r/ associate-/r/ inv-pow
Counts
4 → 249
Calls
4 calls:
6.0ms
(* 1/3 x)
2.1s
(* (/ 1 (sqrt 2)) (/ (+ (+ (* 1/60 (* (* x x) (* x (* x x)))) (* (* x x) (* 1/3 x))) (* x 2)) (/ (sqrt 2) (sin y))))
6.0ms
(/ (sqrt 2) (sin y))
5.0ms
(/ 1 (sqrt 2))

series374.0ms

Counts
4 → 10
Calls
4 calls:
26.0ms
(* 1/3 x)
296.0ms
(* (/ 1 (sqrt 2)) (/ (+ (+ (* 1/60 (* (* x x) (* x (* x x)))) (* (* x x) (* 1/3 x))) (* x 2)) (/ (sqrt 2) (sin y))))
52.0ms
(/ (sqrt 2) (sin y))
0.0ms
(/ 1 (sqrt 2))

simplify1.8s

Counts
259 → 259
Iterations
IterNodes
23810
11190
0381

prune5.8s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize167.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (/ (/ 1 (sqrt (sqrt 2))) (sqrt (sqrt 2))) (/ (+ (+ (* 1/60 (* (* x x) (* x (* x x)))) (* (* x x) (* 1/3 x))) (* x 2)) (/ (sqrt 2) (sin y))))
0.4b
(/ (sqrt 2) (sin y))
1.0b
(/ 1 (sqrt (sqrt 2)))
1.0b
(/ (/ 1 (sqrt (sqrt 2))) (sqrt (sqrt 2)))

rewrite2.0s

Algorithm
rewrite-expression-head
Rules
1507×times-frac
1334×sqrt-prod
1069×add-sqr-sqrt
690×*-un-lft-identity
654×add-cube-cbrt
283×associate-*l*
92×unswap-sqr
79×add-exp-log
71×associate-*r*
49×add-cbrt-cube
42×div-exp
40×associate-/l*
31×div-inv
23×cbrt-undiv
21×associate-/r*
20×pow1 sqrt-pow1
15×prod-exp
14×pow-flip
10×pow1/2 pow-div
9×cbrt-unprod
5×rec-exp 1-exp
4×insert-posit16 add-log-exp
3×clear-num frac-2neg
2×inv-pow
1×frac-times pow-prod-down associate-*l/ associate-*r/ associate-/r/ *-commutative associate-/l/
Counts
4 → 930
Calls
4 calls:
1.9s
(* (/ (/ 1 (sqrt (sqrt 2))) (sqrt (sqrt 2))) (/ (+ (+ (* 1/60 (* (* x x) (* x (* x x)))) (* (* x x) (* 1/3 x))) (* x 2)) (/ (sqrt 2) (sin y))))
14.0ms
(/ (sqrt 2) (sin y))
14.0ms
(/ 1 (sqrt (sqrt 2)))
25.0ms
(/ (/ 1 (sqrt (sqrt 2))) (sqrt (sqrt 2)))

series385.0ms

Counts
4 → 8
Calls
4 calls:
320.0ms
(* (/ (/ 1 (sqrt (sqrt 2))) (sqrt (sqrt 2))) (/ (+ (+ (* 1/60 (* (* x x) (* x (* x x)))) (* (* x x) (* 1/3 x))) (* x 2)) (/ (sqrt 2) (sin y))))
65.0ms
(/ (sqrt 2) (sin y))
0.0ms
(/ 1 (sqrt (sqrt 2)))
0.0ms
(/ (/ 1 (sqrt (sqrt 2))) (sqrt (sqrt 2)))

simplify1.7s

Counts
938 → 938
Iterations
IterNodes
12337
0750

prune24.7s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.0b

regimes217.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
233
133
025

end0.0ms

sample11.8s

Algorithm
halfpoints