Details

analyze3.5s (12.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
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)

sample530.0ms (2%)

Algorithm

1×

intervals

Results

164.0ms	37×	body	4096	invalid
106.0ms	129×	body	1024	valid
102.0ms	40×	body	2048	invalid
43.0ms	17×	body	4096	valid
39.0ms	32×	body	2048	valid
16.0ms	34×	body	512	valid
11.0ms	14×	body	1024	invalid
8.0ms	14×	body	512	invalid
6.0ms	15×	body	256	valid
5.0ms	27×	body	128	invalid
5.0ms	29×	body	128	valid
1.0ms	4×	body	256	invalid

Compiler

Compiled 60 to 46 computations (23.3% saved)

simplify53.0ms (0.2%)

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

42.6b

Counts

2 → 1

Alt Table

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

Local error

Found 4 expressions with local error:

0.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)))
0.8b	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
15.2b	(/.f64 (pow.f64 t 3) (*.f64 l l))
31.0b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

rewrite430.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

26.9b

Rules

396×	`add-exp-log_binary64`
229×	`prod-exp_binary64`
115×	`div-exp_binary64`
65×	`add-cbrt-cube_binary64`
56×	`pow-exp_binary64`

Counts

4 → 221

Calls

4 calls:

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))
16.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)))
8.0ms	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
6.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

Compiler

Compiled 5331 to 2607 computations (51.1% saved)

series245.0ms (0.9%)

Error

24.2b

Counts

4 → 36

Calls

4 calls:

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

Compiler

Compiled 1844 to 1389 computations (24.7% saved)

simplify197.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

453×	`associate-l_binary64`
400×	`unswap-sqr_binary64`
321×	`associate-r_binary64`
304×	`log-prod_binary64`
224×	`associate-/r*_binary64`

Counts

257 → 235

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	326	7281
1	707	6331
2	3112	6282
3	4700	6282
4	5046	6282

prune146.0ms (0.5%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	217	18	235
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	218	18	236

Error

17.7b

Counts

236 → 18

Alt Table

Status	Error	Program
	51.7b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 (.f64 t (sqrt.f64 t)) l) (/.f64 (.f64 t (sqrt.f64 t)) l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	33.7b	(/.f64 2 (+.f64 (/.f64 (.f64 t (pow.f64 k 4)) (.f64 l l)) (.f64 1/6 (/.f64 (.f64 t (pow.f64 k 6)) (*.f64 l l)))))
	48.6b	(/.f64 2 (.f64 (.f64 k (.f64 k (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)))) (pow.f64 (/.f64 1 t) 2)))
	37.0b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 t t) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	56.1b	(/.f64 2 (.f64 (.f64 k (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (*.f64 l l))) (tan.f64 k))) (pow.f64 (/.f64 (sqrt.f64 k) t) 2)))
	43.1b	(.f64 (/.f64 2 (.f64 (pow.f64 (/.f64 k t) 2) (.f64 (.f64 (sin.f64 k) (pow.f64 t 3)) (tan.f64 k)))) (*.f64 l l))
▶	25.2b	(.f64 2 (/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2)))))
	40.3b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 1 l) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	42.4b	(/.f64 2 (.f64 (.f64 (.f64 (pow.f64 t 3) (/.f64 (sin.f64 k) (.f64 l l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	40.3b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 t 3)) (cbrt.f64 (pow.f64 t 3))) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	25.3b	(/.f64 2 (/.f64 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))) (.f64 (cos.f64 k) (*.f64 l l))))
	38.8b	(/.f64 2 (.f64 (.f64 (/.f64 k t) (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (*.f64 l l))) (tan.f64 k))) (/.f64 k t)))
	53.4b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)) (pow.f64 (/.f64 (sqrt.f64 k) (.f64 (cbrt.f64 t) (cbrt.f64 t))) 2)) (pow.f64 (/.f64 (sqrt.f64 k) (cbrt.f64 t)) 2)))
	46.9b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)) (.f64 k (cbrt.f64 k))) (pow.f64 (/.f64 (cbrt.f64 k) t) 2)))
	42.9b	(.f64 (/.f64 (sqrt.f64 2) (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k))) (/.f64 (sqrt.f64 2) (pow.f64 (/.f64 k t) 2)))
	38.5b	(/.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)))
	52.0b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 (sqrt.f64 t) 3) (/.f64 l (/.f64 (.f64 t (sqrt.f64 t)) l))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	33.5b	(.f64 2 (/.f64 (.f64 l l) (*.f64 t (pow.f64 k 4))))

Compiler

Compiled 3348 to 1853 computations (44.7% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(pow.f64 (sin.f64 k) 2)
2.5b	(*.f64 t (pow.f64 (sin.f64 k) 2))
8.3b	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
21.5b	(/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))))

rewrite256.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

13.3b

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:

12.0ms	(/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))))
7.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
6.0ms	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
2.0ms	(pow.f64 (sin.f64 k) 2)

Compiler

Compiled 3349 to 1274 computations (62% saved)

series138.0ms (0.5%)

Error

17.7b

Counts

4 → 28

Calls

4 calls:

72.0ms	(/.f64 (.f64 (cos.f64 k) (.f64 l l)) (.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))))
25.0ms	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
18.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)

simplify98.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

843×	`associate-*l/_binary64`
563×	`associate-/l/_binary64`
491×	`times-frac_binary64`
277×	`associate-/r/_binary64`
213×	`associate-l_binary64`

Counts

152 → 114

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	185	3882
1	413	2815
2	2179	2815
3	5600	2815

prune96.0ms (0.4%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	107	7	114
Fresh	4	13	17
Picked	1	0	1
Done	0	0	0
Total	112	20	132

Error

17.2b

Counts

132 → 20

Alt Table

Status	Error	Program
	25.3b	(.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))))))
	33.7b	(/.f64 2 (+.f64 (/.f64 (.f64 t (pow.f64 k 4)) (.f64 l l)) (.f64 1/6 (/.f64 (.f64 t (pow.f64 k 6)) (*.f64 l l)))))
	51.7b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 (.f64 t (sqrt.f64 t)) l) (/.f64 (.f64 t (sqrt.f64 t)) l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	48.6b	(/.f64 2 (.f64 (.f64 k (.f64 k (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)))) (pow.f64 (/.f64 1 t) 2)))
	32.3b	(.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))))
	37.0b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 t t) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	38.5b	(/.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)))
	24.4b	(.f64 2 (/.f64 (cos.f64 k) (/.f64 (.f64 k k) (/.f64 (.f64 l l) (.f64 t (pow.f64 (sin.f64 k) 2))))))
	27.8b	(.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))))))
	33.5b	(.f64 2 (/.f64 (.f64 l l) (*.f64 t (pow.f64 k 4))))
▶	23.8b	(.f64 2 (/.f64 (.f64 (/.f64 (cos.f64 k) (.f64 k k)) (.f64 l l)) (*.f64 t (pow.f64 (sin.f64 k) 2))))
	25.4b	(.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))))))
	56.1b	(/.f64 2 (.f64 (.f64 k (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (*.f64 l l))) (tan.f64 k))) (pow.f64 (/.f64 (sqrt.f64 k) t) 2)))
	53.4b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)) (pow.f64 (/.f64 (sqrt.f64 k) (.f64 (cbrt.f64 t) (cbrt.f64 t))) 2)) (pow.f64 (/.f64 (sqrt.f64 k) (cbrt.f64 t)) 2)))
	46.9b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)) (.f64 k (cbrt.f64 k))) (pow.f64 (/.f64 (cbrt.f64 k) t) 2)))
	42.9b	(.f64 (/.f64 (sqrt.f64 2) (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k))) (/.f64 (sqrt.f64 2) (pow.f64 (/.f64 k t) 2)))
	31.4b	(.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)))))))
	52.0b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 (sqrt.f64 t) 3) (/.f64 l (/.f64 (.f64 t (sqrt.f64 t)) l))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	40.3b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 1 l) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	40.3b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 t 3)) (cbrt.f64 (pow.f64 t 3))) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))

Compiler

Compiled 1889 to 1063 computations (43.7% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b	(/.f64 (cos.f64 k) (*.f64 k k))
2.5b	(*.f64 t (pow.f64 (sin.f64 k) 2))
7.9b	(/.f64 (.f64 (/.f64 (cos.f64 k) (.f64 k k)) (.f64 l l)) (.f64 t (pow.f64 (sin.f64 k) 2)))
17.6b	(.f64 (/.f64 (cos.f64 k) (.f64 k k)) (*.f64 l l))

rewrite258.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

8.9b

Rules

165×	`add-exp-log_binary64`
97×	`add-cbrt-cube_binary64`
80×	`prod-exp_binary64`
50×	`div-exp_binary64`
42×	`cbrt-unprod_binary64`

Counts

4 → 137

Calls

4 calls:

12.0ms	(/.f64 (.f64 (/.f64 (cos.f64 k) (.f64 k k)) (.f64 l l)) (.f64 t (pow.f64 (sin.f64 k) 2)))
7.0ms	(.f64 (/.f64 (cos.f64 k) (.f64 k k)) (*.f64 l l))
5.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
4.0ms	(/.f64 (cos.f64 k) (*.f64 k k))

Compiler

Compiled 3698 to 1205 computations (67.4% saved)

series132.0ms (0.5%)

Error

17.2b

Counts

4 → 28

Calls

4 calls:

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

Compiler

Compiled 1426 to 1036 computations (27.3% saved)

simplify142.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

598×	`associate-/r/_binary64`
393×	`times-frac_binary64`
283×	`log-prod_binary64`
207×	`log-div_binary64`
197×	`cube-prod_binary64`

Counts

165 → 134

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	206	4263
1	457	3109
2	2124	3101
3	4194	3063
4	4939	3063
5	4974	3063

prune124.0ms (0.5%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	123	11	134
Fresh	8	11	19
Picked	1	0	1
Done	0	0	0
Total	132	22	154

Error

9.3b

Counts

154 → 22

Alt Table

Status	Error	Program
	36.1b	(.f64 2 (/.f64 (.f64 (/.f64 (sqrt.f64 (cos.f64 k)) k) (.f64 l (.f64 l (/.f64 (sqrt.f64 (cos.f64 k)) k)))) (*.f64 t (pow.f64 (sin.f64 k) 2))))
	48.6b	(/.f64 2 (.f64 (.f64 k (.f64 k (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)))) (pow.f64 (/.f64 1 t) 2)))
	37.0b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 t t) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	23.8b	(.f64 2 (/.f64 (/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 k k)) (*.f64 t (pow.f64 (sin.f64 k) 2))))
	53.4b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)) (pow.f64 (/.f64 (sqrt.f64 k) (.f64 (cbrt.f64 t) (cbrt.f64 t))) 2)) (pow.f64 (/.f64 (sqrt.f64 k) (cbrt.f64 t)) 2)))
	34.0b	(.f64 2 (/.f64 (.f64 (.f64 l (/.f64 (sqrt.f64 (cos.f64 k)) k)) (.f64 l (/.f64 (sqrt.f64 (cos.f64 k)) k))) (*.f64 t (pow.f64 (sin.f64 k) 2))))
	46.9b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)) (.f64 k (cbrt.f64 k))) (pow.f64 (/.f64 (cbrt.f64 k) t) 2)))
	28.0b	(.f64 2 (/.f64 (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 l l) (.f64 k k)) (cos.f64 k))) (sqrt.f64 (.f64 (/.f64 (.f64 l l) (.f64 k k)) (cos.f64 k)))) (*.f64 t (pow.f64 (sin.f64 k) 2))))
	42.9b	(.f64 (/.f64 (sqrt.f64 2) (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k))) (/.f64 (sqrt.f64 2) (pow.f64 (/.f64 k t) 2)))
	23.6b	(.f64 2 (/.f64 (/.f64 (cos.f64 k) (.f64 k k)) (/.f64 t (/.f64 (*.f64 l l) (pow.f64 (sin.f64 k) 2)))))
	38.5b	(/.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)))
	24.4b	(.f64 2 (.f64 (/.f64 (cos.f64 k) (.f64 (.f64 k k) t)) (/.f64 (*.f64 l l) (pow.f64 (sin.f64 k) 2))))
	52.0b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 (sqrt.f64 t) 3) (/.f64 l (/.f64 (.f64 t (sqrt.f64 t)) l))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	48.8b	(.f64 2 (exp.f64 (+.f64 (log.f64 (/.f64 (cos.f64 k) (.f64 (.f64 k k) t))) (.f64 2 (log.f64 (/.f64 l (sin.f64 k)))))))
	39.5b	(.f64 2 (/.f64 (.f64 l (-.f64 (/.f64 l (.f64 k k)) (.f64 1/2 l))) (*.f64 t (pow.f64 (sin.f64 k) 2))))
	40.3b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 t 3)) (cbrt.f64 (pow.f64 t 3))) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
▶	18.9b	(.f64 2 (/.f64 (.f64 (.f64 l (/.f64 (cos.f64 k) (.f64 k k))) l) (*.f64 t (pow.f64 (sin.f64 k) 2))))
	25.4b	(.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))))))
	20.4b	(.f64 2 (/.f64 (.f64 (/.f64 1 k) (.f64 (.f64 l l) (/.f64 (cos.f64 k) k))) (*.f64 t (pow.f64 (sin.f64 k) 2))))
	42.4b	(.f64 2 (/.f64 (.f64 (/.f64 (sqrt.f64 (cos.f64 k)) (/.f64 k (/.f64 (sqrt.f64 (cos.f64 k)) k))) (.f64 l l)) (.f64 t (pow.f64 (sin.f64 k) 2))))
	33.5b	(.f64 2 (/.f64 (.f64 l l) (*.f64 t (pow.f64 k 4))))
	40.3b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 1 l) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))

Compiler

Compiled 2454 to 1264 computations (48.5% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.5b	(*.f64 t (pow.f64 (sin.f64 k) 2))
3.6b	(.f64 (.f64 l (/.f64 (cos.f64 k) (*.f64 k k))) l)
7.9b	(/.f64 (.f64 (.f64 l (/.f64 (cos.f64 k) (.f64 k k))) l) (.f64 t (pow.f64 (sin.f64 k) 2)))
8.4b	(.f64 l (/.f64 (cos.f64 k) (.f64 k k)))

rewrite221.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

5.2b

Rules

122×	`add-exp-log_binary64`
74×	`add-cbrt-cube_binary64`
62×	`prod-exp_binary64`
34×	`cbrt-unprod_binary64`
32×	`div-exp_binary64`

Counts

4 → 122

Calls

4 calls:

10.0ms	(/.f64 (.f64 (.f64 l (/.f64 (cos.f64 k) (.f64 k k))) l) (.f64 t (pow.f64 (sin.f64 k) 2)))
8.0ms	(.f64 (.f64 l (/.f64 (cos.f64 k) (*.f64 k k))) l)
6.0ms	(.f64 l (/.f64 (cos.f64 k) (.f64 k k)))
5.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))

Compiler

Compiled 3251 to 1092 computations (66.4% saved)

series142.0ms (0.5%)

Error

9.3b

Counts

4 → 31

Calls

4 calls:

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

Compiler

Compiled 1556 to 1129 computations (27.4% saved)

simplify156.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

629×	`associate-/r/_binary64`
428×	`times-frac_binary64`
370×	`log-prod_binary64`
261×	`log-div_binary64`
236×	`associate-l_binary64`

Counts

153 → 124

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	203	3715
1	482	2792
2	2174	2787
3	4222	2783
4	4913	2783
5	4983	2783
6	5010	2783

prune103.0ms (0.4%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	119	5	124
Fresh	7	14	21
Picked	1	0	1
Done	0	0	0
Total	127	19	146

Error

5.2b

Counts

146 → 19

Alt Table

Status	Error	Program
	36.1b	(.f64 2 (/.f64 (.f64 (/.f64 (sqrt.f64 (cos.f64 k)) k) (.f64 l (.f64 l (/.f64 (sqrt.f64 (cos.f64 k)) k)))) (*.f64 t (pow.f64 (sin.f64 k) 2))))
	48.6b	(/.f64 2 (.f64 (.f64 k (.f64 k (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)))) (pow.f64 (/.f64 1 t) 2)))
	53.4b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)) (pow.f64 (/.f64 (sqrt.f64 k) (.f64 (cbrt.f64 t) (cbrt.f64 t))) 2)) (pow.f64 (/.f64 (sqrt.f64 k) (cbrt.f64 t)) 2)))
	18.7b	(.f64 2 (/.f64 (pow.f64 (.f64 l (/.f64 (.f64 (cos.f64 k) l) (.f64 k k))) 1) (*.f64 t (pow.f64 (sin.f64 k) 2))))
	34.0b	(.f64 2 (/.f64 (.f64 (.f64 l (/.f64 (sqrt.f64 (cos.f64 k)) k)) (.f64 l (/.f64 (sqrt.f64 (cos.f64 k)) k))) (*.f64 t (pow.f64 (sin.f64 k) 2))))
	46.9b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k)) (.f64 k (cbrt.f64 k))) (pow.f64 (/.f64 (cbrt.f64 k) t) 2)))
	18.9b	(.f64 2 (/.f64 (.f64 l (/.f64 (.f64 (cos.f64 k) l) (.f64 (*.f64 k k) t))) (pow.f64 (sin.f64 k) 2)))
	28.0b	(.f64 2 (/.f64 (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 l l) (.f64 k k)) (cos.f64 k))) (sqrt.f64 (.f64 (/.f64 (.f64 l l) (.f64 k k)) (cos.f64 k)))) (*.f64 t (pow.f64 (sin.f64 k) 2))))
	42.9b	(.f64 (/.f64 (sqrt.f64 2) (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (.f64 l l))) (tan.f64 k))) (/.f64 (sqrt.f64 2) (pow.f64 (/.f64 k t) 2)))
	52.0b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 (sqrt.f64 t) 3) (/.f64 l (/.f64 (.f64 t (sqrt.f64 t)) l))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	13.1b	(.f64 2 (/.f64 (.f64 (.f64 (/.f64 l k) (/.f64 (cos.f64 k) k)) l) (.f64 t (pow.f64 (sin.f64 k) 2))))
	25.4b	(.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))))))
	20.4b	(.f64 2 (/.f64 (.f64 (/.f64 1 k) (.f64 (.f64 l l) (/.f64 (cos.f64 k) k))) (*.f64 t (pow.f64 (sin.f64 k) 2))))
	42.4b	(.f64 2 (/.f64 (.f64 (/.f64 (sqrt.f64 (cos.f64 k)) (/.f64 k (/.f64 (sqrt.f64 (cos.f64 k)) k))) (.f64 l l)) (.f64 t (pow.f64 (sin.f64 k) 2))))
	14.6b	(.f64 2 (/.f64 (.f64 l (/.f64 (cos.f64 k) (*.f64 k k))) (/.f64 t (/.f64 l (pow.f64 (sin.f64 k) 2)))))
	38.5b	(/.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)))
	18.0b	(.f64 2 (.f64 (/.f64 (.f64 (cos.f64 k) l) (.f64 (*.f64 k k) t)) (/.f64 l (pow.f64 (sin.f64 k) 2))))
	40.3b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 1 l) (.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	40.3b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 t 3)) (cbrt.f64 (pow.f64 t 3))) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))

Compiler

Compiled 1738 to 813 computations (53.2% saved)

regimes4.0s (14.7%)

Accuracy

Total 3.7b remaining (47.7%)

Threshold costs 0b (0%)

Compiler

Compiled 52455 to 35576 computations (32.2% saved)

bsearch1.0s (3.8%)

Steps

Iters	Range		Point
8	2.370856644827556e+104	4.860683962312645e+108	1.8106547977880653e+106
5	5.650050186973918e-110	1.9763362062525087e-109	9.083547918518802e-110
9	-1.7223475329746293e-9	-9.654697877968109e-18	-1.7779119994400633e-12
10	-1.2408150215466577e+175	-1.576696020553368e+160	-1.610639893457833e+160

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

18×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	175
1	72	175
2	71	175

end2.0ms (0%)

Compiler: Compiled 118 to 68 computations (42.4% saved)

sample15.0s (55.5%)

Algorithm

1×

intervals

Results

4.2s	1208×	body	4096	invalid
3.0s	3803×	body	1024	valid
2.3s	1093×	body	2048	invalid
1.3s	1012×	body	2048	valid
999.0ms	437×	body	4096	valid
753.0ms	1407×	body	512	valid
595.0ms	712×	body	1024	invalid
236.0ms	470×	body	512	invalid
196.0ms	507×	body	256	valid
179.0ms	1082×	body	128	invalid
148.0ms	834×	body	128	valid
87.0ms	269×	body	256	invalid

Compiler

Compiled 668 to 434 computations (35% saved)

Details

analyze3.5s (12.9%)

sample530.0ms (2%)

simplify53.0ms (0.2%)

prune4.0ms (0%)

localize16.0ms (0.1%)

rewrite430.0ms (1.6%)

series245.0ms (0.9%)

simplify197.0ms (0.7%)

prune146.0ms (0.5%)

localize15.0ms (0.1%)

rewrite256.0ms (0.9%)

series138.0ms (0.5%)

simplify98.0ms (0.4%)

prune96.0ms (0.4%)

localize15.0ms (0.1%)

rewrite258.0ms (1%)

series132.0ms (0.5%)

simplify142.0ms (0.5%)

prune124.0ms (0.5%)

localize15.0ms (0.1%)

rewrite221.0ms (0.8%)

series142.0ms (0.5%)

simplify156.0ms (0.6%)

prune103.0ms (0.4%)

regimes4.0s (14.7%)

bsearch1.0s (3.8%)

simplify5.0ms (0%)

end2.0ms (0%)

sample15.0s (55.5%)

Profiling