Details

analyze3.3s (11.5%)

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)

sample17.7s (62.3%)

Results

5.0s	1244×	body	4096	invalid
4.0s	3964×	body	1024	valid
3.0s	1146×	body	2048	invalid
1.5s	1017×	body	2048	valid
1.4s	513×	body	4096	valid
964.0ms	1422×	body	512	valid
637.0ms	690×	body	1024	invalid
314.0ms	512×	body	512	invalid
261.0ms	1046×	body	128	invalid
213.0ms	494×	body	256	valid
205.0ms	846×	body	128	valid
118.0ms	267×	body	256	invalid

Compiler

Compiled 86 to 65 computations (24.4% saved)

simplify35.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 → 2

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	1	1	2
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	2	1	3

Error

43.4b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	43.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 97 to 65 computations (33% saved)

localize14.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
✓	0.8b	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
✓	15.7b	(/.f64 (pow.f64 t 3) (*.f64 l l))
✓	30.7b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

series320.0ms (1.1%)

Counts

4 → 132

Calls

4 calls:

114.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
111.0ms	(.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 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
28.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

rewrite82.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

290×	`expm1-udef_binary64`
290×	`log1p-udef_binary64`
165×	`add-sqr-sqrt_binary64`
157×	`log1p-expm1-u_binary64`
157×	`expm1-log1p-u_binary64`

Counts

4 → 109

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	74
1	343	73
2	4160	73
3	5154	73
0	0	0
1	0	0

simplify69.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

827×	`times-frac_binary64`
656×	`associate-/l*_binary64`
496×	`associate-l_binary64`
372×	`associate-/r*_binary64`
185×	`associate-/r/_binary64`

Counts

241 → 139

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	85	2796
1	239	2790
2	946	2780
3	5137	2780

prune169.0ms (0.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	127	12	139
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	128	12	140

Error

15.6b

Counts

140 → 12

Alt Table

Status	Error	Program
	32.5b	(/.f64 2 (.f64 (.f64 (pow.f64 (*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 3) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	32.4b	(/.f64 2 (fma.f64 1/6 (/.f64 (.f64 t (pow.f64 k 6)) (.f64 l l)) (/.f64 (.f64 t (pow.f64 k 4)) (.f64 l l))))
	32.7b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) 2)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
▶	23.0b	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2))))
	41.4b	(/.f64 2 (.f64 (/.f64 (.f64 (/.f64 (pow.f64 t 3) l) (*.f64 (sin.f64 k) (tan.f64 k))) l) (pow.f64 (/.f64 k t) 2)))
	37.6b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 t l) (/.f64 (*.f64 t t) l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	39.4b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (.f64 t t) (.f64 t (pow.f64 l -2))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	51.1b	(/.f64 2 (exp.f64 (log.f64 (pow.f64 (.f64 (/.f64 k t) (.f64 (/.f64 (pow.f64 t 3/2) l) (sqrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))))) 2))))
	50.7b	(/.f64 2 (pow.f64 (cbrt.f64 (pow.f64 (.f64 (/.f64 k t) (.f64 (/.f64 (pow.f64 t 3/2) l) (sqrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))))) 2)) 3))
	55.4b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 (pow.f64 t 3/2) l) (sqrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))) 2) (pow.f64 (/.f64 k t) 2)))
	50.6b	(/.f64 2 (pow.f64 (.f64 (/.f64 k t) (.f64 (/.f64 (pow.f64 t 3/2) l) (sqrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))))) 2))
	50.9b	(/.f64 2 (.f64 (.f64 (*.f64 (pow.f64 (/.f64 (pow.f64 t 3/2) l) 2) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))

Compiler

Compiled 4172 to 2424 computations (41.9% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2))))
✓	2.9b	(*.f64 t (pow.f64 (sin.f64 k) 2))
✓	5.7b	(.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2)))
✓	20.5b	(/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2)))

series307.0ms (1.1%)

Counts

4 → 48

Calls

4 calls:

158.0ms	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2))))
111.0ms	(/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2)))
24.0ms	(.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2)))
12.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))

rewrite83.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

275×	`expm1-udef_binary64`
275×	`log1p-udef_binary64`
157×	`add-sqr-sqrt_binary64`
150×	`log1p-expm1-u_binary64`
150×	`expm1-log1p-u_binary64`

Counts

4 → 124

Calls

4 calls:

79.0ms	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2))))
79.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
79.0ms	(.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2)))
79.0ms	(/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	79
1	324	74
2	4172	74
3	5195	74
0	0	0
1	0	0

simplify75.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

911×	`fma-neg_binary64`
432×	`times-frac_binary64`
292×	`fma-def_binary64`
273×	`associate-r_binary64`
271×	`associate-/l*_binary64`

Counts

172 → 157

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	78	1424
1	237	1404
2	836	1357
3	3754	1353
4	4881	1353
5	4986	1353

prune228.0ms (0.8%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	144	13	157
Fresh	6	5	11
Picked	1	0	1
Done	0	0	0
Total	151	18	169

Error

10.2b

Counts

169 → 18

Alt Table

Status	Error	Program
	41.4b	(/.f64 2 (.f64 (/.f64 (.f64 (/.f64 (pow.f64 t 3) l) (*.f64 (sin.f64 k) (tan.f64 k))) l) (pow.f64 (/.f64 k t) 2)))
▶	22.4b	(/.f64 2 (.f64 (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (pow.f64 (cbrt.f64 (.f64 (cos.f64 k) (.f64 l l))) 2)) (/.f64 (.f64 k k) (cbrt.f64 (.f64 (cos.f64 k) (*.f64 l l))))))
	32.5b	(/.f64 2 (.f64 (.f64 (pow.f64 (*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 3) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	33.7b	(/.f64 2 (.f64 (/.f64 (.f64 k k) (.f64 l (sqrt.f64 (cos.f64 k)))) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (*.f64 l (sqrt.f64 (cos.f64 k))))))
	32.7b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) 2)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	45.3b	(.f64 (cbrt.f64 (/.f64 2 (pow.f64 (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (.f64 l (sqrt.f64 (cos.f64 k)))) 2))) (pow.f64 (cbrt.f64 (/.f64 2 (pow.f64 (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (*.f64 l (sqrt.f64 (cos.f64 k)))) 2))) 2))
	50.6b	(/.f64 2 (pow.f64 (.f64 (/.f64 k t) (.f64 (/.f64 (pow.f64 t 3/2) l) (sqrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))))) 2))
	41.5b	(/.f64 2 (.f64 (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (cos.f64 k)) (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (.f64 l l))))
	45.2b	(/.f64 2 (pow.f64 (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (*.f64 l (sqrt.f64 (cos.f64 k)))) 2))
	37.6b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 t l) (/.f64 (*.f64 t t) l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	23.3b	(.f64 (/.f64 2 (.f64 k k)) (/.f64 (cos.f64 k) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (.f64 l l))))
	46.1b	(/.f64 2 (exp.f64 (log.f64 (pow.f64 (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (*.f64 l (sqrt.f64 (cos.f64 k)))) 2))))
	45.3b	(/.f64 2 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (*.f64 l (sqrt.f64 (cos.f64 k)))) 2)) 3))
	33.9b	(/.f64 2 (.f64 (/.f64 (.f64 (.f64 k k) t) (.f64 l (sqrt.f64 (cos.f64 k)))) (/.f64 (pow.f64 (sin.f64 k) 2) (*.f64 l (sqrt.f64 (cos.f64 k))))))
	45.1b	(pow.f64 (/.f64 (sqrt.f64 2) (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (*.f64 l (sqrt.f64 (cos.f64 k))))) 2)
	23.1b	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (pow.f64 (cbrt.f64 (.f64 t (pow.f64 (sin.f64 k) 2))) 3)) (*.f64 (cos.f64 k) (pow.f64 l 2))))
	23.0b	(.f64 2 (/.f64 (.f64 (cos.f64 k) (pow.f64 l 2)) (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2)))))
	31.3b	(.f64 (/.f64 (.f64 l l) t) (+.f64 (/.f64 2 (pow.f64 k 4)) (/.f64 -1/3 (*.f64 k k))))

Compiler

Compiled 4580 to 2319 computations (49.4% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	6.4b	(/.f64 (.f64 k k) (cbrt.f64 (.f64 (cos.f64 k) (*.f64 l l))))
✓	9.3b	(.f64 (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (pow.f64 (cbrt.f64 (.f64 (cos.f64 k) (.f64 l l))) 2)) (/.f64 (.f64 k k) (cbrt.f64 (.f64 (cos.f64 k) (*.f64 l l)))))
✓	10.3b	(/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (pow.f64 (cbrt.f64 (.f64 (cos.f64 k) (*.f64 l l))) 2))
✓	30.3b	(cbrt.f64 (.f64 (cos.f64 k) (.f64 l l)))

series2.2s (7.9%)

Counts

4 → 120

Calls

4 calls:

1.2s	(/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (pow.f64 (cbrt.f64 (.f64 (cos.f64 k) (*.f64 l l))) 2))
478.0ms	(/.f64 (.f64 k k) (cbrt.f64 (.f64 (cos.f64 k) (*.f64 l l))))
411.0ms	(cbrt.f64 (.f64 (cos.f64 k) (.f64 l l)))
106.0ms	(.f64 (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (pow.f64 (cbrt.f64 (.f64 (cos.f64 k) (.f64 l l))) 2)) (/.f64 (.f64 k k) (cbrt.f64 (.f64 (cos.f64 k) (*.f64 l l)))))

rewrite102.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

301×	`log1p-udef_binary64`
188×	`egg-rr`
173×	`add-sqr-sqrt_binary64`
164×	`log1p-expm1-u_binary64`
164×	`expm1-log1p-u_binary64`

Counts

4 → 188

Calls

4 calls:

97.0ms	(/.f64 (.f64 k k) (cbrt.f64 (.f64 (cos.f64 k) (*.f64 l l))))
97.0ms	(.f64 (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (pow.f64 (cbrt.f64 (.f64 (cos.f64 k) (.f64 l l))) 2)) (/.f64 (.f64 k k) (cbrt.f64 (.f64 (cos.f64 k) (*.f64 l l)))))
97.0ms	(/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (pow.f64 (cbrt.f64 (.f64 (cos.f64 k) (*.f64 l l))) 2))
97.0ms	(cbrt.f64 (.f64 (cos.f64 k) (.f64 l l)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	79
1	359	77
2	4553	77
3	5294	77
0	0	0
1	0	0

simplify79.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

675×	`associate-l_binary64`
651×	`associate-r_binary64`
634×	`fma-def_binary64`
225×	`times-frac_binary64`
199×	`associate-/l*_binary64`

Counts

308 → 243

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	152	3228
1	440	3106
2	1315	2955
3	5442	2955

prune577.0ms (2%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	278	8	286
Fresh	1	16	17
Picked	1	0	1
Done	0	0	0
Total	280	24	304

Error

7.7b

Counts

304 → 24

Alt Table

Status	Error	Program
	41.4b	(/.f64 2 (.f64 (/.f64 (.f64 (/.f64 (pow.f64 t 3) l) (*.f64 (sin.f64 k) (tan.f64 k))) l) (pow.f64 (/.f64 k t) 2)))
	37.5b	(/.f64 2 (.f64 (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (pow.f64 (cbrt.f64 (.f64 (cos.f64 k) (.f64 l l))) 2)) (.f64 (/.f64 1 (cbrt.f64 (.f64 l (sqrt.f64 (cos.f64 k))))) (/.f64 (.f64 k k) (cbrt.f64 (.f64 l (sqrt.f64 (cos.f64 k))))))))
	20.1b	(/.f64 2 (/.f64 (.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) k) (.f64 (pow.f64 (cbrt.f64 (.f64 (cos.f64 k) (.f64 l l))) 2) (/.f64 (cbrt.f64 (.f64 (cos.f64 k) (*.f64 l l))) k))))
	23.3b	(.f64 (/.f64 2 (.f64 k k)) (/.f64 (cos.f64 k) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (.f64 l l))))
	19.6b	(/.f64 2 (/.f64 (.f64 t k) (.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 (cos.f64 k) (.f64 l l))) 2) (pow.f64 (sin.f64 k) 2)) (/.f64 (cbrt.f64 (.f64 (cos.f64 k) (.f64 l l))) k))))
	32.5b	(/.f64 2 (.f64 (.f64 (pow.f64 (*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 3) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	33.7b	(/.f64 2 (.f64 (/.f64 (.f64 k k) (.f64 l (sqrt.f64 (cos.f64 k)))) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (*.f64 l (sqrt.f64 (cos.f64 k))))))
	46.1b	(/.f64 2 (exp.f64 (log.f64 (pow.f64 (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (*.f64 l (sqrt.f64 (cos.f64 k)))) 2))))
	22.2b	(/.f64 2 (pow.f64 (cbrt.f64 (.f64 (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (cos.f64 k)) (/.f64 (.f64 k k) (.f64 l l)))) 3))
	32.8b	(/.f64 2 (.f64 (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (pow.f64 (exp.f64 (log.f64 (cbrt.f64 (.f64 (cos.f64 k) (.f64 l l))))) 2)) (/.f64 (.f64 k k) (cbrt.f64 (.f64 (cos.f64 k) (*.f64 l l))))))
	32.7b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) 2)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	45.3b	(.f64 (cbrt.f64 (/.f64 2 (pow.f64 (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (.f64 l (sqrt.f64 (cos.f64 k)))) 2))) (pow.f64 (cbrt.f64 (/.f64 2 (pow.f64 (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (*.f64 l (sqrt.f64 (cos.f64 k)))) 2))) 2))
	45.1b	(pow.f64 (/.f64 (sqrt.f64 2) (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (*.f64 l (sqrt.f64 (cos.f64 k))))) 2)
▶	18.6b	(/.f64 2 (/.f64 (/.f64 (.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (.f64 k k)) (.f64 (cos.f64 k) l)) l))
	50.6b	(/.f64 2 (pow.f64 (.f64 (/.f64 k t) (.f64 (/.f64 (pow.f64 t 3/2) l) (sqrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))))) 2))
	41.5b	(/.f64 2 (.f64 (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (cos.f64 k)) (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (.f64 l l))))
	45.2b	(/.f64 2 (pow.f64 (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (*.f64 l (sqrt.f64 (cos.f64 k)))) 2))
	37.6b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 t l) (/.f64 (*.f64 t t) l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	21.5b	(/.f64 2 (.f64 (.f64 t (/.f64 1 (/.f64 (pow.f64 (cbrt.f64 (.f64 (cos.f64 k) (.f64 l l))) 2) (pow.f64 (sin.f64 k) 2)))) (/.f64 (.f64 k k) (cbrt.f64 (.f64 (cos.f64 k) (*.f64 l l))))))
	42.4b	(/.f64 2 (/.f64 (.f64 k (pow.f64 (/.f64 (.f64 (sin.f64 k) (sqrt.f64 t)) (cbrt.f64 (.f64 (cos.f64 k) (.f64 l l)))) 2)) (/.f64 (cbrt.f64 (.f64 (cos.f64 k) (.f64 l l))) k)))
	33.9b	(/.f64 2 (.f64 (/.f64 (.f64 (.f64 k k) t) (.f64 l (sqrt.f64 (cos.f64 k)))) (/.f64 (pow.f64 (sin.f64 k) 2) (*.f64 l (sqrt.f64 (cos.f64 k))))))
	23.1b	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (pow.f64 (cbrt.f64 (.f64 t (pow.f64 (sin.f64 k) 2))) 3)) (*.f64 (cos.f64 k) (pow.f64 l 2))))
	23.0b	(.f64 2 (/.f64 (.f64 (cos.f64 k) (pow.f64 l 2)) (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2)))))
	31.3b	(.f64 (/.f64 (.f64 l l) t) (+.f64 (/.f64 2 (pow.f64 k 4)) (/.f64 -1/3 (*.f64 k k))))

Compiler

Compiled 10890 to 4716 computations (56.7% saved)

localize14.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
	2.9b	(*.f64 t (pow.f64 (sin.f64 k) 2))
✓	5.7b	(.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (*.f64 k k))
✓	6.7b	(/.f64 (/.f64 (.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (.f64 k k)) (.f64 (cos.f64 k) l)) l)
✓	8.3b	(/.f64 (.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (.f64 k k)) (.f64 (cos.f64 k) l))

series237.0ms (0.8%)

Counts

3 → 96

Calls

3 calls:

141.0ms

(/.f64 (/.f64 (*.f64 (*.f64 t (pow.f64 (sin.f64 k) 2)) (*.f64 k k)) (*.f64 (cos.f64 k) l)) l)

71.0ms

(/.f64 (*.f64 (*.f64 t (pow.f64 (sin.f64 k) 2)) (*.f64 k k)) (*.f64 (cos.f64 k) l))

24.0ms

(*.f64 (*.f64 t (pow.f64 (sin.f64 k) 2)) (*.f64 k k))

rewrite97.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

268×	`expm1-udef_binary64`
268×	`log1p-udef_binary64`
163×	`times-frac_binary64`
150×	`add-sqr-sqrt_binary64`
141×	`log1p-expm1-u_binary64`

Counts

3 → 130

Calls

3 calls:

94.0ms

(*.f64 (*.f64 t (pow.f64 (sin.f64 k) 2)) (*.f64 k k))

94.0ms

(/.f64 (/.f64 (*.f64 (*.f64 t (pow.f64 (sin.f64 k) 2)) (*.f64 k k)) (*.f64 (cos.f64 k) l)) l)

94.0ms

(/.f64 (*.f64 (*.f64 t (pow.f64 (sin.f64 k) 2)) (*.f64 k k)) (*.f64 (cos.f64 k) l))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	64
1	302	55
2	4225	55
3	5263	55
0	0	0
1	0	0

simplify73.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

779×	`associate-*l/_binary64`
708×	`associate-/r/_binary64`
299×	`cancel-sign-sub-inv_binary64`
289×	`fma-neg_binary64`
281×	`times-frac_binary64`

Counts

226 → 160

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	64	2240
1	185	2224
2	603	2210
3	2465	2193
4	5621	2193

prune353.0ms (1.2%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	174	10	184
Fresh	11	12	23
Picked	1	0	1
Done	0	0	0
Total	186	22	208

Error

4.1b

Counts

208 → 22

Alt Table

Status	Error	Program
	33.5b	(/.f64 2 (.f64 (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) l) (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (.f64 (cos.f64 k) l))))
	11.0b	(/.f64 2 (/.f64 (.f64 (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))) (.f64 k (/.f64 1 (*.f64 (cos.f64 k) l)))) l))
	16.0b	(/.f64 2 (.f64 (/.f64 (.f64 k k) l) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (.f64 (cos.f64 k) l))))
	23.3b	(.f64 (/.f64 2 (.f64 k k)) (/.f64 (cos.f64 k) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (.f64 l l))))
	17.1b	(/.f64 2 (.f64 (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (cos.f64 k)) (.f64 (/.f64 (.f64 k k) l) (/.f64 1 l))))
	32.5b	(/.f64 2 (.f64 (.f64 (pow.f64 (*.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (sin.f64 k))) 3) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	47.2b	(/.f64 2 (.f64 (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (sqrt.f64 (.f64 (cos.f64 k) l))) (.f64 (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (sqrt.f64 (.f64 (cos.f64 k) l))) (/.f64 1 l))))
	21.5b	(/.f64 2 (.f64 (.f64 t (/.f64 1 (/.f64 (pow.f64 (cbrt.f64 (.f64 (cos.f64 k) (.f64 l l))) 2) (pow.f64 (sin.f64 k) 2)))) (/.f64 (.f64 k k) (cbrt.f64 (.f64 (cos.f64 k) (*.f64 l l))))))
	46.1b	(/.f64 2 (exp.f64 (log.f64 (pow.f64 (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (*.f64 l (sqrt.f64 (cos.f64 k)))) 2))))
	32.8b	(/.f64 2 (.f64 (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (pow.f64 (exp.f64 (log.f64 (cbrt.f64 (.f64 (cos.f64 k) (.f64 l l))))) 2)) (/.f64 (.f64 k k) (cbrt.f64 (.f64 (cos.f64 k) (*.f64 l l))))))
	19.4b	(/.f64 2 (.f64 (/.f64 t l) (/.f64 (pow.f64 (.f64 (sin.f64 k) k) 2) (*.f64 (cos.f64 k) l))))
	32.7b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (pow.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) 2)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	11.0b	(/.f64 2 (/.f64 (.f64 (/.f64 (.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2))) (cos.f64 k)) (/.f64 k l)) l))
	23.0b	(.f64 2 (/.f64 (.f64 (cos.f64 k) (pow.f64 l 2)) (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2)))))
	35.0b	(/.f64 2 (/.f64 (.f64 (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (pow.f64 (cbrt.f64 (.f64 (cos.f64 k) l)) 2)) (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (cbrt.f64 (*.f64 (cos.f64 k) l)))) l))
	31.3b	(.f64 (/.f64 (.f64 l l) t) (+.f64 (/.f64 2 (pow.f64 k 4)) (/.f64 -1/3 (*.f64 k k))))
	37.6b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 (/.f64 t l) (/.f64 (*.f64 t t) l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	19.2b	(/.f64 2 (neg.f64 (/.f64 (.f64 (/.f64 t (cos.f64 k)) (/.f64 (pow.f64 (.f64 (sin.f64 k) k) 2) l)) (neg.f64 l))))
	42.4b	(/.f64 2 (/.f64 (.f64 k (pow.f64 (/.f64 (.f64 (sin.f64 k) (sqrt.f64 t)) (cbrt.f64 (.f64 (cos.f64 k) (.f64 l l)))) 2)) (/.f64 (cbrt.f64 (.f64 (cos.f64 k) (.f64 l l))) k)))
	45.1b	(pow.f64 (/.f64 (sqrt.f64 2) (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (*.f64 l (sqrt.f64 (cos.f64 k))))) 2)
	17.1b	(/.f64 2 (.f64 (/.f64 (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (cos.f64 k)) 1) (/.f64 (/.f64 (*.f64 k k) l) l)))
	50.6b	(/.f64 2 (pow.f64 (.f64 (/.f64 k t) (.f64 (/.f64 (pow.f64 t 3/2) l) (sqrt.f64 (*.f64 (sin.f64 k) (tan.f64 k))))) 2))

Compiler

Compiled 4869 to 2437 computations (49.9% saved)

regimes1.8s (6.3%)

Accuracy

Total 3.5b remaining (56.1%)

Threshold costs 0b (0%)

Counts

218 → 2

Compiler

Compiled 35396 to 24029 computations (32.1% saved)

bsearch139.0ms (0.5%)

Steps

Iters	Range		Point
7	1.243203785039151e-273	5.6202661000702155e-272	3.4056655695663573e-273

Compiler

Compiled 4 to 3 computations (25% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	73
1	33	73
2	33	73

end338.0ms (1.2%)

Compiler: Compiled 673 to 428 computations (36.4% saved)

Details

analyze3.3s (11.5%)

sample17.7s (62.3%)

simplify35.0ms (0.1%)

prune4.0ms (0%)

localize14.0ms (0%)

series320.0ms (1.1%)

rewrite82.0ms (0.3%)

simplify69.0ms (0.2%)

prune169.0ms (0.6%)

localize18.0ms (0.1%)

series307.0ms (1.1%)

rewrite83.0ms (0.3%)

simplify75.0ms (0.3%)

prune228.0ms (0.8%)

localize18.0ms (0.1%)

series2.2s (7.9%)

rewrite102.0ms (0.4%)

simplify79.0ms (0.3%)

prune577.0ms (2%)

localize14.0ms (0%)

series237.0ms (0.8%)

rewrite97.0ms (0.3%)

simplify73.0ms (0.3%)

prune353.0ms (1.2%)

regimes1.8s (6.3%)

bsearch139.0ms (0.5%)

simplify3.0ms (0%)

end338.0ms (1.2%)

Profiling