Details

analyze3.5s (13.3%)

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
0%	99.9%	0.1%	8
0%	99.9%	0.1%	9
0%	99.9%	0.1%	10
0%	99.5%	0.5%	11
0%	99.1%	0.9%	12
0.4%	97.3%	2.3%	13
0.7%	95.8%	3.5%	14

Compiler

Compiled 29 to 22 computations (24.1% saved)

sample550.0ms (2.1%)

Algorithm

1×

intervals

Results

209.0ms	39×	body	4096	invalid
110.0ms	134×	body	1024	valid
75.0ms	34×	body	2048	invalid
27.0ms	11×	body	4096	valid
26.0ms	24×	body	2048	valid
24.0ms	49×	body	512	valid
22.0ms	29×	body	1024	invalid
11.0ms	14×	body	256	valid
7.0ms	43×	body	128	invalid
6.0ms	13×	body	512	invalid
5.0ms	16×	body	256	invalid
4.0ms	24×	body	128	valid

Compiler

Compiled 60 to 46 computations (23.3% saved)

simplify39.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

856×	`associate-*l/_binary64`
417×	`associate-/r/_binary64`
392×	`associate-/r*_binary64`
347×	`distribute-rgt-in_binary64`
323×	`distribute-lft-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	20	38
1	52	35
2	174	32
3	820	32
4	4966	32
5	4943	32

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

38.7b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	38.7b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))

Compiler

Compiled 72 to 51 computations (29.2% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
0.8b	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
14.7b	(/.f64 (pow.f64 t 3) (*.f64 l l))
27.1b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

rewrite360.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

27.5b

Rules

38×	`add-exp-log_binary64`
29×	`associate-*l/_binary64`
29×	`pow1_binary64`
28×	`add-cube-cbrt_binary64`
24×	`prod-exp_binary64`

Counts

4 → 180

Calls

4 calls:

18.0ms	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
18.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
17.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))
17.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

Compiler

Compiled 4468 to 2248 computations (49.7% saved)

series242.0ms (0.9%)

Error

19.7b

Counts

4 → 36

Calls

4 calls:

85.0ms	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
67.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))
62.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
17.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

Compiler

Compiled 1873 to 1425 computations (23.9% saved)

simplify175.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

282×	`associate-l_binary64`
232×	`associate-r_binary64`
223×	`times-frac_binary64`
203×	`associate-/r*_binary64`
185×	`associate-/l*_binary64`

Counts

216 → 140

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	230	4740
1	595	4242
2	3036	4221
3	4973	4221
4	5022	4221

prune131.0ms (0.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	130	10	140
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	131	10	141

Error

15.6b

Counts

141 → 10

Alt Table

Status	Error	Program
	38.7b	(/.f64 2 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))) (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))) (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))))
	20.4b	(/.f64 2 (/.f64 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))) (.f64 (cos.f64 k) (*.f64 l l))))
	48.2b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (fabs.f64 (/.f64 (pow.f64 t 3/2) l)) (fabs.f64 (/.f64 (pow.f64 t 3/2) l))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	38.7b	(/.f64 (/.f64 2 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (*.f64 l l))) (tan.f64 k))) (pow.f64 (/.f64 k t) 2))
	36.9b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)) (.f64 (/.f64 k t) (cbrt.f64 (/.f64 k t)))) (pow.f64 (cbrt.f64 (/.f64 k t)) 2)))
▶	20.4b	(.f64 2 (/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2)))))
	50.8b	(/.f64 2 (.f64 (.f64 (/.f64 k t) (sqrt.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)))) (.f64 (/.f64 k t) (sqrt.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (*.f64 l l))) (tan.f64 k))))))
	38.2b	(.f64 (/.f64 2 (.f64 (.f64 (pow.f64 (sin.f64 k) 2) (pow.f64 t 3)) (pow.f64 (/.f64 k t) 2))) (.f64 (*.f64 l l) (cos.f64 k)))
	30.1b	(/.f64 2 (/.f64 (.f64 t (pow.f64 k 4)) (.f64 l l)))
	32.2b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 (*.f64 t t) l) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))

Compiler

Compiled 2925 to 1578 computations (46.1% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(pow.f64 (sin.f64 k) 2)
1.6b	(*.f64 t (pow.f64 (sin.f64 k) 2))
6.7b	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
19.1b	(/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))))

rewrite292.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

12.9b

Rules

29×	`add-exp-log_binary64`
21×	`add-cube-cbrt_binary64`
20×	`add-cbrt-cube_binary64`
19×	`add-sqr-sqrt_binary64`
18×	`prod-exp_binary64`

Counts

4 → 157

Calls

4 calls:

20.0ms	(/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))))
16.0ms	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
14.0ms	(pow.f64 (sin.f64 k) 2)
13.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))

Compiler

Compiled 3209 to 1377 computations (57.1% saved)

series124.0ms (0.5%)

Error

15.6b

Counts

4 → 28

Calls

4 calls:

66.0ms	(/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))))
22.0ms	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
17.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
7.0ms	(pow.f64 (sin.f64 k) 2)

Compiler

Compiled 1413 to 988 computations (30.1% saved)

simplify139.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

861×	`unswap-sqr_binary64`
531×	`fma-def_binary64`
186×	`associate-r_binary64`
181×	`associate-l_binary64`
174×	`times-frac_binary64`

Counts

185 → 90

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	173	2576
1	416	2345
2	1990	2317
3	4482	2317
4	4997	2317
5	4974	2317

prune98.0ms (0.4%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	79	11	90
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	83	17	100

Error

13.7b

Counts

100 → 17

Alt Table

Status	Error	Program
	23.3b	(.f64 2 (/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (.f64 t (cbrt.f64 (pow.f64 (pow.f64 (sin.f64 k) 2) 3))))))
	27.2b	(.f64 2 (/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (.f64 t (/.f64 (-.f64 1 (cos.f64 (+.f64 k k))) 2)))))
	20.6b	(.f64 2 (/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 t (.f64 k k)) (pow.f64 (sin.f64 k) 2))))
	38.7b	(/.f64 2 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))) (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))) (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))))
	20.4b	(/.f64 2 (/.f64 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))) (.f64 (cos.f64 k) (*.f64 l l))))
	29.8b	(.f64 2 (/.f64 (.f64 (cos.f64 k) (.f64 l l)) (cbrt.f64 (pow.f64 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))) 3))))
	20.5b	(.f64 2 (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))))) (cbrt.f64 (/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2)))))) (cbrt.f64 (/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2)))))))
	21.9b	(.f64 2 (/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (.f64 t (sqrt.f64 (pow.f64 (sin.f64 k) 4))))))
	19.8b	(.f64 2 (/.f64 (cos.f64 k) (/.f64 (.f64 k k) (/.f64 (.f64 l l) (.f64 t (pow.f64 (sin.f64 k) 2))))))
	20.7b	(.f64 2 (/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (.f64 (*.f64 t (pow.f64 (cbrt.f64 (sin.f64 k)) 4)) (pow.f64 (cbrt.f64 (sin.f64 k)) 2)))))
	20.5b	(.f64 2 (/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (pow.f64 (sin.f64 k) 2) (cbrt.f64 t))))))
	30.1b	(/.f64 2 (/.f64 (.f64 t (pow.f64 k 4)) (.f64 l l)))
	43.3b	(.f64 2 (/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k (fabs.f64 (.f64 (sin.f64 k) (sqrt.f64 t)))) (.f64 k (fabs.f64 (.f64 (sin.f64 k) (sqrt.f64 t)))))))
	32.2b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 (*.f64 t t) l) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	48.2b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (fabs.f64 (/.f64 (pow.f64 t 3/2) l)) (fabs.f64 (/.f64 (pow.f64 t 3/2) l))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	36.9b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)) (.f64 (/.f64 k t) (cbrt.f64 (/.f64 k t)))) (pow.f64 (cbrt.f64 (/.f64 k t)) 2)))
▶	19.5b	(.f64 2 (/.f64 (.f64 (.f64 l l) (/.f64 (cos.f64 k) (.f64 k k))) (*.f64 t (pow.f64 (sin.f64 k) 2))))

Compiler

Compiled 2174 to 1131 computations (48% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(/.f64 (cos.f64 k) (*.f64 k k))
1.6b	(*.f64 t (pow.f64 (sin.f64 k) 2))
5.4b	(/.f64 (.f64 (.f64 l l) (/.f64 (cos.f64 k) (.f64 k k))) (.f64 t (pow.f64 (sin.f64 k) 2)))
15.6b	(.f64 (.f64 l l) (/.f64 (cos.f64 k) (*.f64 k k)))

rewrite353.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

9.0b

Rules

38×	`add-exp-log_binary64`
24×	`add-cbrt-cube_binary64`
24×	`add-cube-cbrt_binary64`
20×	`add-sqr-sqrt_binary64`
18×	`prod-exp_binary64`

Counts

4 → 172

Calls

4 calls:

19.0ms	(/.f64 (.f64 (.f64 l l) (/.f64 (cos.f64 k) (.f64 k k))) (.f64 t (pow.f64 (sin.f64 k) 2)))
15.0ms	(.f64 (.f64 l l) (/.f64 (cos.f64 k) (*.f64 k k)))
15.0ms	(/.f64 (cos.f64 k) (*.f64 k k))
14.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))

Compiler

Compiled 3580 to 1298 computations (63.7% saved)

series136.0ms (0.5%)

Error

13.7b

Counts

4 → 28

Calls

4 calls:

65.0ms	(/.f64 (.f64 (.f64 l l) (/.f64 (cos.f64 k) (.f64 k k))) (.f64 t (pow.f64 (sin.f64 k) 2)))
22.0ms	(.f64 (.f64 l l) (/.f64 (cos.f64 k) (*.f64 k k)))
17.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
8.0ms	(/.f64 (cos.f64 k) (*.f64 k k))

Compiler

Compiled 1426 to 1036 computations (27.3% saved)

simplify125.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

581×	`unswap-sqr_binary64`
235×	`fma-neg_binary64`
220×	`times-frac_binary64`
176×	`associate-l_binary64`
155×	`associate-r_binary64`

Counts

200 → 98

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	189	2978
1	481	2641
2	2251	2626
3	5000	2626
4	5193	2626

prune143.0ms (0.5%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	89	9	98
Fresh	10	6	16
Picked	1	0	1
Done	0	0	0
Total	100	15	115

Error

10.6b

Counts

115 → 15

Alt Table

Status	Error	Program
	23.3b	(.f64 2 (/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (.f64 t (cbrt.f64 (pow.f64 (pow.f64 (sin.f64 k) 2) 3))))))
	27.2b	(.f64 2 (/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (.f64 t (/.f64 (-.f64 1 (cos.f64 (+.f64 k k))) 2)))))
	20.5b	(.f64 2 (/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (pow.f64 (sin.f64 k) 2) (cbrt.f64 t))))))
	27.8b	(.f64 2 (/.f64 (.f64 (.f64 l l) (cbrt.f64 (pow.f64 (/.f64 (cos.f64 k) (.f64 k k)) 3))) (*.f64 t (pow.f64 (sin.f64 k) 2))))
	20.4b	(.f64 2 (/.f64 (.f64 l l) (.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (/.f64 (*.f64 k k) (cos.f64 k)))))
	30.1b	(/.f64 2 (/.f64 (.f64 t (pow.f64 k 4)) (.f64 l l)))
	31.2b	(.f64 2 (/.f64 (.f64 (.f64 l l) (/.f64 (cos.f64 k) (.f64 k k))) (.f64 (cbrt.f64 (.f64 t (.f64 (pow.f64 (sin.f64 k) 4) t))) (cbrt.f64 (.f64 t (pow.f64 (sin.f64 k) 2))))))
	32.2b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 (*.f64 t t) l) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	42.2b	(.f64 2 (/.f64 (.f64 (.f64 l l) (/.f64 (cos.f64 k) (.f64 k k))) (.f64 (.f64 (sin.f64 k) (sqrt.f64 t)) (*.f64 (sin.f64 k) (sqrt.f64 t)))))
	24.1b	(.f64 2 (/.f64 (.f64 (.f64 l l) (.f64 (cbrt.f64 (pow.f64 (/.f64 (cos.f64 k) (.f64 k k)) 2)) (cbrt.f64 (/.f64 (cos.f64 k) (.f64 k k))))) (*.f64 t (pow.f64 (sin.f64 k) 2))))
▶	17.1b	(.f64 2 (/.f64 (/.f64 (.f64 (/.f64 (.f64 l l) k) (cos.f64 k)) k) (.f64 t (pow.f64 (sin.f64 k) 2))))
	19.5b	(.f64 2 (/.f64 1 (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (/.f64 (.f64 (cos.f64 k) (.f64 l l)) (*.f64 k k)))))
	23.1b	(.f64 2 (/.f64 (.f64 (fabs.f64 (.f64 l (sqrt.f64 (/.f64 (cos.f64 k) (.f64 k k))))) (fabs.f64 (.f64 l (sqrt.f64 (/.f64 (cos.f64 k) (.f64 k k)))))) (*.f64 t (pow.f64 (sin.f64 k) 2))))
	48.2b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (fabs.f64 (/.f64 (pow.f64 t 3/2) l)) (fabs.f64 (/.f64 (pow.f64 t 3/2) l))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	21.3b	(.f64 2 (/.f64 (.f64 (/.f64 (cos.f64 k) (.f64 k k)) (/.f64 (.f64 l l) t)) (pow.f64 (sin.f64 k) 2)))

Compiler

Compiled 2178 to 1079 computations (50.5% saved)

localize41.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.6b	(*.f64 t (pow.f64 (sin.f64 k) 2))
4.9b	(/.f64 (.f64 (/.f64 (.f64 l l) k) (cos.f64 k)) k)
5.4b	(/.f64 (/.f64 (.f64 (/.f64 (.f64 l l) k) (cos.f64 k)) k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
6.7b	(/.f64 (*.f64 l l) k)

rewrite347.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

5.8b

Rules

38×	`add-exp-log_binary64`
36×	`add-cube-cbrt_binary64`
26×	`add-cbrt-cube_binary64`
18×	`add-sqr-sqrt_binary64`
17×	`pow1_binary64`

Counts

4 → 173

Calls

4 calls:

18.0ms	(/.f64 (/.f64 (.f64 (/.f64 (.f64 l l) k) (cos.f64 k)) k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
16.0ms	(/.f64 (.f64 (/.f64 (.f64 l l) k) (cos.f64 k)) k)
16.0ms	(/.f64 (*.f64 l l) k)
15.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))

Compiler

Compiled 3760 to 1350 computations (64.1% saved)

series133.0ms (0.5%)

Error

10.6b

Counts

4 → 30

Calls

4 calls:

68.0ms	(/.f64 (/.f64 (.f64 (/.f64 (.f64 l l) k) (cos.f64 k)) k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
23.0ms	(/.f64 (.f64 (/.f64 (.f64 l l) k) (cos.f64 k)) k)
18.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
15.0ms	(/.f64 (*.f64 l l) k)

Compiler

Compiled 1491 to 1084 computations (27.3% saved)

simplify122.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

498×	`associate-/r/_binary64`
312×	`unswap-sqr_binary64`
265×	`fma-neg_binary64`
173×	`times-frac_binary64`
126×	`associate-/l*_binary64`

Counts

203 → 102

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	182	2987
1	454	2676
2	1848	2637
3	4877	2637
4	5086	2637

prune123.0ms (0.5%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	94	8	102
Fresh	5	9	14
Picked	1	0	1
Done	0	0	0
Total	100	17	117

Error

8.0b

Counts

117 → 17

Alt Table

Status	Error	Program
	25.1b	(.f64 2 (/.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 l l) k) 3)) (cos.f64 k)) k) (.f64 t (pow.f64 (sin.f64 k) 2))))
	19.6b	(.f64 2 (/.f64 (/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 (*.f64 k k) t)) (pow.f64 (sin.f64 k) 2)))
	24.1b	(.f64 2 (/.f64 (.f64 (.f64 l l) (.f64 (cbrt.f64 (pow.f64 (/.f64 (cos.f64 k) (.f64 k k)) 2)) (cbrt.f64 (/.f64 (cos.f64 k) (.f64 k k))))) (*.f64 t (pow.f64 (sin.f64 k) 2))))
	16.6b	(.f64 2 (/.f64 (.f64 (/.f64 (.f64 l l) k) (cos.f64 k)) (.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2)))))
	20.5b	(.f64 2 (/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (pow.f64 (sin.f64 k) 2) (cbrt.f64 t))))))
	41.2b	(.f64 2 (/.f64 (/.f64 (.f64 (/.f64 (.f64 l l) k) (cos.f64 k)) k) (.f64 (.f64 (sin.f64 k) (sqrt.f64 t)) (.f64 (sin.f64 k) (sqrt.f64 t)))))
	31.2b	(.f64 2 (/.f64 (.f64 (.f64 l l) (/.f64 (cos.f64 k) (.f64 k k))) (.f64 (cbrt.f64 (.f64 t (.f64 (pow.f64 (sin.f64 k) 4) t))) (cbrt.f64 (.f64 t (pow.f64 (sin.f64 k) 2))))))
	32.2b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 (*.f64 t t) l) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	13.9b	(.f64 2 (/.f64 (/.f64 (.f64 (/.f64 (.f64 l (/.f64 l (.f64 (cbrt.f64 k) (cbrt.f64 k)))) (cbrt.f64 k)) (cos.f64 k)) k) (*.f64 t (pow.f64 (sin.f64 k) 2))))
	23.1b	(.f64 2 (/.f64 (.f64 (fabs.f64 (.f64 l (sqrt.f64 (/.f64 (cos.f64 k) (.f64 k k))))) (fabs.f64 (.f64 l (sqrt.f64 (/.f64 (cos.f64 k) (.f64 k k)))))) (*.f64 t (pow.f64 (sin.f64 k) 2))))
	21.3b	(.f64 2 (/.f64 (.f64 (/.f64 (cos.f64 k) (.f64 k k)) (/.f64 (.f64 l l) t)) (pow.f64 (sin.f64 k) 2)))
	17.3b	(.f64 2 (/.f64 (/.f64 (.f64 (/.f64 (.f64 l l) k) (cos.f64 k)) k) (.f64 (.f64 t (.f64 (sin.f64 k) (cbrt.f64 (sin.f64 k)))) (pow.f64 (cbrt.f64 (sin.f64 k)) 2))))
	17.3b	(.f64 2 (/.f64 (/.f64 (.f64 (/.f64 (.f64 l l) k) (cos.f64 k)) k) (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (pow.f64 (sin.f64 k) 2) (cbrt.f64 t)))))
	20.4b	(.f64 2 (/.f64 (.f64 l l) (.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (/.f64 (*.f64 k k) (cos.f64 k)))))
	55.6b	(.f64 2 (/.f64 (/.f64 (exp.f64 (+.f64 (-.f64 (.f64 2 (log.f64 l)) (log.f64 k)) (log.f64 (cos.f64 k)))) k) (*.f64 t (pow.f64 (sin.f64 k) 2))))
	19.5b	(.f64 2 (/.f64 1 (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (/.f64 (.f64 (cos.f64 k) (.f64 l l)) (*.f64 k k)))))
	48.2b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (fabs.f64 (/.f64 (pow.f64 t 3/2) l)) (fabs.f64 (/.f64 (pow.f64 t 3/2) l))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))

Compiler

Compiled 1985 to 880 computations (55.7% saved)

regimes3.8s (14.6%)

Accuracy

Total 3.1b remaining (28.6%)

Threshold costs 0b (0%)

Compiler

Compiled 53287 to 35824 computations (32.8% saved)

bsearch14.0ms (0.1%)

Compiler: Compiled 6 to 4 computations (33.3% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	143
1	50	143
2	50	143

end1.0ms (0%)

Compiler: Compiled 97 to 52 computations (46.4% saved)

sample15.2s (57.9%)

Algorithm

1×

intervals

Results

4.4s	1231×	body	4096	invalid
3.1s	3965×	body	1024	valid
2.5s	1102×	body	2048	invalid
1.2s	455×	body	4096	valid
1.2s	996×	body	2048	valid
663.0ms	1340×	body	512	valid
530.0ms	725×	body	1024	invalid
249.0ms	520×	body	512	invalid
173.0ms	1077×	body	128	invalid
147.0ms	449×	body	256	valid
134.0ms	795×	body	128	valid
109.0ms	313×	body	256	invalid

Compiler

Compiled 591 to 377 computations (36.2% saved)

Details

analyze3.5s (13.3%)

sample550.0ms (2.1%)

simplify39.0ms (0.1%)

prune4.0ms (0%)

localize17.0ms (0.1%)

rewrite360.0ms (1.4%)

series242.0ms (0.9%)

simplify175.0ms (0.7%)

prune131.0ms (0.5%)

localize17.0ms (0.1%)

rewrite292.0ms (1.1%)

series124.0ms (0.5%)

simplify139.0ms (0.5%)

prune98.0ms (0.4%)

localize15.0ms (0.1%)

rewrite353.0ms (1.3%)

series136.0ms (0.5%)

simplify125.0ms (0.5%)

prune143.0ms (0.5%)

localize41.0ms (0.2%)

rewrite347.0ms (1.3%)

series133.0ms (0.5%)

simplify122.0ms (0.5%)

prune123.0ms (0.5%)

regimes3.8s (14.6%)

bsearch14.0ms (0.1%)

simplify6.0ms (0%)

end1.0ms (0%)

sample15.2s (57.9%)

Profiling