Details

sample74.0ms

Algorithm

intervals

Results

38.0ms	116×	body	1280	valid
14.0ms	71×	body	640	valid
7.0ms	227×	body	80	overflowed
4.0ms	32×	body	320	valid
1.0ms	18×	body	160	valid
1.0ms	19×	body	80	valid

simplify45.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	9
1	24	9
2	32	9
3	44	9
4	59	9
5	174	9
6	1153	9
7	5001	9

prune2.0ms

Filtered

1 candidates to 0 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 56.3b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (exp x) (exp (neg x)))
0.8b	(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
5.2b	(- (exp x) (exp (neg x)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

40×	`*-un-lft-identity`
26×	`add-sqr-sqrt`
20×	`times-frac`
14×	`add-cube-cbrt`
7×	`distribute-lft-out` `add-log-exp`
6×	`distribute-lft-out--` `difference-of-squares`
5×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
4×	`associate-/r*`
3×	`pow1`
2×	`flip3--` `flip3-+` `associate-/r/` `flip--` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `frac-2neg` `diff-log` `div-sub` `tanh-undef` `div-exp` `clear-num` `sum-log` `div-inv`

Counts

3 → 73

Calls

3 calls:

4.0ms	(+ (exp x) (exp (neg x)))
14.0ms	(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
5.0ms	(- (exp x) (exp (neg x)))

series129.0ms

Counts

3 → 9

Calls

3 calls:

22.0ms	(+ (exp x) (exp (neg x)))
72.0ms	(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
35.0ms	(- (exp x) (exp (neg x)))

simplify243.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 2 (27.0ms)

Iter	Nodes	Cost
0	285	936
1	951	868
2	4961	857
3	5001	857

prune154.0ms

Filtered

82 candidates to 59 candidates (72.0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	79	3	82
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	80	3	83

Merged error: 0b

Counts

83 → 3

localize2.0ms

Local error

Found 1 expressions with local error:

0.0b

(tanh x)

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `tanh-def` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

1.0ms

(tanh x)

series74.0ms

Counts

1 → 3

Calls

1 calls:

74.0ms

(tanh x)

simplify80.0ms

Algorithm

egg-herbie

Counts

13 → 13

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	92	48
1	206	45
2	619	45
3	3203	45
4	5002	45

prune20.0ms

Filtered

13 candidates to 10 candidates (76.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	13	0	13
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	13	3	16

Merged error: 0b

Counts

16 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* 2/15 (pow x 5)))
0.0b	(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
0.0b	(* 2/15 (pow x 5))
0.1b	(* 1/3 (pow x 3))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
19×	`associate-r`
14×	`add-exp-log`
11×	`add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
8×	`unpow-prod-down` `add-cbrt-cube`
7×	`unswap-sqr`
6×	`associate-l` `prod-exp`
4×	`pow1` `cube-prod` `sqr-pow`
2×	`pow-to-exp` `diff-log` `pow-exp` `sum-log` `*-commutative` `cbrt-unprod`
1×	`+-commutative` `cube-mult` `sub-neg` `flip3--` `flip3-+` `unpow3` `associate--l+` `flip--` `flip-+`

Counts

4 → 81

Calls

4 calls:

3.0ms	(+ x (* 2/15 (pow x 5)))
5.0ms	(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
5.0ms	(* 2/15 (pow x 5))
6.0ms	(* 1/3 (pow x 3))

series247.0ms

Counts

4 → 12

Calls

4 calls:

109.0ms	(+ x (* 2/15 (pow x 5)))
51.0ms	(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
48.0ms	(* 2/15 (pow x 5))
38.0ms	(* 1/3 (pow x 3))

simplify48.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	314	425
1	1376	398
2	5001	393

prune140.0ms

Filtered

93 candidates to 59 candidates (63.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	93	3	96

Merged error: 0b

Counts

96 → 3

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow (exp (neg x)) 3)
0.8b	(/ (/ (- (pow (exp x) 3) (pow (exp (neg x)) 3)) (+ (+ 1 (exp (+ x x))) (pow (exp -1) (* 2 x)))) (+ (exp x) (exp (neg x))))
1.2b	(/ (- (pow (exp x) 3) (pow (exp (neg x)) 3)) (+ (+ 1 (exp (+ x x))) (pow (exp -1) (* 2 x))))
5.2b	(- (pow (exp x) 3) (pow (exp (neg x)) 3))

rewrite194.0ms

Algorithm

rewrite-expression-head

Rules

1668×	`*-un-lft-identity`
1274×	`times-frac`
1097×	`add-sqr-sqrt`
585×	`distribute-lft-out`
512×	`difference-of-squares`
387×	`unpow-prod-down` `cube-prod`
329×	`add-cube-cbrt`
257×	`sqr-pow`
160×	`distribute-lft-out--`
156×	`associate-/l*`
32×	`difference-cubes`
14×	`associate-/r/`
12×	`add-cbrt-cube`
11×	`add-exp-log` `pow-pow`
10×	`exp-prod`
9×	`associate-/r*`
7×	`flip3-+` `flip-+` `div-inv`
6×	`add-log-exp`
5×	`pow1`
4×	`cbrt-undiv` `div-exp`
3×	`distribute-lft-neg-in` `pow-unpow` `distribute-rgt-neg-in` `div-sub` `associate-/l/`
2×	`cube-div` `flip3--` `frac-2neg` `clear-num` `flip--`
1×	`neg-sub0` `exp-neg` `cube-mult` `pow-to-exp` `neg-mul-1` `sub-neg` `exp-diff` `diff-log` `unpow3` `pow-exp` `rem-cube-cbrt`

Counts

4 → 918

Calls

4 calls:

5.0ms	(pow (exp (neg x)) 3)
57.0ms	(/ (/ (- (pow (exp x) 3) (pow (exp (neg x)) 3)) (+ (+ 1 (exp (+ x x))) (pow (exp -1) (* 2 x)))) (+ (exp x) (exp (neg x))))
29.0ms	(/ (- (pow (exp x) 3) (pow (exp (neg x)) 3)) (+ (+ 1 (exp (+ x x))) (pow (exp -1) (* 2 x))))
12.0ms	(- (pow (exp x) 3) (pow (exp (neg x)) 3))

series511.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(pow (exp (neg x)) 3)
219.0ms	(/ (/ (- (pow (exp x) 3) (pow (exp (neg x)) 3)) (+ (+ 1 (exp (+ x x))) (pow (exp -1) (* 2 x)))) (+ (exp x) (exp (neg x))))
172.0ms	(/ (- (pow (exp x) 3) (pow (exp (neg x)) 3)) (+ (+ 1 (exp (+ x x))) (pow (exp -1) (* 2 x))))
94.0ms	(- (pow (exp x) 3) (pow (exp (neg x)) 3))

simplify247.0ms

Algorithm

egg-herbie

Counts

930 → 930

Iterations

Useful iterations: 1 (38.0ms)

Iter	Nodes	Cost
0	1526	27393
1	5001	27048

prune1.6s

Filtered

930 candidates to 314 candidates (33.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	930	0	930
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	930	3	933

Merged error: 0b

Counts

933 → 3

regimes18.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2	1

end0.0ms

sample2.2s

Algorithm

intervals

Results

1.1s	3312×	body	1280	valid
471.0ms	2389×	body	640	valid
234.0ms	7528×	body	80	overflowed
157.0ms	1242×	body	320	valid
52.0ms	647×	body	160	valid
19.0ms	410×	body	80	valid

Details

sample74.0ms

simplify45.0ms

prune2.0ms

localize7.0ms

rewrite26.0ms

series129.0ms

simplify243.0ms

prune154.0ms

localize2.0ms

rewrite1.0ms

series74.0ms

simplify80.0ms

prune20.0ms

localize8.0ms

rewrite21.0ms

series247.0ms

simplify48.0ms

prune140.0ms

localize22.0ms

rewrite194.0ms

series511.0ms

simplify247.0ms

prune1.6s

regimes18.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.2s

Profiling