Details

analyze3.6s (23%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5205	200
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
12.5%	87.4%	0.1%	8
31.2%	68.6%	0.1%	9
31.2%	68.6%	0.1%	10
31.2%	68.6%	0.1%	11
40.6%	59.3%	0.1%	12
40.6%	59.3%	0.1%	13
40.6%	59.3%	0.1%	14

Compiler

Compiled 31 to 19 computations (38.7% saved)

sample237.0ms (1.5%)

Algorithm

1×

intervals

Results

124.0ms	73×	body	1024	valid
50.0ms	140×	body	128	valid
32.0ms	30×	body	512	valid
9.0ms	13×	body	256	valid

Compiler

Compiled 61 to 40 computations (34.4% saved)

simplify428.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (422.0ms)

Iter	Nodes	Cost
0	1604	50
1	1604	50

prune7.0ms (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

Error

0.1b

Counts

2 → 1

Compiler

Compiled 60 to 36 computations (40% saved)

localize42.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (neg.f64 eh) (tan.f64 t))
2.8b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
2.8b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
23.8b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

rewrite199.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

16×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819`
14×	`add-sqr-sqrt_binary64_1805`
12×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
10×	`associate-l_binary64_1724`
6×	`pow1_binary64_1844` `times-frac_binary64_1789` `associate-/r*_binary64_1727`
4×	`distribute-lft-neg-out_binary64_1742` `add-log-exp_binary64_1822` `div-exp_binary64_1834` `cbrt-undiv_binary64_1817`
3×	`distribute-frac-neg_binary64_1746` `prod-exp_binary64_1832` `cbrt-unprod_binary64_1816` `tan-quot_binary64_1942` `associate-r/_binary64_1725` `distribute-rgt-neg-in_binary64_1741` `distribute-lft-neg-in_binary64_1740` `associate-r*_binary64_1723`
2×	`frac-2neg_binary64_1794` `clear-num_binary64_1782` `div-inv_binary64_1780` `associate-/l/_binary64_1730` `associate-/l*_binary64_1728`
1×	`cos-atan_binary64_1962` `atan-neg_binary64_1967` `cos-neg_binary64_1914` `pow-prod-down_binary64_1854` `unswap-sqr_binary64_1751` `neg-mul-1_binary64_1779` `*-commutative_binary64_1714`

Counts

4 → 82

Calls

4 calls:

12.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
12.0ms	(*.f64 (neg.f64 eh) (tan.f64 t))
11.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
4.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

Compiler

Compiled 2928 to 592 computations (79.8% saved)

series1.5s (9.5%)

Error

0.1b

Counts

4 → 42

Calls

4 calls:

483.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
474.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
245.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
219.0ms	(*.f64 (neg.f64 eh) (tan.f64 t))

Compiler

Compiled 4017 to 2247 computations (44.1% saved)

simplify106.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5493	1782

prune207.0ms (1.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	123	1	124
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	123	2	125

Error

0.1b

Counts

125 → 2

Compiler

Compiled 4282 to 774 computations (81.9% saved)

localize42.0ms (0.3%)

Local error

Found 4 expressions with local error:

2.8b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
2.8b	(/.f64 (*.f64 eh (tan.f64 t)) ew)
2.8b	(/.f64 (*.f64 eh (tan.f64 t)) ew)
9.2b	(sqrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 eh (tan.f64 t)) ew) (/.f64 (*.f64 eh (tan.f64 t)) ew))))

rewrite235.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

19×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819`
12×	`add-sqr-sqrt_binary64_1805`
11×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
9×	`times-frac_binary64_1789` `associate-/r*_binary64_1727`
6×	`div-exp_binary64_1834` `cbrt-undiv_binary64_1817`
5×	`pow1_binary64_1844`
4×	`add-log-exp_binary64_1822`
3×	`sqrt-prod_binary64_1799` `prod-exp_binary64_1832` `cbrt-unprod_binary64_1816` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `div-inv_binary64_1780` `tan-quot_binary64_1942` `associate-r/_binary64_1725` `associate-/l/_binary64_1730` `associate-/l_binary64_1728`
2×	`sqrt-div_binary64_1800`
1×	`pow1/2_binary64_1863` `sqrt-pow1_binary64_1801` `flip3-+_binary64_1786` `flip-+_binary64_1757` `rem-sqrt-square_binary64_1796` `distribute-lft-neg-out_binary64_1742` `distribute-frac-neg_binary64_1746`

Counts

4 → 82

Calls

4 calls:

11.0ms	(/.f64 (*.f64 eh (tan.f64 t)) ew)
11.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
11.0ms	(/.f64 (*.f64 eh (tan.f64 t)) ew)
7.0ms	(sqrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 eh (tan.f64 t)) ew) (/.f64 (*.f64 eh (tan.f64 t)) ew))))

Compiler

Compiled 3818 to 1006 computations (73.7% saved)

series2.2s (14%)

Error

0.1b

Counts

4 → 58

Calls

4 calls:

671.0ms	(sqrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 eh (tan.f64 t)) ew) (/.f64 (*.f64 eh (tan.f64 t)) ew))))
488.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
448.0ms	(/.f64 (*.f64 eh (tan.f64 t)) ew)
431.0ms	(/.f64 (*.f64 eh (tan.f64 t)) ew)

Compiler

Compiled 6720 to 3697 computations (45% saved)

simplify137.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	5122	2741

prune343.0ms (2.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	140	2	142

Error

0.1b

Counts

142 → 2

Compiler

Compiled 6242 to 1768 computations (71.7% saved)

regimes209.0ms (1.3%)

Accuracy

Total 0.0b remaining (1.4%)

Threshold costs 0.0b (1.4%)

Compiler

Compiled 1594 to 1093 computations (31.4% saved)

bsearch0.0ms (0%)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	89	48
1	89	48

end0.0ms (0%)

sample6.1s (39.4%)

Algorithm

1×

intervals

Results

3.1s	2055×	body	1024	valid
1.0s	4500×	body	128	valid
829.0ms	993×	body	512	valid
229.0ms	443×	body	256	valid
17.0ms	9×	body	2048	valid

Compiler

Compiled 354 to 244 computations (31.1% saved)

Details

analyze3.6s (23%)

sample237.0ms (1.5%)

simplify428.0ms (2.8%)

prune7.0ms (0%)

localize42.0ms (0.3%)

rewrite199.0ms (1.3%)

series1.5s (9.5%)

simplify106.0ms (0.7%)

prune207.0ms (1.3%)

localize42.0ms (0.3%)

rewrite235.0ms (1.5%)

series2.2s (14%)

simplify137.0ms (0.9%)

prune343.0ms (2.2%)

regimes209.0ms (1.3%)

bsearch0.0ms (0%)

simplify6.0ms (0%)

end0.0ms (0%)

sample6.1s (39.4%)

Profiling