Details

Time bar (total: 4.4s)

sample107.0ms

Algorithm
halfpoints

simplify59.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0307
1477
2847
31317
42237
54667
611237
722447
850027

prune6.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 0.0b

Counts
2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
10×associate-*l/
4×associate-/l/
2×flip3-- frac-2neg flip3-+ associate-*l* clear-num *-commutative flip-- flip-+ div-inv
1×+-commutative sub-neg
Counts
4 → 21
Calls
4 calls:
5.0ms
(* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
3.0ms
(+ (exp x) (exp (- x)))
5.0ms
(* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
2.0ms
(- (exp x) (exp (- x)))

series204.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
27.0ms
(+ (exp x) (exp (- x)))
77.0ms
(* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
41.0ms
(- (exp x) (exp (- x)))

simplify128.0ms

Algorithm
egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 3 (119.0ms)

IterNodesCost
0206195
1752187
23913180
35001172

prune147.0ms

Filtered
33 candidates to 28 candidates (84.8%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New28533
Fresh000
Picked101
Done000
Total29534

Merged error: 0.0b

Counts
34 → 5

localize35.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (exp x) 3)
0.1b
(pow (exp (- x)) 3)
15.9b
(- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))
16.0b
(- (exp x) (exp (- x)))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
58×exp-neg
40×associate-*r/
38×neg-sub0 exp-diff
27×frac-sub
20×un-div-inv
15×sub-div
12×frac-times associate-*l/
9×*-commutative
4×prod-diff
2×pow-to-exp sub-neg flip3-- distribute-rgt-out-- fma-neg unpow3 pow-exp flip-- distribute-lft-out-- sqr-pow
1×neg-mul-1 exp-prod pow-pow
Counts
4 → 69
Calls
4 calls:
2.0ms
(pow (exp x) 3)
3.0ms
(pow (exp (- x)) 3)
11.0ms
(- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))
3.0ms
(- (exp x) (exp (- x)))

series140.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(pow (exp x) 3)
27.0ms
(pow (exp (- x)) 3)
54.0ms
(- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))
36.0ms
(- (exp x) (exp (- x)))

simplify38.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0424523
11290401
25001361

prune174.0ms

Filtered
81 candidates to 25 candidates (30.9%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New80181
Fresh134
Picked101
Done000
Total82486

Merged error: 0.0b

Counts
86 → 4

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (exp x) (exp x))
0.1b
(pow (exp (- x)) 3)
15.9b
(- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))
16.0b
(- (exp x) (exp (- x)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
58×exp-neg
40×associate-*r/
38×neg-sub0 exp-diff
27×frac-sub
20×un-div-inv
15×sub-div
12×frac-times associate-*l/
10×*-commutative
4×prod-diff
2×sub-neg flip3-- distribute-rgt-out-- fma-neg flip-- distribute-lft-out--
1×pow2 pow-to-exp neg-mul-1 exp-prod pow-pow unpow3 pow-exp prod-exp sqr-pow
Counts
4 → 68
Calls
4 calls:
3.0ms
(* (exp x) (exp x))
3.0ms
(pow (exp (- x)) 3)
11.0ms
(- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))
2.0ms
(- (exp x) (exp (- x)))

series134.0ms

Counts
4 → 12
Calls
4 calls:
18.0ms
(* (exp x) (exp x))
26.0ms
(pow (exp (- x)) 3)
50.0ms
(- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))
40.0ms
(- (exp x) (exp (- x)))

simplify39.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0424516
11284392
25002354

prune167.0ms

Filtered
80 candidates to 24 candidates (30.0%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New79180
Fresh123
Picked101
Done000
Total81384

Merged error: 0b

Counts
84 → 3

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (exp (- x)) (exp (- x)))
0.1b
(pow (exp (- x)) 3)
15.9b
(- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))
16.0b
(- (exp x) (exp (- x)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
65×exp-neg
44×neg-sub0 exp-diff
42×associate-*r/
27×frac-sub
21×un-div-inv
16×frac-times
15×sub-div
14×associate-*l/
10×*-commutative
7×neg-mul-1 exp-prod
4×prod-diff
2×sub-neg flip3-- distribute-rgt-out-- fma-neg flip-- distribute-lft-out--
1×pow2 pow-to-exp pow-pow unpow3 pow-prod-down pow-exp prod-exp pow-sqr pow-prod-up sqr-pow
Counts
4 → 80
Calls
4 calls:
5.0ms
(* (exp (- x)) (exp (- x)))
3.0ms
(pow (exp (- x)) 3)
11.0ms
(- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))
2.0ms
(- (exp x) (exp (- x)))

series138.0ms

Counts
4 → 12
Calls
4 calls:
16.0ms
(* (exp (- x)) (exp (- x)))
31.0ms
(pow (exp (- x)) 3)
50.0ms
(- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))
41.0ms
(- (exp x) (exp (- x)))

simplify39.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0425540
11262414
25002373

prune178.0ms

Filtered
92 candidates to 29 candidates (31.5%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New92092
Fresh022
Picked011
Done000
Total92395

Merged error: 0b

Counts
95 → 3

regimes49.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03334
13334

end0.0ms

sample2.4s

Algorithm
halfpoints