Details

Time bar (total: 1.6m)

sample1.3s

Algorithm
halfpoints

simplify8.7s

Counts
1 → 1
Iterations

Useful iterations: 1 (21.0ms)

IterNodesCost
01624
13011
24811
38311
411811
523111
697911
done500011

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize102.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (exp x) (exp (- x)))
0.0b
(* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
0.1b
(* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
15.8b
(- (exp x) (exp (- x)))

rewrite876.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-exp-log add-cbrt-cube
8×pow1 add-log-exp
6×associate-*r*
4×prod-exp cbrt-unprod 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 sub-neg flip3-- flip3-+ diff-log sum-log flip-- flip-+
Counts
4 → 99
Calls
4 calls:
32.0ms
(+ (exp x) (exp (- x)))
155.0ms
(* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
582.0ms
(* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
55.0ms
(- (exp x) (exp (- x)))

series987.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(+ (exp x) (exp (- x)))
254.0ms
(* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
324.0ms
(* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
344.0ms
(- (exp x) (exp (- x)))

simplify6.0s

Counts
111 → 111
Iterations

Useful iterations: done (6.0s)

IterNodesCost
02001479
15241449
223841281
done50001277

prune2.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize115.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (exp (- x)) 3)
0.3b
(/ (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (exp (* x -2)) (+ -1 (exp (+ x x)))))
15.8b
(+ -1 (exp (+ x x)))
15.8b
(- (exp x) (exp (- x)))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
140×*-un-lft-identity
61×distribute-lft-out
45×times-frac
28×add-sqr-sqrt
27×unpow-prod-down cube-prod
26×add-cube-cbrt
11×pow-pow
10×exp-prod
9×associate-/l*
8×add-log-exp
7×add-cbrt-cube
6×add-exp-log sum-cubes
5×pow1 associate-/r*
3×distribute-lft-neg-in pow-unpow distribute-rgt-neg-in flip3-+ flip-+
2×cube-div associate-/r/ associate-/l/
1×cbrt-undiv +-commutative neg-sub0 exp-neg cube-mult pow-to-exp neg-mul-1 sub-neg flip3-- frac-2neg exp-diff diff-log unpow3 div-exp pow-exp clear-num sum-log flip-- div-inv distribute-lft-out-- rem-cube-cbrt difference-of-squares sqr-pow
Counts
4 → 136
Calls
4 calls:
23.0ms
(pow (exp (- x)) 3)
619.0ms
(/ (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (exp (* x -2)) (+ -1 (exp (+ x x)))))
33.0ms
(+ -1 (exp (+ x x)))
357.0ms
(- (exp x) (exp (- x)))

series1.1s

Counts
4 → 12
Calls
4 calls:
243.0ms
(pow (exp (- x)) 3)
456.0ms
(/ (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (exp (* x -2)) (+ -1 (exp (+ x x)))))
54.0ms
(+ -1 (exp (+ x x)))
329.0ms
(- (exp x) (exp (- x)))

simplify7.5s

Counts
148 → 148
Iterations

Useful iterations: done (7.3s)

IterNodesCost
02153215
15802989
228822829
done50002732

prune3.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize251.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (/ (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) 2.0) (cos y))
0.1b
(* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
0.1b
(* 1/12 (pow x 4))
15.8b
(- (exp x) (exp (- x)))

rewrite662.0ms

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt
40×*-un-lft-identity
38×associate-*l*
29×times-frac
26×add-cube-cbrt
19×add-exp-log
16×add-cbrt-cube
13×associate-*r*
8×pow1
7×prod-exp unswap-sqr
6×add-log-exp
5×cbrt-unprod
4×unpow-prod-down distribute-lft-out-- difference-of-squares
3×*-commutative distribute-lft-out
2×cbrt-undiv div-exp pow-prod-down associate-*l/ div-inv sqr-pow
1×pow-to-exp sub-neg flip3-- diff-log pow-exp flip--
Counts
4 → 112
Calls
4 calls:
317.0ms
(* (/ (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) 2.0) (cos y))
207.0ms
(* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
33.0ms
(* 1/12 (pow x 4))
29.0ms
(- (exp x) (exp (- x)))

series1.2s

Counts
4 → 12
Calls
4 calls:
438.0ms
(* (/ (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) 2.0) (cos y))
207.0ms
(* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
355.0ms
(* 1/12 (pow x 4))
154.0ms
(- (exp x) (exp (- x)))

simplify6.1s

Counts
124 → 124
Iterations

Useful iterations: done (6.0s)

IterNodesCost
02391764
15991715
225961519
done50001516

prune3.6s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize86.0ms

Local error

Found 4 expressions with local error:

0.1b
(exp (* (/ (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) 2.0) (cos y)))
0.1b
(* 1/12 (pow x 4))
0.8b
(log (exp (* (/ (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) 2.0) (cos y))))
15.8b
(- (exp x) (exp (- x)))

rewrite590.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
10×*-un-lft-identity
9×add-exp-log add-log-exp
8×add-cube-cbrt
7×associate-*r*
6×add-cbrt-cube
5×pow1
4×unpow-prod-down
3×log-prod associate-*l* prod-exp log-pow unswap-sqr
2×exp-prod exp-to-pow sqr-pow
1×pow-to-exp sub-neg flip3-- diff-log rem-log-exp pow-exp *-commutative flip-- cbrt-unprod rem-exp-log distribute-lft-out-- difference-of-squares
Counts
4 → 63
Calls
4 calls:
27.0ms
(exp (* (/ (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) 2.0) (cos y)))
472.0ms
(* 1/12 (pow x 4))
20.0ms
(log (exp (* (/ (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) 2.0) (cos y))))
30.0ms
(- (exp x) (exp (- x)))

series1.3s

Counts
4 → 12
Calls
4 calls:
414.0ms
(exp (* (/ (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) 2.0) (cos y)))
159.0ms
(* 1/12 (pow x 4))
573.0ms
(log (exp (* (/ (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) 2.0) (cos y))))
158.0ms
(- (exp x) (exp (- x)))

simplify3.9s

Counts
75 → 75
Iterations

Useful iterations: done (3.9s)

IterNodesCost
01461054
1321984
21169867
done5001862

prune1.8s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes624.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
01624
11924
done1924

end4.0ms

sample44.6s

Algorithm
halfpoints