Details

analyze1.4s (10%)

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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
25%	74.9%	0.1%	8
54.6%	45.2%	0.1%	9
56.2%	43.7%	0.1%	10
62.4%	37.4%	0.1%	11
65.9%	33.9%	0.1%	12
66.3%	33.5%	0.1%	13
69%	30.8%	0.1%	14

Compiler

Compiled 20 to 15 computations (25% saved)

sample155.0ms (1.1%)

Algorithm

1×

intervals

Results

109.0ms	148×	body	1024	valid
20.0ms	43×	body	512	valid
6.0ms	47×	body	128	valid
5.0ms	17×	body	256	valid
1.0ms	1×	body	2048	valid

Compiler

Compiled 42 to 32 computations (23.8% saved)

simplify108.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

645×	`associate-/r*_binary64`
634×	`sqr-pow_binary64`
437×	`cube-prod_binary64`
394×	`associate-l_binary64`
368×	`*-commutative_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	26
1	26	26
2	36	26
3	64	26
4	133	26
5	336	26
6	1035	26
7	1732	26
8	2420	26
9	2633	26
10	2904	26
11	3259	26
12	3653	26
13	4555	26
14	4873	26
15	4875	26

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

4.3b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	4.3b	(*.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 th))

Compiler

Compiled 38 to 28 computations (26.3% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))
0.2b	(pow.f64 (sin.f64 kx) 2)
0.3b	(pow.f64 (sin.f64 ky) 2)
4.0b	(sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))

rewrite203.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

4.2b

Rules

46×	`*-un-lft-identity_binary64`
27×	`add-sqr-sqrt_binary64`
26×	`add-cube-cbrt_binary64`
25×	`sqrt-prod_binary64`
24×	`times-frac_binary64`

Counts

4 → 102

Calls

4 calls:

16.0ms	(/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))
8.0ms	(sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
3.0ms	(pow.f64 (sin.f64 kx) 2)
3.0ms	(pow.f64 (sin.f64 ky) 2)

Compiler

Compiled 2341 to 1310 computations (44% saved)

series166.0ms (1.2%)

Error

1.7b

Counts

4 → 33

Calls

4 calls:

70.0ms	(/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))
46.0ms	(sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
11.0ms	(pow.f64 (sin.f64 kx) 2)
11.0ms	(pow.f64 (sin.f64 ky) 2)

Compiler

Compiled 1873 to 1301 computations (30.5% saved)

simplify147.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

596×	`associate-/l*_binary64`
528×	`associate-/r*_binary64`
320×	`cancel-sign-sub-inv_binary64`
232×	`associate-*l/_binary64`
129×	`associate-/r/_binary64`

Counts

135 → 79

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	244	3089
1	556	2984
2	1741	2918
3	4779	2918
4	4972	2918
5	4965	2918

prune88.0ms (0.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	70	9	79
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	71	9	80

Error

1.6b

Counts

80 → 9

Alt Table

Status	Error	Program
	12.2b	(.f64 (.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 6) (pow.f64 (sin.f64 ky) 6)))) (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 kx) 2)) (-.f64 (.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 ky) 2)) (*.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (sin.f64 th))
	46.9b	(.f64 (/.f64 (sin.f64 ky) (+.f64 (sin.f64 kx) (.f64 1/2 (/.f64 (*.f64 ky ky) (sin.f64 kx))))) (sin.f64 th))
	4.9b	(*.f64 (/.f64 (/.f64 (sin.f64 ky) (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sin.f64 th))
	15.8b	(*.f64 (cbrt.f64 (pow.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) 3)) (sin.f64 th))
	7.7b	(*.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 6)) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 th))
	5.4b	(.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (sin.f64 ky)) 2) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (sin.f64 th))
▶	4.7b	(.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (.f64 (pow.f64 (cbrt.f64 (sin.f64 kx)) 4) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2)) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 th))
	42.8b	(.f64 (/.f64 (sin.f64 ky) (+.f64 (sin.f64 ky) (.f64 1/2 (/.f64 (*.f64 kx kx) (sin.f64 ky))))) (sin.f64 th))
	4.8b	(.f64 (.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sin.f64 th))

Compiler

Compiled 1793 to 1072 computations (40.2% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (sin.f64 kx))
0.6b	(cbrt.f64 (sin.f64 kx))
0.8b	(pow.f64 (cbrt.f64 (sin.f64 kx)) 4)
4.0b	(sqrt.f64 (+.f64 (*.f64 (pow.f64 (cbrt.f64 (sin.f64 kx)) 4) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2)) (pow.f64 (sin.f64 ky) 2)))

rewrite124.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

1.6b

Rules

11×	`add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
9×	`cbrt-prod_binary64`
6×	`pow1_binary64` `unpow-prod-down_binary64`
5×	`add-exp-log_binary64`

Counts

4 → 58

Calls

4 calls:

10.0ms	(sqrt.f64 (+.f64 (*.f64 (pow.f64 (cbrt.f64 (sin.f64 kx)) 4) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2)) (pow.f64 (sin.f64 ky) 2)))
4.0ms	(cbrt.f64 (sin.f64 kx))
3.0ms	(pow.f64 (cbrt.f64 (sin.f64 kx)) 4)
1.0ms	(cbrt.f64 (sin.f64 kx))

Compiler

Compiled 1737 to 865 computations (50.2% saved)

series134.0ms (1%)

Error

1.6b

Counts

4 → 23

Calls

4 calls:

47.0ms	(sqrt.f64 (+.f64 (*.f64 (pow.f64 (cbrt.f64 (sin.f64 kx)) 4) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2)) (pow.f64 (sin.f64 ky) 2)))
30.0ms	(pow.f64 (cbrt.f64 (sin.f64 kx)) 4)
18.0ms	(cbrt.f64 (sin.f64 kx))
16.0ms	(cbrt.f64 (sin.f64 kx))

Compiler

Compiled 1501 to 1046 computations (30.3% saved)

simplify125.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

825×	`times-frac_binary64`
490×	`associate-l_binary64`
484×	`associate-/r*_binary64`
250×	`associate-/l*_binary64`
217×	`cancel-sign-sub-inv_binary64`

Counts

81 → 53

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	152	1443
1	362	1150
2	995	1094
3	3971	1091
4	4689	1091
5	4950	1091
6	4910	1091

prune77.0ms (0.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	53	0	53
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	53	9	62

Error

1.6b

Counts

62 → 9

Alt Table

Status	Error	Program
	12.2b	(.f64 (.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 6) (pow.f64 (sin.f64 ky) 6)))) (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 kx) 2)) (-.f64 (.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 ky) 2)) (*.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (sin.f64 th))
	46.9b	(.f64 (/.f64 (sin.f64 ky) (+.f64 (sin.f64 kx) (.f64 1/2 (/.f64 (*.f64 ky ky) (sin.f64 kx))))) (sin.f64 th))
	4.9b	(*.f64 (/.f64 (/.f64 (sin.f64 ky) (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sin.f64 th))
	15.8b	(*.f64 (cbrt.f64 (pow.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) 3)) (sin.f64 th))
	7.7b	(*.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 6)) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 th))
	5.4b	(.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (sin.f64 ky)) 2) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (sin.f64 th))
✓	4.7b	(.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (.f64 (pow.f64 (cbrt.f64 (sin.f64 kx)) 4) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2)) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 th))
	42.8b	(.f64 (/.f64 (sin.f64 ky) (+.f64 (sin.f64 ky) (.f64 1/2 (/.f64 (*.f64 kx kx) (sin.f64 ky))))) (sin.f64 th))
▶	4.8b	(.f64 (.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sin.f64 th))

Compiler

Compiled 1568 to 932 computations (40.6% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
0.3b	(pow.f64 (sin.f64 ky) 2)
0.3b	(*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))
4.3b	(sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))

rewrite289.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

1.6b

Rules

78×	`*-un-lft-identity_binary64`
49×	`add-sqr-sqrt_binary64` `times-frac_binary64`
45×	`sqrt-prod_binary64`
36×	`add-cube-cbrt_binary64`
24×	`associate-r_binary64`

Counts

4 → 138

Calls

4 calls:

18.0ms	(*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))
11.0ms	(sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))
10.0ms	(/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
3.0ms	(pow.f64 (sin.f64 ky) 2)

Compiler

Compiled 3498 to 2198 computations (37.2% saved)

series220.0ms (1.6%)

Error

1.6b

Counts

4 → 36

Calls

4 calls:

71.0ms	(*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))
56.0ms	(sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))
48.0ms	(/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
11.0ms	(pow.f64 (sin.f64 ky) 2)

Compiler

Compiled 2186 to 1556 computations (28.8% saved)

simplify219.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

563×	`associate-/l*_binary64`
466×	`associate-/r*_binary64`
240×	`cancel-sign-sub-inv_binary64`
199×	`associate-*l/_binary64`
170×	`neg-mul-1_binary64`

Counts

174 → 108

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	265	4256
1	600	4034
2	1939	3998
3	4733	3998
4	4925	3998
5	4991	3998
6	4941	3998

prune118.0ms (0.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	107	1	108
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	107	10	117

Error

1.6b

Counts

117 → 10

Alt Table

Status	Error	Program
	12.1b	(.f64 (.f64 (sin.f64 ky) (sqrt.f64 (cbrt.f64 (pow.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 3)))) (sin.f64 th))
	12.2b	(.f64 (.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 6) (pow.f64 (sin.f64 ky) 6)))) (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 kx) 2)) (-.f64 (.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 ky) 2)) (*.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (sin.f64 th))
	46.9b	(.f64 (/.f64 (sin.f64 ky) (+.f64 (sin.f64 kx) (.f64 1/2 (/.f64 (*.f64 ky ky) (sin.f64 kx))))) (sin.f64 th))
▶	4.9b	(*.f64 (/.f64 (/.f64 (sin.f64 ky) (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sin.f64 th))
	15.8b	(*.f64 (cbrt.f64 (pow.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) 3)) (sin.f64 th))
	7.7b	(*.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 6)) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 th))
	5.4b	(.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (sin.f64 ky)) 2) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (sin.f64 th))
✓	4.7b	(.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (.f64 (pow.f64 (cbrt.f64 (sin.f64 kx)) 4) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2)) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 th))
	42.8b	(.f64 (/.f64 (sin.f64 ky) (+.f64 (sin.f64 ky) (.f64 1/2 (/.f64 (*.f64 kx kx) (sin.f64 ky))))) (sin.f64 th))
✓	4.8b	(.f64 (.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sin.f64 th))

Compiler

Compiled 2307 to 1444 computations (37.4% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (sin.f64 ky) 2)
0.3b	(/.f64 (sin.f64 ky) (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))
4.6b	(cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
4.6b	(cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))

rewrite243.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

1.6b

Rules

58×	`*-un-lft-identity_binary64`
42×	`add-sqr-sqrt_binary64`
39×	`times-frac_binary64`
34×	`add-cube-cbrt_binary64` `cbrt-prod_binary64`
32×	`fabs-mul_binary64`

Counts

4 → 117

Calls

4 calls:

14.0ms	(/.f64 (sin.f64 ky) (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))
8.0ms	(cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
8.0ms	(cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
3.0ms	(pow.f64 (sin.f64 ky) 2)

Compiler

Compiled 4623 to 2795 computations (39.5% saved)

series272.0ms (2%)

Error

1.6b

Counts

4 → 35

Calls

4 calls:

80.0ms	(cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
79.0ms	(cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
53.0ms	(/.f64 (sin.f64 ky) (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))
14.0ms	(pow.f64 (sin.f64 ky) 2)

Compiler

Compiled 3300 to 2405 computations (27.1% saved)

simplify166.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

598×	`associate-l_binary64`
590×	`associate-r_binary64`
288×	`times-frac_binary64`
263×	`cancel-sign-sub-inv_binary64`
252×	`associate-/l*_binary64`

Counts

152 → 134

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	234	4819
1	488	4399
2	1269	4341
3	4655	4341
4	4965	4341

prune177.0ms (1.3%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	132	2	134
Fresh	1	6	7
Picked	1	0	1
Done	0	2	2
Total	134	10	144

Error

1.6b

Counts

144 → 10

Alt Table

Status	Error	Program
	12.1b	(.f64 (.f64 (sin.f64 ky) (sqrt.f64 (cbrt.f64 (pow.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 3)))) (sin.f64 th))
	12.2b	(.f64 (.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 6) (pow.f64 (sin.f64 ky) 6)))) (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 kx) 2)) (-.f64 (.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 ky) 2)) (*.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (sin.f64 th))
	46.9b	(.f64 (/.f64 (sin.f64 ky) (+.f64 (sin.f64 kx) (.f64 1/2 (/.f64 (*.f64 ky ky) (sin.f64 kx))))) (sin.f64 th))
	15.8b	(*.f64 (cbrt.f64 (pow.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) 3)) (sin.f64 th))
	6.0b	(.f64 (/.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (sin.f64 ky)) 2) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 1/6)) (/.f64 (cbrt.f64 (sin.f64 ky)) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 1/6))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sin.f64 th))
	7.7b	(*.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 6)) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 th))
	4.9b	(*.f64 (/.f64 (/.f64 (neg.f64 (sin.f64 ky)) (neg.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sin.f64 th))
	4.7b	(.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (.f64 (pow.f64 (cbrt.f64 (sin.f64 kx)) 4) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2)) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 th))
	42.8b	(.f64 (/.f64 (sin.f64 ky) (+.f64 (sin.f64 ky) (.f64 1/2 (/.f64 (*.f64 kx kx) (sin.f64 ky))))) (sin.f64 th))
	4.8b	(.f64 (.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sin.f64 th))

Compiler

Compiled 4213 to 2616 computations (37.9% saved)

regimes4.1s (29.2%)

Accuracy

Total 1.3b remaining (40.9%)

Threshold costs 0b (0%)

Compiler

Compiled 61677 to 44843 computations (27.3% saved)

bsearch11.0ms (0.1%)

Compiler: Compiled 16 to 12 computations (25% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
2×	`+-commutative_binary64`
1×	`1-exp_binary64` `*-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	118
1	41	118
2	40	118

end2.0ms (0%)

Compiler: Compiled 76 to 43 computations (43.4% saved)

sample5.3s (38.3%)

Algorithm

1×

intervals

Results

3.5s	4657×	body	1024	valid
683.0ms	1399×	body	512	valid
186.0ms	1422×	body	128	valid
151.0ms	507×	body	256	valid
18.0ms	15×	body	2048	valid

Compiler

Compiled 386 to 263 computations (31.9% saved)

Details

analyze1.4s (10%)

sample155.0ms (1.1%)

simplify108.0ms (0.8%)

prune3.0ms (0%)

localize14.0ms (0.1%)

rewrite203.0ms (1.5%)

series166.0ms (1.2%)

simplify147.0ms (1.1%)

prune88.0ms (0.6%)

localize17.0ms (0.1%)

rewrite124.0ms (0.9%)

series134.0ms (1%)

simplify125.0ms (0.9%)

prune77.0ms (0.6%)

localize14.0ms (0.1%)

rewrite289.0ms (2.1%)

series220.0ms (1.6%)

simplify219.0ms (1.6%)

prune118.0ms (0.9%)

localize18.0ms (0.1%)

rewrite243.0ms (1.8%)

series272.0ms (2%)

simplify166.0ms (1.2%)

prune177.0ms (1.3%)

regimes4.1s (29.2%)

bsearch11.0ms (0.1%)

simplify4.0ms (0%)

end2.0ms (0%)

sample5.3s (38.3%)

Profiling