Details

analyze4.6s (9.6%)

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)

sample430.0ms (0.9%)

Algorithm

1×

intervals

Results

103.0ms	125×	body	1024	valid
94.0ms	37×	body	4096	invalid
79.0ms	33×	body	2048	invalid
48.0ms	37×	body	2048	valid
26.0ms	15×	body	4096	valid
23.0ms	43×	body	512	valid
12.0ms	16×	body	1024	invalid
6.0ms	12×	body	512	invalid
5.0ms	29×	body	128	invalid
5.0ms	13×	body	256	valid
4.0ms	23×	body	128	valid
4.0ms	11×	body	256	invalid

Compiler

Compiled 60 to 46 computations (23.3% saved)

simplify25.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Counts

1 → 1

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	20	38
1	52	35
2	172	32
3	806	32
4	5185	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

40.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	40.4b	(/.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)

localize16.0ms (0%)

Local error

Found 4 expressions with local error:

0.8b	(/.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)))
1.0b	(.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))
29.3b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

rewrite405.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

26.6b

Rules

405×	`add-exp-log_binary64`
237×	`prod-exp_binary64`
115×	`div-exp_binary64`
70×	`add-cbrt-cube_binary64`
56×	`pow-exp_binary64`

Counts

4 → 206

Calls

4 calls:

22.0ms	(.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 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
9.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
5.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

Compiler

Compiled 5045 to 2433 computations (51.8% saved)

series543.0ms (1.1%)

Error

22.8b

Counts

4 → 35

Calls

4 calls:

206.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)))
141.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))
134.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
39.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

Compiler

Compiled 1790 to 1362 computations (23.9% saved)

simplify286.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

521×	`associate-/l/_binary64`
445×	`associate-l_binary64`
383×	`unswap-sqr_binary64`
322×	`associate-r_binary64`
235×	`associate-/r*_binary64`

Counts

241 → 220

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	309	7253
1	653	6227
2	3011	6190
3	5219	6190

prune211.0ms (0.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	210	10	220
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	211	10	221

Error

17.2b

Counts

221 → 10

Alt Table

Status	Error	Program
	47.9b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3/2) l) (/.f64 (pow.f64 t 3/2) l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	29.7b	(/.f64 2 (/.f64 (.f64 t (pow.f64 k 4)) (.f64 l l)))
	40.2b	(.f64 (/.f64 1 (.f64 (tan.f64 k) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))))) (/.f64 2 (pow.f64 (/.f64 k t) 2)))
	43.3b	(/.f64 2 (.f64 (.f64 (.f64 (tan.f64 k) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l)))) (.f64 k (cbrt.f64 k))) (pow.f64 (/.f64 (cbrt.f64 k) t) 2)))
	42.1b	(cbrt.f64 (pow.f64 (/.f64 2 (.f64 (pow.f64 (/.f64 k t) 2) (.f64 (tan.f64 k) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l)))))) 3))
	28.0b	(.f64 (/.f64 l (/.f64 t l)) (-.f64 (/.f64 2 (pow.f64 k 4)) (/.f64 1/3 (.f64 k k))))
	37.1b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 t (/.f64 l (/.f64 (.f64 t t) l))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
▶	23.6b	(.f64 2 (/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2)))))
	38.9b	(/.f64 2 (.f64 (.f64 (*.f64 (/.f64 1 (/.f64 l (/.f64 (pow.f64 t 3) l))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	36.9b	(/.f64 2 (.f64 (.f64 (/.f64 k t) (.f64 (tan.f64 k) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (*.f64 l l))))) (/.f64 k t)))

Compiler

Compiled 2536 to 1372 computations (45.9% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(pow.f64 (sin.f64 k) 2)
2.4b	(*.f64 t (pow.f64 (sin.f64 k) 2))
5.8b	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
21.0b	(/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))))

rewrite429.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

11.4b

Rules

163×	`add-exp-log_binary64`
102×	`prod-exp_binary64`
87×	`add-cbrt-cube_binary64`
48×	`cbrt-unprod_binary64`
27×	`div-exp_binary64`

Counts

4 → 124

Calls

4 calls:

22.0ms	(/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))))
14.0ms	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
10.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
4.0ms	(pow.f64 (sin.f64 k) 2)

Compiler

Compiled 3349 to 1274 computations (62% saved)

series283.0ms (0.6%)

Error

17.2b

Counts

4 → 34

Calls

4 calls:

140.0ms	(/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))))
53.0ms	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
38.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
18.0ms	(pow.f64 (sin.f64 k) 2)

Compiler

Compiled 1748 to 1204 computations (31.1% saved)

simplify209.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

563×	`associate-/l/_binary64`
491×	`times-frac_binary64`
277×	`associate-/r/_binary64`
264×	`cancel-sign-sub-inv_binary64`
234×	`associate-r_binary64`

Counts

158 → 120

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	211	4083
1	491	2998
2	2437	2986
3	4726	2958
4	5032	2958

prune151.0ms (0.3%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	111	9	120
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	113	17	130

Error

12.4b

Counts

130 → 17

Alt Table

Status	Error	Program
	40.2b	(.f64 (/.f64 1 (.f64 (tan.f64 k) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))))) (/.f64 2 (pow.f64 (/.f64 k t) 2)))
▶	22.0b	(.f64 2 (/.f64 (cos.f64 k) (/.f64 (.f64 k k) (/.f64 (.f64 l l) (.f64 t (pow.f64 (sin.f64 k) 2))))))
	43.3b	(/.f64 2 (.f64 (.f64 (.f64 (tan.f64 k) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l)))) (.f64 k (cbrt.f64 k))) (pow.f64 (/.f64 (cbrt.f64 k) t) 2)))
	24.1b	(.f64 2 (/.f64 1 (/.f64 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))) (.f64 (.f64 l l) (cos.f64 k)))))
	42.1b	(cbrt.f64 (pow.f64 (/.f64 2 (.f64 (pow.f64 (/.f64 k t) 2) (.f64 (tan.f64 k) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l)))))) 3))
	46.1b	(.f64 2 (exp.f64 (+.f64 (.f64 2 (log.f64 (/.f64 l k))) (log.f64 (/.f64 (cos.f64 k) (*.f64 t (pow.f64 (sin.f64 k) 2)))))))
	37.1b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 t (/.f64 l (/.f64 (.f64 t t) l))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	23.6b	(.f64 2 (/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (.f64 (*.f64 t (sin.f64 k)) (pow.f64 (sin.f64 k) (/.f64 2 2))))))
	36.9b	(/.f64 2 (.f64 (.f64 (/.f64 k t) (.f64 (tan.f64 k) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (*.f64 l l))))) (/.f64 k t)))
	31.2b	(.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))))
	29.0b	(.f64 2 (.f64 (sqrt.f64 (/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))))) (sqrt.f64 (/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2)))))))
	23.7b	(.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)))))))
	29.3b	(.f64 2 (-.f64 (/.f64 (.f64 l l) (.f64 (pow.f64 k 4) t)) (.f64 1/6 (/.f64 (.f64 l l) (.f64 t (*.f64 k k))))))
	28.0b	(.f64 (/.f64 l (/.f64 t l)) (-.f64 (/.f64 2 (pow.f64 k 4)) (/.f64 1/3 (.f64 k k))))
	38.9b	(/.f64 2 (.f64 (.f64 (*.f64 (/.f64 1 (/.f64 l (/.f64 (pow.f64 t 3) l))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	47.9b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3/2) l) (/.f64 (pow.f64 t 3/2) l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	22.2b	(.f64 2 (/.f64 (.f64 (/.f64 (cos.f64 k) (.f64 k k)) (.f64 l l)) (*.f64 t (pow.f64 (sin.f64 k) 2))))

Compiler

Compiled 1870 to 1031 computations (44.9% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.7b	(/.f64 (cos.f64 k) (/.f64 (.f64 k k) (/.f64 (.f64 l l) (*.f64 t (pow.f64 (sin.f64 k) 2)))))
2.4b	(*.f64 t (pow.f64 (sin.f64 k) 2))
10.9b	(/.f64 (.f64 l l) (.f64 t (pow.f64 (sin.f64 k) 2)))
16.1b	(/.f64 (.f64 k k) (/.f64 (.f64 l l) (*.f64 t (pow.f64 (sin.f64 k) 2))))

rewrite674.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

4.4b

Rules

207×	`add-exp-log_binary64`
112×	`add-cbrt-cube_binary64`
95×	`div-exp_binary64`
71×	`prod-exp_binary64`
62×	`times-frac_binary64`

Counts

4 → 186

Calls

4 calls:

24.0ms	(/.f64 (cos.f64 k) (/.f64 (.f64 k k) (/.f64 (.f64 l l) (*.f64 t (pow.f64 (sin.f64 k) 2)))))
18.0ms	(/.f64 (.f64 k k) (/.f64 (.f64 l l) (*.f64 t (pow.f64 (sin.f64 k) 2))))
14.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
11.0ms	(/.f64 (.f64 l l) (.f64 t (pow.f64 (sin.f64 k) 2)))

Compiler

Compiled 5388 to 2251 computations (58.2% saved)

series415.0ms (0.9%)

Error

12.4b

Counts

4 → 37

Calls

4 calls:

148.0ms	(/.f64 (cos.f64 k) (/.f64 (.f64 k k) (/.f64 (.f64 l l) (*.f64 t (pow.f64 (sin.f64 k) 2)))))
104.0ms	(/.f64 (.f64 k k) (/.f64 (.f64 l l) (*.f64 t (pow.f64 (sin.f64 k) 2))))
96.0ms	(/.f64 (.f64 l l) (.f64 t (pow.f64 (sin.f64 k) 2)))
37.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))

Compiler

Compiled 1856 to 1348 computations (27.4% saved)

simplify429.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

305×	`times-frac_binary64`
280×	`sub-neg_binary64`
256×	`log-prod_binary64`
229×	`associate-/r/_binary64`
227×	`associate-/l*_binary64`

Counts

223 → 182

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	287	6811
1	613	5453
2	2726	5433
3	3906	5364
4	4872	5306
5	4974	5306

prune320.0ms (0.7%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	172	10	182
Fresh	9	7	16
Picked	1	0	1
Done	0	0	0
Total	182	17	199

Error

4.4b

Counts

199 → 17

Alt Table

Status	Error	Program
	38.0b	(.f64 2 (.f64 (.f64 (.f64 l l) (/.f64 (sqrt.f64 (cos.f64 k)) k)) (/.f64 (sqrt.f64 (cos.f64 k)) (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))))))
	40.2b	(.f64 (/.f64 1 (.f64 (tan.f64 k) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))))) (/.f64 2 (pow.f64 (/.f64 k t) 2)))
	20.5b	(.f64 2 (.f64 (/.f64 (.f64 (cbrt.f64 (cos.f64 k)) (cbrt.f64 (cos.f64 k))) k) (/.f64 (cbrt.f64 (cos.f64 k)) (/.f64 k (/.f64 (.f64 l l) (*.f64 t (pow.f64 (sin.f64 k) 2)))))))
	47.9b	(.f64 2 (/.f64 (cos.f64 k) (exp.f64 (+.f64 (log.f64 t) (.f64 2 (log.f64 (*.f64 (/.f64 k l) (sin.f64 k))))))))
	20.4b	(.f64 2 (/.f64 (/.f64 (cos.f64 k) k) (/.f64 k (/.f64 (.f64 l l) (*.f64 t (pow.f64 (sin.f64 k) 2))))))
	17.1b	(.f64 2 (/.f64 (cos.f64 k) (/.f64 (.f64 k k) (/.f64 l (/.f64 t (/.f64 l (pow.f64 (sin.f64 k) 2)))))))
	28.0b	(.f64 (/.f64 l (/.f64 t l)) (-.f64 (/.f64 2 (pow.f64 k 4)) (/.f64 1/3 (.f64 k k))))
	19.8b	(.f64 2 (.f64 (/.f64 (.f64 l l) k) (/.f64 (cos.f64 k) (.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2))))))
	21.3b	(.f64 2 (/.f64 (cos.f64 k) (/.f64 (.f64 (/.f64 k (.f64 (cbrt.f64 (/.f64 (.f64 l l) (.f64 t (pow.f64 (sin.f64 k) 2)))) (cbrt.f64 (/.f64 (.f64 l l) (.f64 t (pow.f64 (sin.f64 k) 2)))))) k) (cbrt.f64 (/.f64 (.f64 l l) (*.f64 t (pow.f64 (sin.f64 k) 2)))))))
▶	9.0b	(.f64 2 (.f64 (/.f64 (/.f64 l t) k) (/.f64 (cos.f64 k) (/.f64 k (/.f64 l (pow.f64 (sin.f64 k) 2))))))
	36.9b	(/.f64 2 (.f64 (.f64 (/.f64 k t) (.f64 (tan.f64 k) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (*.f64 l l))))) (/.f64 k t)))
	29.0b	(.f64 2 (.f64 (sqrt.f64 (/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))))) (sqrt.f64 (/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2)))))))
	42.1b	(cbrt.f64 (pow.f64 (/.f64 2 (.f64 (pow.f64 (/.f64 k t) 2) (.f64 (tan.f64 k) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l)))))) 3))
	19.8b	(.f64 2 (/.f64 (.f64 (.f64 l l) (/.f64 (cos.f64 k) k)) (/.f64 k (/.f64 1 (.f64 t (pow.f64 (sin.f64 k) 2))))))
	37.1b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 t (/.f64 l (/.f64 (.f64 t t) l))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	12.6b	(.f64 2 (/.f64 (cos.f64 k) (/.f64 (.f64 (/.f64 k (/.f64 l t)) k) (/.f64 l (pow.f64 (sin.f64 k) 2)))))
	38.9b	(/.f64 2 (.f64 (.f64 (*.f64 (/.f64 1 (/.f64 l (/.f64 (pow.f64 t 3) l))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))

Compiler

Compiled 3002 to 1522 computations (49.3% saved)

localize30.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(/.f64 (cos.f64 k) (/.f64 k (/.f64 l (pow.f64 (sin.f64 k) 2))))
3.1b	(/.f64 l (pow.f64 (sin.f64 k) 2))
4.1b	(*.f64 (/.f64 (/.f64 l t) k) (/.f64 (cos.f64 k) (/.f64 k (/.f64 l (pow.f64 (sin.f64 k) 2)))))
6.8b	(/.f64 (/.f64 l t) k)

rewrite3.6s (7.7%)

Algorithm

1×	rewrite-expression-head

Error

1.8b

Rules

1857×	`times-frac_binary64`
898×	`add-sqr-sqrt_binary64`
796×	`*-un-lft-identity_binary64`
796×	`add-cube-cbrt_binary64`
272×	`associate-r_binary64`

Counts

4 → 875

Calls

4 calls:

357.0ms	(*.f64 (/.f64 (/.f64 l t) k) (/.f64 (cos.f64 k) (/.f64 k (/.f64 l (pow.f64 (sin.f64 k) 2)))))
42.0ms	(/.f64 (cos.f64 k) (/.f64 k (/.f64 l (pow.f64 (sin.f64 k) 2))))
12.0ms	(/.f64 (/.f64 l t) k)
8.0ms	(/.f64 l (pow.f64 (sin.f64 k) 2))

Compiler

Compiled 31307 to 12558 computations (59.9% saved)

series340.0ms (0.7%)

Error

4.4b

Counts

4 → 33

Calls

4 calls:

145.0ms	(*.f64 (/.f64 (/.f64 l t) k) (/.f64 (cos.f64 k) (/.f64 k (/.f64 l (pow.f64 (sin.f64 k) 2)))))
73.0ms	(/.f64 (cos.f64 k) (/.f64 k (/.f64 l (pow.f64 (sin.f64 k) 2))))
50.0ms	(/.f64 l (pow.f64 (sin.f64 k) 2))
47.0ms	(/.f64 (/.f64 l t) k)

Compiler

Compiled 1592 to 1103 computations (30.7% saved)

simplify1.7s (3.7%)

Algorithm

1×	egg-herbie

Rules

749×	`associate-/r*_binary64`
673×	`times-frac_binary64`
633×	`associate-/r/_binary64`
313×	`*-commutative_binary64`
298×	`associate-*r/_binary64`

Counts

908 → 807

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1274	30669
1	3319	27400
2	4559	27400
3	4497	27400
4	4965	27400
5	4911	27400

prune1.9s (4%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	793	14	807
Fresh	13	3	16
Picked	1	0	1
Done	0	0	0
Total	807	17	824

Error

0.0b

Counts

824 → 17

Alt Table

Status	Error	Program
	40.2b	(.f64 (/.f64 1 (.f64 (tan.f64 k) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))))) (/.f64 2 (pow.f64 (/.f64 k t) 2)))
	38.4b	(.f64 2 (.f64 (/.f64 (/.f64 l (.f64 k t)) (.f64 (sqrt.f64 k) (sin.f64 k))) (/.f64 (cos.f64 k) (/.f64 (sqrt.f64 k) (/.f64 l (sin.f64 k))))))
	13.0b	(.f64 2 (.f64 (/.f64 l 1) (.f64 (/.f64 (.f64 l (cos.f64 k)) (.f64 k (pow.f64 (sin.f64 k) 2))) (/.f64 1 (.f64 k t)))))
	12.9b	(.f64 2 (/.f64 (.f64 (cos.f64 k) (/.f64 l t)) (*.f64 k (/.f64 k (/.f64 l (pow.f64 (sin.f64 k) 2))))))
	40.1b	(.f64 2 (.f64 (/.f64 1 (sqrt.f64 k)) (.f64 (/.f64 (.f64 l (cos.f64 k)) (*.f64 k (pow.f64 (sin.f64 k) 2))) (/.f64 (/.f64 l t) (sqrt.f64 k)))))
	5.9b	(.f64 2 (.f64 (.f64 (/.f64 l (.f64 k t)) (/.f64 (*.f64 (cbrt.f64 (cos.f64 k)) (cbrt.f64 (cos.f64 k))) (sin.f64 k))) (/.f64 (cbrt.f64 (cos.f64 k)) (/.f64 k (/.f64 l (sin.f64 k))))))
	10.5b	(.f64 2 (.f64 (.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) (/.f64 (cbrt.f64 l) (*.f64 k t))) (/.f64 (cos.f64 k) (/.f64 k (/.f64 l (pow.f64 (sin.f64 k) 2))))))
	6.2b	(.f64 2 (.f64 (.f64 (/.f64 l (.f64 k t)) (/.f64 (/.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) (.f64 (cbrt.f64 k) (cbrt.f64 k))) (sin.f64 k))) (/.f64 (cos.f64 k) (/.f64 (cbrt.f64 k) (/.f64 (cbrt.f64 l) (sin.f64 k))))))
	58.5b	(.f64 2 (.f64 (.f64 (sqrt.f64 (/.f64 l (.f64 k t))) (/.f64 (sqrt.f64 (cos.f64 k)) (/.f64 (sqrt.f64 k) (/.f64 (sqrt.f64 l) (sin.f64 k))))) (.f64 (sqrt.f64 (/.f64 l (.f64 k t))) (/.f64 (sqrt.f64 (cos.f64 k)) (/.f64 (sqrt.f64 k) (/.f64 (sqrt.f64 l) (sin.f64 k)))))))
	10.3b	(.f64 2 (.f64 (/.f64 (/.f64 l (*.f64 k t)) (/.f64 k l)) (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2))))
	10.5b	(.f64 2 (.f64 (.f64 (/.f64 l (.f64 k t)) (*.f64 (cbrt.f64 (/.f64 l (pow.f64 (sin.f64 k) 2))) (cbrt.f64 (/.f64 l (pow.f64 (sin.f64 k) 2))))) (/.f64 (cos.f64 k) (/.f64 k (cbrt.f64 (/.f64 l (pow.f64 (sin.f64 k) 2)))))))
	31.5b	(.f64 2 (.f64 (*.f64 (sqrt.f64 (/.f64 l t)) (/.f64 (sqrt.f64 (/.f64 l t)) k)) (/.f64 (cos.f64 k) (/.f64 k (/.f64 l (pow.f64 (sin.f64 k) 2))))))
	20.5b	(.f64 2 (.f64 (/.f64 (.f64 (cbrt.f64 (cos.f64 k)) (cbrt.f64 (cos.f64 k))) k) (/.f64 (cbrt.f64 (cos.f64 k)) (/.f64 k (/.f64 (.f64 l l) (*.f64 t (pow.f64 (sin.f64 k) 2)))))))
	20.4b	(.f64 2 (/.f64 (/.f64 (cos.f64 k) k) (/.f64 k (/.f64 (.f64 l l) (*.f64 t (pow.f64 (sin.f64 k) 2))))))
	10.0b	(.f64 2 (.f64 (/.f64 (/.f64 l t) k) (/.f64 (.f64 l (cos.f64 k)) (.f64 k (pow.f64 (sin.f64 k) 2)))))
	10.0b	(.f64 2 (/.f64 (.f64 (/.f64 l (*.f64 k t)) (cos.f64 k)) (/.f64 k (/.f64 l (pow.f64 (sin.f64 k) 2)))))
	9.6b	(.f64 2 (.f64 (/.f64 (/.f64 l (*.f64 k t)) k) (/.f64 (cos.f64 k) (/.f64 1 (/.f64 l (pow.f64 (sin.f64 k) 2))))))

Compiler

Compiled 19806 to 6709 computations (66.1% saved)

regimes15.0s (31.4%)

Accuracy

Total 1.2b remaining (67.7%)

Threshold costs 0b (0%)

Compiler

Compiled 126165 to 80883 computations (35.9% saved)

bsearch633.0ms (1.3%)

Steps

Iters	Range		Point
10	1.0252846814349156e-137	4.290807822267565e-122	1.6975698517214555e-124
7	-1.0746846272464102e-7	-3.6604417364700495e-9	-1.5837558283689437e-8

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`
1×	`1-exp_binary64`
1×	`if-if-or-not_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	105
1	50	105
2	49	105

end1.0ms (0%)

Compiler: Compiled 69 to 39 computations (43.5% saved)

sample14.9s (31.3%)

Algorithm

1×

intervals

Results

4.0s	1201×	body	4096	invalid
3.1s	3900×	body	1024	valid
2.6s	1085×	body	2048	invalid
1.3s	1045×	body	2048	valid
1.0s	446×	body	4096	valid
706.0ms	1378×	body	512	valid
513.0ms	685×	body	1024	invalid
260.0ms	523×	body	512	invalid
190.0ms	1103×	body	128	invalid
177.0ms	474×	body	256	valid
140.0ms	757×	body	128	valid
107.0ms	318×	body	256	invalid

Compiler

Compiled 582 to 363 computations (37.6% saved)

Details

analyze4.6s (9.6%)

sample430.0ms (0.9%)

simplify25.0ms (0.1%)

prune4.0ms (0%)

localize16.0ms (0%)

rewrite405.0ms (0.9%)

series543.0ms (1.1%)

simplify286.0ms (0.6%)

prune211.0ms (0.4%)

localize29.0ms (0.1%)

rewrite429.0ms (0.9%)

series283.0ms (0.6%)

simplify209.0ms (0.4%)

prune151.0ms (0.3%)

localize29.0ms (0.1%)

rewrite674.0ms (1.4%)

series415.0ms (0.9%)

simplify429.0ms (0.9%)

prune320.0ms (0.7%)

localize30.0ms (0.1%)

rewrite3.6s (7.7%)

series340.0ms (0.7%)

simplify1.7s (3.7%)

prune1.9s (4%)

regimes15.0s (31.4%)

bsearch633.0ms (1.3%)

simplify5.0ms (0%)

end1.0ms (0%)

sample14.9s (31.3%)

Profiling