Details

analyze163.0ms (4.9%)

Algorithm

1×

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
25%	68.7%	6.3%	5
25%	65.6%	9.5%	6
37.5%	39%	23.5%	7
37.5%	36.7%	25.9%	8
43.7%	20.7%	35.6%	9
43.7%	19.3%	37%	10
46.8%	10.6%	42.5%	11
46.8%	9.9%	43.3%	12
48.4%	5.4%	46.2%	13
48.4%	5%	46.6%	14

Compiler

Compiled 17 to 17 computations (0% saved)

sample35.0ms (1%)

Algorithm

1×

intervals

Results

25.0ms	256×	body	128	valid
2.0ms	22×	body	128	nan

Compiler

Compiled 33 to 35 computations (-6.1% saved)

simplify167.0ms (5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	50	23
1	50	23

prune11.0ms (0.3%)

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

Counts

2 → 2

Compiler

Compiled 74 to 74 computations (0% saved)

localize13.0ms (0.4%)

Local error

Found 4 expressions with local error:

1.0b	(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
1.0b	(+.f64 (/.f64 (*.f64 2 PI.f64) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
1.0b	(cos.f64 (+.f64 (/.f64 (*.f64 2 PI.f64) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
1.0b	(/.f64 (*.f64 2 PI.f64) 3)

rewrite40.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64_1799`
14×	`add-sqr-sqrt_binary64_1821` `add-cube-cbrt_binary64_1834`
12×	`times-frac_binary64_1805`
11×	`add-cbrt-cube_binary64_1835` `add-exp-log_binary64_1837`
6×	`div-sub_binary64_1804` `add-log-exp_binary64_1838` `associate-/r*_binary64_1743`
4×	`pow1_binary64_1860` `associate-/l*_binary64_1744` `associate-+r-_binary64_1733` `div-inv_binary64_1796`
3×	`distribute-frac-neg_binary64_1762` `acos-neg_binary64_1982` `div-exp_binary64_1850` `cbrt-undiv_binary64_1833` `acos-asin_binary64_1980`
2×	`clear-num_binary64_1798` `cos-diff_binary64_1936` `frac-2neg_binary64_1810`
1×	`sum-log_binary64_1890` `+-commutative_binary64_1729` `prod-exp_binary64_1848` `cos-sum_binary64_1933` `cbrt-unprod_binary64_1832` `distribute-lft-out_binary64_1750` `flip3-+_binary64_1802` `distribute-rgt-out_binary64_1752` `frac-add_binary64_1807` `flip-+_binary64_1773`

Counts

4 → 76

Calls

4 calls:

13.0ms	(cos.f64 (+.f64 (/.f64 (*.f64 2 PI.f64) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
12.0ms	(+.f64 (/.f64 (*.f64 2 PI.f64) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
5.0ms	(/.f64 (*.f64 2 PI.f64) 3)
4.0ms	(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)

series204.0ms (6.1%)

Counts

4 → 10

Calls

4 calls:

140.0ms	(cos.f64 (+.f64 (/.f64 (*.f64 2 PI.f64) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
41.0ms	(+.f64 (/.f64 (*.f64 2 PI.f64) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
23.0ms	(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
0.0ms	(/.f64 (*.f64 2 PI.f64) 3)

simplify80.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4839	1582
1	4839	1582

prune149.0ms (4.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	83	3	86
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	85	3	88

Merged error: 0.0b

Counts

88 → 3

Compiler

Compiled 2714 to 1916 computations (29.4% saved)

localize24.0ms (0.7%)

Local error

Found 4 expressions with local error:

1.0b	(+.f64 (*.f64 PI.f64 2/3) (/.f64 PI.f64 3))
1.0b	(/.f64 PI.f64 3)
1.0b	(/.f64 PI.f64 3)
62.9b	(sin.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 PI.f64 3)))

rewrite30.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64_1821` `add-cube-cbrt_binary64_1834` `*-un-lft-identity_binary64_1799`
18×	`times-frac_binary64_1805`
8×	`add-cbrt-cube_binary64_1835` `add-exp-log_binary64_1837`
6×	`associate-/l_binary64_1744` `add-log-exp_binary64_1838` `associate-/r_binary64_1743`
4×	`pow1_binary64_1860`
3×	`div-inv_binary64_1796`
2×	`clear-num_binary64_1798` `div-exp_binary64_1850` `frac-2neg_binary64_1810` `cbrt-undiv_binary64_1833`
1×	`sum-log_binary64_1890` `+-commutative_binary64_1729` `distribute-lft-out_binary64_1750` `flip3-+_binary64_1802` `sin-sum_binary64_1932` `flip-+_binary64_1773`

Counts

4 → 74

Calls

4 calls:

8.0ms	(sin.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 PI.f64 3)))
7.0ms	(+.f64 (*.f64 PI.f64 2/3) (/.f64 PI.f64 3))
4.0ms	(/.f64 PI.f64 3)
3.0ms	(/.f64 PI.f64 3)

series0.0ms (0%)

Counts

4 → 4

Calls

4 calls:

0.0ms	(sin.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 PI.f64 3)))
0.0ms	(+.f64 (*.f64 PI.f64 2/3) (/.f64 PI.f64 3))
0.0ms	(/.f64 PI.f64 3)
0.0ms	(/.f64 PI.f64 3)

simplify109.0ms (3.3%)

Algorithm

1×	egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (91.0ms)

Iter	Nodes	Cost
0	4761	814
1	4761	814

prune155.0ms (4.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	76	2	78
Fresh	2	0	2
Picked	0	1	1
Done	0	0	0
Total	78	3	81

Merged error: 0b

Counts

81 → 3

Compiler

Compiled 3298 to 2231 computations (32.4% saved)

localize27.0ms (0.8%)

Local error

Found 4 expressions with local error:

1.0b	(exp.f64 PI.f64)
1.0b	(+.f64 (*.f64 PI.f64 2/3) (/.f64 PI.f64 3))
1.0b	(/.f64 PI.f64 3)
58.2b	(sin.f64 (log.f64 (exp.f64 PI.f64)))

rewrite25.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_1821` `add-cube-cbrt_binary64_1834` `*-un-lft-identity_binary64_1799`
9×	`times-frac_binary64_1805`
7×	`add-log-exp_binary64_1838`
6×	`add-cbrt-cube_binary64_1835` `add-exp-log_binary64_1837`
4×	`pow1_binary64_1860`
3×	`log-prod_binary64_1885` `associate-/l_binary64_1744` `associate-/r_binary64_1743` `exp-prod_binary64_1851` `sin-sum_binary64_1932`
2×	`div-inv_binary64_1796`
1×	`sum-log_binary64_1890` `clear-num_binary64_1798` `div-exp_binary64_1850` `+-commutative_binary64_1729` `frac-2neg_binary64_1810` `cbrt-undiv_binary64_1833` `rem-exp-log_binary64_1839` `distribute-lft-out_binary64_1750` `flip3-+_binary64_1802` `flip-+_binary64_1773`

Counts

4 → 60

Calls

4 calls:

9.0ms	(+.f64 (*.f64 PI.f64 2/3) (/.f64 PI.f64 3))
4.0ms	(sin.f64 (log.f64 (exp.f64 PI.f64)))
3.0ms	(/.f64 PI.f64 3)
2.0ms	(exp.f64 PI.f64)

series0.0ms (0%)

Counts

4 → 4

Calls

4 calls:

0.0ms	(sin.f64 (log.f64 (exp.f64 PI.f64)))
0.0ms	(+.f64 (*.f64 PI.f64 2/3) (/.f64 PI.f64 3))
0.0ms	(/.f64 PI.f64 3)
0.0ms	(exp.f64 PI.f64)

simplify94.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4833	569
1	4833	569

prune114.0ms (3.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	62	2	64
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	63	4	67

Merged error: 0b

Counts

67 → 4

Compiler

Compiled 2355 to 1424 computations (39.5% saved)

localize23.0ms (0.7%)

Local error

Found 4 expressions with local error:

1.0b	(/.f64 (acos.f64 (/.f64 g h)) 3)
1.0b	(exp.f64 PI.f64)
1.0b	(exp.f64 PI.f64)
58.2b	(sin.f64 (log.f64 (exp.f64 PI.f64)))

rewrite17.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_1821` `add-cube-cbrt_binary64_1834` `*-un-lft-identity_binary64_1799`
9×	`times-frac_binary64_1805`
6×	`add-log-exp_binary64_1838` `add-cbrt-cube_binary64_1835` `add-exp-log_binary64_1837` `exp-prod_binary64_1851`
4×	`pow1_binary64_1860`
3×	`log-prod_binary64_1885` `associate-/l_binary64_1744` `associate-/r_binary64_1743` `sin-sum_binary64_1932`
2×	`rem-exp-log_binary64_1839`
1×	`div-sub_binary64_1804` `clear-num_binary64_1798` `div-exp_binary64_1850` `frac-2neg_binary64_1810` `cbrt-undiv_binary64_1833` `div-inv_binary64_1796` `acos-asin_binary64_1980`

Counts

4 → 60

Calls

4 calls:

4.0ms	(/.f64 (acos.f64 (/.f64 g h)) 3)
3.0ms	(sin.f64 (log.f64 (exp.f64 PI.f64)))
2.0ms	(exp.f64 PI.f64)
2.0ms	(exp.f64 PI.f64)

series19.0ms (0.6%)

Counts

4 → 6

Calls

4 calls:

18.0ms	(/.f64 (acos.f64 (/.f64 g h)) 3)
0.0ms	(sin.f64 (log.f64 (exp.f64 PI.f64)))
0.0ms	(exp.f64 PI.f64)
0.0ms	(exp.f64 PI.f64)

simplify124.0ms (3.7%)

Algorithm

1×	egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 0 (110.0ms)

Iter	Nodes	Cost
0	4726	756
1	4726	756

prune85.0ms (2.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	66	0	66
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	66	4	70

Merged error: 0b

Counts

70 → 4

Compiler

Compiled 2022 to 933 computations (53.9% saved)

regimes345.0ms (10.4%)

Compiler: Compiled 3901 to 3432 computations (12% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	47
1	23	47

end0.0ms (0%)

sample1.3s (38.3%)

Algorithm

1×

intervals

Results

669.0ms	8000×	body	128	valid
39.0ms	558×	body	128	nan

Compiler

Compiled 387 to 335 computations (13.4% saved)

Details

analyze163.0ms (4.9%)

sample35.0ms (1%)

simplify167.0ms (5%)

prune11.0ms (0.3%)

localize13.0ms (0.4%)

rewrite40.0ms (1.2%)

series204.0ms (6.1%)

simplify80.0ms (2.4%)

prune149.0ms (4.5%)

localize24.0ms (0.7%)

rewrite30.0ms (0.9%)

series0.0ms (0%)

simplify109.0ms (3.3%)

prune155.0ms (4.7%)

localize27.0ms (0.8%)

rewrite25.0ms (0.7%)

series0.0ms (0%)

simplify94.0ms (2.8%)

prune114.0ms (3.4%)

localize23.0ms (0.7%)

rewrite17.0ms (0.5%)

series19.0ms (0.6%)

simplify124.0ms (3.7%)

prune85.0ms (2.6%)

regimes345.0ms (10.4%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample1.3s (38.3%)

Profiling