Details

analyze4.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
50%	12.5%	37.5%	5
50%	6.2%	43.8%	6
50%	3.1%	46.9%	7
50%	1.6%	48.5%	8
50%	0.8%	49.2%	9
50.4%	0.4%	49.2%	10
50.4%	0.2%	49.4%	11
50.4%	0.1%	49.5%	12
50.4%	0%	49.6%	13
50.4%	0%	49.6%	14

sample63.0ms

Algorithm

intervals

Results

34.0ms	108×	body	1280	valid
19.0ms	93×	body	640	valid
3.0ms	28×	body	320	valid
1.0ms	18×	body	160	valid
0.0ms	9×	body	80	valid

simplify70.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4964	13
1	4964	13

prune1.0ms

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: 58.3b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

5.4b	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

3×	`*-un-lft-identity_binary64` `add-log-exp_binary64` `add-sqr-sqrt_binary64`
1×	`sub-neg_binary64` `pow1_binary64` `flip3--_binary64` `diff-log_binary64` `sinh-undef_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `flip--_binary64`

Counts

1 → 14

Calls

1 calls:

5.0ms

(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

series18.0ms

Counts

1 → 3

Calls

1 calls:

18.0ms

(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

simplify94.0ms

Algorithm

egg-herbie

Counts

17 → 17

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4899	255
1	4899	255

prune17.0ms

Filtered

13 candidates to 17 candidates (-30.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	14	3	17
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	15	3	18

Merged error: 0b

Counts

18 → 3

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b	(sinh.f64 x)

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64` `add-log-exp_binary64` `pow1_binary64` `sinh-def_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64`

Counts

1 → 8

Calls

1 calls:

1.0ms

(sinh.f64 x)

series49.0ms

Counts

1 → 3

Calls

1 calls:

49.0ms

(sinh.f64 x)

simplify71.0ms

Algorithm

egg-herbie

Counts

11 → 11

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5430	98

prune10.0ms

Filtered

10 candidates to 11 candidates (-10.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	11	0	11
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	11	3	14

Merged error: 0b

Counts

14 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))
0.0b	(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 x x)))
0.0b	(*.f64 1/60 (pow.f64 x 5))
0.1b	(*.f64 1/3 (pow.f64 x 3))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64`
19×	`associate-r_binary64`
18×	`add-log-exp_binary64`
14×	`add-exp-log_binary64`
11×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
9×	`sum-log_binary64`
8×	`add-cbrt-cube_binary64` `unpow-prod-down_binary64`
7×	`unswap-sqr_binary64`
6×	`associate-l_binary64` `prod-exp_binary64`
4×	`pow1_binary64` `sqr-pow_binary64` `cube-prod_binary64`
2×	`pow-to-exp_binary64` `flip3-+_binary64` `cbrt-unprod_binary64` `+-commutative_binary64` `flip-+_binary64` `associate-+r+_binary64` `pow-exp_binary64` `*-commutative_binary64`
1×	`unpow3_binary64` `cube-mult_binary64`

Counts

4 → 83

Calls

4 calls:

8.0ms	(+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))
12.0ms	(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 x x)))
5.0ms	(*.f64 1/60 (pow.f64 x 5))
9.0ms	(*.f64 1/3 (pow.f64 x 3))

series184.0ms

Counts

4 → 12

Calls

4 calls:

94.0ms	(+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))
29.0ms	(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 x x)))
32.0ms	(*.f64 1/60 (pow.f64 x 5))
28.0ms	(*.f64 1/3 (pow.f64 x 3))

simplify67.0ms

Algorithm

egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5400	1345

prune75.0ms

Filtered

60 candidates to 95 candidates (-58.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	95	0	95
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	95	3	98

Merged error: 0b

Counts

98 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 (pow.f64 (exp.f64 x) 2) (pow.f64 (exp.f64 x) -2)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
0.0b	(pow.f64 (exp.f64 x) -2)
0.0b	(pow.f64 (exp.f64 x) 2)
5.3b	(-.f64 (pow.f64 (exp.f64 x) 2) (pow.f64 (exp.f64 x) -2))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

131×	`add-sqr-sqrt_binary64`
84×	`difference-of-squares_binary64`
81×	`*-un-lft-identity_binary64`
80×	`times-frac_binary64`
55×	`unpow-prod-down_binary64`
51×	`sqr-pow_binary64`
33×	`add-cube-cbrt_binary64`
22×	`unpow2_binary64`
17×	`distribute-lft-out_binary64` `cosh-undef_binary64`
16×	`associate-/l*_binary64`
8×	`pow-pow_binary64`
7×	`distribute-lft-out--_binary64`
6×	`pow-unpow_binary64` `add-log-exp_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `exp-prod_binary64`
5×	`associate-/r*_binary64`
2×	`pow-to-exp_binary64` `associate-/l/_binary64` `flip3--_binary64` `associate-/r/_binary64` `flip--_binary64` `pow-exp_binary64`
1×	`flip3-+_binary64` `sub-neg_binary64` `diff-log_binary64` `cbrt-undiv_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `flip-+_binary64`

Counts

4 → 183

Calls

4 calls:

16.0ms	(/.f64 (-.f64 (pow.f64 (exp.f64 x) 2) (pow.f64 (exp.f64 x) -2)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
3.0ms	(pow.f64 (exp.f64 x) -2)
3.0ms	(pow.f64 (exp.f64 x) 2)
10.0ms	(-.f64 (pow.f64 (exp.f64 x) 2) (pow.f64 (exp.f64 x) -2))

series209.0ms

Counts

4 → 12

Calls

4 calls:

114.0ms	(/.f64 (-.f64 (pow.f64 (exp.f64 x) 2) (pow.f64 (exp.f64 x) -2)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
26.0ms	(pow.f64 (exp.f64 x) -2)
12.0ms	(pow.f64 (exp.f64 x) 2)
57.0ms	(-.f64 (pow.f64 (exp.f64 x) 2) (pow.f64 (exp.f64 x) -2))

simplify140.0ms

Algorithm

egg-herbie

Counts

195 → 195

Iterations

Useful iterations: 0 (88.0ms)

Iter	Nodes	Cost
0	4870	5141
1	4870	5141

prune103.0ms

Filtered

106 candidates to 195 candidates (-84.0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	195	0	195
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	195	3	198

Merged error: 0b

Counts

198 → 3

regimes11.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	7	9

end0.0ms

sample1.9s

Algorithm

intervals

Results

1.1s	3422×	body	1280	valid
486.0ms	2482×	body	640	valid
159.0ms	1234×	body	320	valid
49.0ms	617×	body	160	valid
9.0ms	245×	body	80	valid
0.0ms	2×	body	80	invalid

Details

analyze4.0ms

sample63.0ms

simplify70.0ms

prune1.0ms

localize6.0ms

rewrite5.0ms

series18.0ms

simplify94.0ms

prune17.0ms

localize4.0ms

rewrite1.0ms

series49.0ms

simplify71.0ms

prune10.0ms

localize11.0ms

rewrite37.0ms

series184.0ms

simplify67.0ms

prune75.0ms

localize11.0ms

rewrite41.0ms

series209.0ms

simplify140.0ms

prune103.0ms

regimes11.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample1.9s

Profiling