Details

analyze897.0ms (4.8%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5431	154
0	2	2
1	2	2

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
50%	50%	0.1%	4
74.9%	25%	0.1%	5
74.9%	25%	0.1%	6
74.9%	25%	0.1%	7
74.9%	25%	0.1%	8
74.9%	25%	0.1%	9
74.9%	25%	0.1%	10
74.9%	25%	0.1%	11
74.9%	25%	0.1%	12
74.9%	25%	0.1%	13
74.9%	25%	0.1%	14

Compiler

Compiled 51 to 41 computations (19.6% saved)

sample160.0ms (0.9%)

Algorithm

1×

intervals

Results

101.0ms	106×	body	1024	valid
19.0ms	99×	body	128	valid
18.0ms	31×	body	512	valid
8.0ms	20×	body	256	valid

Compiler

Compiled 101 to 83 computations (17.8% saved)

simplify48.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4940	77
1	4940	77

prune8.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.3b

Counts

2 → 2

Compiler

Compiled 146 to 116 computations (20.5% saved)

localize36.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
0.7b	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
1.0b	(-.f64 3 (sqrt.f64 5))
2.2b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite438.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

47×	`cancel-sign-sub-inv_binary64_7205`
44×	`add-sqr-sqrt_binary64_7261`
35×	`*-un-lft-identity_binary64_7239`
30×	`distribute-rgt-in_binary64_7189` `distribute-lft-in_binary64_7188`
29×	`add-cube-cbrt_binary64_7274`
19×	`times-frac_binary64_7245`
11×	`pow1_binary64_7300` `add-exp-log_binary64_7277` `add-cbrt-cube_binary64_7275`
9×	`associate-l_binary64_7180`
8×	`add-log-exp_binary64_7278` `sub-neg_binary64_7232` `sqrt-prod_binary64_7255`
7×	`associate-r_binary64_7179`
6×	`associate-*r/_binary64_7181`
5×	`difference-of-squares_binary64_7208`
4×	`flip3--_binary64_7243` `flip--_binary64_7214` `pow-prod-down_binary64_7310` `prod-exp_binary64_7288` `cbrt-unprod_binary64_7272`
3×	`distribute-lft-out--_binary64_7191`
2×	`diff-log_binary64_7331` `*-commutative_binary64_7170` `unswap-sqr_binary64_7207` `div-inv_binary64_7236`
1×	`diff-cos_binary64_7390`

Counts

4 → 128

Calls

4 calls:

14.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
11.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
5.0ms	(-.f64 3 (sqrt.f64 5))

Compiler

Compiled 7300 to 4859 computations (33.4% saved)

series393.0ms (2.1%)

Error

0.3b

Counts

4 → 25

Calls

4 calls:

152.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
104.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
76.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
0.0ms	(-.f64 3 (sqrt.f64 5))

Compiler

Compiled 3311 to 2531 computations (23.6% saved)

simplify97.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4993	2595
1	4993	2595

prune481.0ms (2.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	145	8	153
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	146	9	155

Error

0.1b

Counts

155 → 9

Compiler

Compiled 8589 to 5738 computations (33.2% saved)

localize32.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(+.f64 (.f64 (cos.f64 y) (.f64 3/2 (/.f64 4 (+.f64 (sqrt.f64 5) 3)))) (.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1))))
0.4b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
0.7b	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
2.2b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite504.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

53×	`cancel-sign-sub-inv_binary64_7205`
46×	`distribute-rgt-in_binary64_7189` `distribute-lft-in_binary64_7188`
42×	`add-sqr-sqrt_binary64_7261`
35×	`*-un-lft-identity_binary64_7239`
31×	`add-cube-cbrt_binary64_7274`
19×	`times-frac_binary64_7245`
16×	`associate-+r+_binary64_7171`
14×	`associate-*r/_binary64_7181`
11×	`pow1_binary64_7300` `add-exp-log_binary64_7277` `add-cbrt-cube_binary64_7275` `sub-neg_binary64_7232`
9×	`associate-l_binary64_7180`
8×	`add-log-exp_binary64_7278`
7×	`associate-r_binary64_7179`
4×	`flip3--_binary64_7243` `flip--_binary64_7214` `pow-prod-down_binary64_7310` `prod-exp_binary64_7288` `cbrt-unprod_binary64_7272` `sqrt-prod_binary64_7255`
3×	`difference-of-squares_binary64_7208`
2×	`distribute-lft-out--_binary64_7191` `*-commutative_binary64_7170` `unswap-sqr_binary64_7207` `div-inv_binary64_7236` `frac-add_binary64_7247`
1×	`diff-cos_binary64_7390` `diff-log_binary64_7331` `sum-log_binary64_7330` `flip3-+_binary64_7242` `flip-+_binary64_7213` `+-commutative_binary64_7169`

Counts

4 → 137

Calls

4 calls:

16.0ms	(+.f64 (.f64 (cos.f64 y) (.f64 3/2 (/.f64 4 (+.f64 (sqrt.f64 5) 3)))) (.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1))))
14.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
11.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
7.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

Compiler

Compiled 8324 to 5658 computations (32% saved)

series763.0ms (4.1%)

Error

0.1b

Counts

4 → 36

Calls

4 calls:

332.0ms	(+.f64 (.f64 (cos.f64 y) (.f64 3/2 (/.f64 4 (+.f64 (sqrt.f64 5) 3)))) (.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1))))
155.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
101.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
82.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))

Compiler

Compiled 5038 to 3870 computations (23.2% saved)

simplify94.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

173 → 173

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4906	3951
1	4906	3951

prune625.0ms (3.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	169	4	173
Fresh	4	4	8
Picked	1	0	1
Done	0	0	0
Total	174	8	182

Error

0.1b

Counts

182 → 8

Compiler

Compiled 10173 to 6909 computations (32.1% saved)

localize43.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.7b	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
0.7b	(pow.f64 (/.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 16)) 3)
1.0b	(cbrt.f64 16)
2.2b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite820.0ms (4.4%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

75×	`cbrt-prod_binary64_7270`
72×	`times-frac_binary64_7245`
64×	`add-sqr-sqrt_binary64_7261` `*-un-lft-identity_binary64_7239`
62×	`add-cube-cbrt_binary64_7274`
40×	`unpow-prod-down_binary64_7318` `cube-prod_binary64_7267`
16×	`distribute-rgt-in_binary64_7189` `distribute-lft-in_binary64_7188`
15×	`cancel-sign-sub-inv_binary64_7205`
12×	`add-exp-log_binary64_7277`
10×	`pow1_binary64_7300` `add-cbrt-cube_binary64_7275`
6×	`add-log-exp_binary64_7278`
5×	`sub-neg_binary64_7232`
4×	`associate-*r/_binary64_7181`
3×	`pow-unpow_binary64_7316` `pow-prod-down_binary64_7310` `prod-exp_binary64_7288` `cbrt-unprod_binary64_7272` `associate-l_binary64_7180`
2×	`flip3--_binary64_7243` `flip--_binary64_7214` `div-inv_binary64_7236` `pow-exp_binary64_7307` `rem-cube-cbrt_binary64_7262`
1×	`diff-cos_binary64_7390` `diff-log_binary64_7331` `difference-of-squares_binary64_7208` `distribute-lft-out--_binary64_7191` `pow1/3_binary64_7321` `pow-pow_binary64_7311` `pow-to-exp_binary64_7308` `div-exp_binary64_7290` `unpow3_binary64_7305` `cube-mult_binary64_7269` `cube-div_binary64_7268` `cbrt-undiv_binary64_7273` `sqr-pow_binary64_7211` `associate-r_binary64_7179` `*-commutative_binary64_7170`

Counts

4 → 164

Calls

4 calls:

10.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
10.0ms	(pow.f64 (/.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 16)) 3)
5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
1.0ms	(cbrt.f64 16)

Compiler

Compiled 11176 to 7730 computations (30.8% saved)

series422.0ms (2.3%)

Error

0.1b

Counts

4 → 19

Calls

4 calls:

182.0ms	(pow.f64 (/.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 16)) 3)
112.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
74.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
0.0ms	(cbrt.f64 16)

Compiler

Compiled 3092 to 2471 computations (20.1% saved)

simplify95.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

183 → 183

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4939	2898
1	4939	2898

prune805.0ms (4.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	182	1	183
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	182	9	191

Error

0.1b

Counts

191 → 9

Compiler

Compiled 11853 to 8249 computations (30.4% saved)

localize38.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
0.5b	(+.f64 (cos.f64 y) (cos.f64 x))
0.7b	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
2.3b	(-.f64 (.f64 (cos.f64 x) (cos.f64 x)) (.f64 (cos.f64 y) (cos.f64 y)))

rewrite447.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

39×	`cancel-sign-sub-inv_binary64_7205`
35×	`add-sqr-sqrt_binary64_7261`
30×	`*-un-lft-identity_binary64_7239` `distribute-rgt-in_binary64_7189` `distribute-lft-in_binary64_7188`
26×	`add-cube-cbrt_binary64_7274`
19×	`times-frac_binary64_7245`
11×	`pow1_binary64_7300` `add-exp-log_binary64_7277` `add-cbrt-cube_binary64_7275`
9×	`associate-l_binary64_7180`
8×	`add-log-exp_binary64_7278`
7×	`sub-neg_binary64_7232` `associate-r_binary64_7179`
6×	`associate-*r/_binary64_7181`
4×	`cos-mult_binary64_7393` `pow-prod-down_binary64_7310` `prod-exp_binary64_7288` `cbrt-unprod_binary64_7272` `sqrt-prod_binary64_7255`
3×	`flip3--_binary64_7243` `flip--_binary64_7214` `difference-of-squares_binary64_7208`
2×	`sqr-cos-a_binary64_7388` `*-commutative_binary64_7170` `unswap-sqr_binary64_7207` `div-inv_binary64_7236`
1×	`diff-log_binary64_7331` `frac-sub_binary64_7248` `sub-div_binary64_7246` `associate--l+_binary64_7176` `associate--r+_binary64_7175` `sum-cos_binary64_7392` `sum-log_binary64_7330` `flip3-+_binary64_7242` `flip-+_binary64_7213` `distribute-lft-out_binary64_7190` `+-commutative_binary64_7169` `distribute-lft-out--_binary64_7191`

Counts

4 → 121

Calls

4 calls:

14.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
10.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
8.0ms	(-.f64 (.f64 (cos.f64 x) (cos.f64 x)) (.f64 (cos.f64 y) (cos.f64 y)))
4.0ms	(+.f64 (cos.f64 y) (cos.f64 x))

Compiler

Compiled 8673 to 4847 computations (44.1% saved)

series579.0ms (3.1%)

Error

0.1b

Counts

4 → 34

Calls

4 calls:

162.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
157.0ms	(-.f64 (.f64 (cos.f64 x) (cos.f64 x)) (.f64 (cos.f64 y) (cos.f64 y)))
101.0ms	(+.f64 (cos.f64 y) (cos.f64 x))
75.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))

Compiler

Compiled 5659 to 3896 computations (31.2% saved)

simplify83.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5025	2800

prune474.0ms (2.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	154	1	155
Fresh	0	7	7
Picked	0	1	1
Done	1	0	1
Total	155	9	164

Error

0.1b

Counts

164 → 9

Compiler

Compiled 10323 to 5856 computations (43.3% saved)

regimes1.0s (5.6%)

Accuracy

Total 0.3b remaining (74.9%)

Threshold costs 0.3b (74.9%)

Compiler

Compiled 16220 to 12844 computations (20.8% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	132	92
1	132	92

end0.0ms (0%)

sample9.2s (49.5%)

Algorithm

1×

intervals

Results

3.2s	3508×	body	1024	valid
825.0ms	1332×	body	512	valid
491.0ms	2510×	body	128	valid
276.0ms	640×	body	256	valid
26.0ms	10×	body	2048	valid

Compiler

Compiled 5480 to 4342 computations (20.8% saved)

Details

analyze897.0ms (4.8%)

sample160.0ms (0.9%)

simplify48.0ms (0.3%)

prune8.0ms (0%)

localize36.0ms (0.2%)

rewrite438.0ms (2.3%)

series393.0ms (2.1%)

simplify97.0ms (0.5%)

prune481.0ms (2.6%)

localize32.0ms (0.2%)

rewrite504.0ms (2.7%)

series763.0ms (4.1%)

simplify94.0ms (0.5%)

prune625.0ms (3.3%)

localize43.0ms (0.2%)

rewrite820.0ms (4.4%)

series422.0ms (2.3%)

simplify95.0ms (0.5%)

prune805.0ms (4.3%)

localize38.0ms (0.2%)

rewrite447.0ms (2.4%)

series579.0ms (3.1%)

simplify83.0ms (0.4%)

prune474.0ms (2.5%)

regimes1.0s (5.6%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample9.2s (49.5%)

Profiling