Details

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

sample17.1s (64.2%)

Results

4.4s	1177×	body	4096	invalid
4.0s	3963×	body	1024	valid
3.1s	1130×	body	2048	invalid
1.5s	1048×	body	2048	valid
1.3s	491×	body	4096	valid
989.0ms	1449×	body	512	valid
613.0ms	655×	body	1024	invalid
315.0ms	478×	body	512	invalid
279.0ms	1099×	body	128	invalid
227.0ms	832×	body	128	valid
210.0ms	473×	body	256	valid
132.0ms	300×	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

40.5b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	40.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)))

Compiler

Compiled 97 to 65 computations (33% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
✓	1.7b	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
✓	16.1b	(/.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))

series387.0ms (1.5%)

Counts

4 → 132

Calls

4 calls:

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))
131.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
75.0ms	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
40.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))

rewrite93.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

106× egg-rr

Counts

4 → 106

Calls

2 calls:

88.0ms

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

0.0ms

()

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

simplify66.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Counts

238 → 138

Iterations

Useful iterations: 2 (0.0ms)

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

prune192.0ms (0.7%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	124	14	138
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	125	14	139

Error

15.0b

Counts

139 → 14

Alt Table

Status	Error	Program
	28.8b	(/.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)))
	49.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))
	28.8b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))) 3) (pow.f64 (/.f64 k t) 2)))
	41.1b	(/.f64 2 (.f64 (.f64 (/.f64 (*.f64 k (pow.f64 t 3)) (pow.f64 l 2)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	46.1b	(/.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)))
	29.2b	(/.f64 2 (.f64 (.f64 (*.f64 (pow.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) 3) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	33.1b	(/.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)))
	31.9b	(/.f64 2 (fma.f64 31/360 (/.f64 (.f64 t (pow.f64 k 8)) (.f64 l l)) (fma.f64 1/6 (/.f64 (.f64 t (pow.f64 k 6)) (.f64 l l)) (/.f64 (.f64 t (pow.f64 k 4)) (.f64 l l)))))
▶	25.3b	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2))))
	37.0b	(/.f64 2 (.f64 (.f64 (.f64 (.f64 t (.f64 (.f64 t t) (pow.f64 l -2))) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	50.2b	(/.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))))
	49.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))
	37.4b	(/.f64 2 (.f64 (.f64 (/.f64 (*.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k)) l) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	37.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)))

Compiler

Compiled 4255 to 2488 computations (41.5% saved)

localize13.0ms (0%)

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))))
✓	1.5b	(*.f64 t (pow.f64 (sin.f64 k) 2))
✓	4.1b	(.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2)))
✓	22.7b	(/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2)))

series423.0ms (1.6%)

Counts

4 → 48

Calls

4 calls:

224.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))))
152.0ms	(/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (cos.f64 k) (pow.f64 l 2)))
29.0ms	(.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2)))
17.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))

rewrite97.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

122× egg-rr

Counts

4 → 122

Calls

2 calls:

89.0ms

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

5.0ms

()

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

simplify85.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

170 → 155

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

prune278.0ms (1%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	137	18	155
Fresh	6	7	13
Picked	1	0	1
Done	0	0	0
Total	144	25	169

Error

8.4b

Counts

169 → 25

Alt Table

Status	Error	Program
	33.1b	(/.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)))
	24.0b	(.f64 (/.f64 2 (.f64 k k)) (/.f64 (cos.f64 k) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (.f64 l l))))
	42.6b	(/.f64 2 (.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (/.f64 1 (.f64 (cos.f64 k) (.f64 l l))))))
	54.6b	(cbrt.f64 (pow.f64 (/.f64 2 (pow.f64 (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (*.f64 l (sqrt.f64 (cos.f64 k)))) 2)) 3))
	49.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))
	47.4b	(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))) 3)
	25.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)))))
	42.6b	(/.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))))
	28.8b	(/.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)))
	52.2b	(.f64 (.f64 (/.f64 2 (pow.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) 2)) (.f64 l (sqrt.f64 (cos.f64 k)))) (.f64 l (sqrt.f64 (cos.f64 k))))
	54.1b	(/.f64 2 (.f64 (/.f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) 2)) 2) (pow.f64 (cbrt.f64 (.f64 (cos.f64 k) (.f64 l l))) 2)) (cbrt.f64 (pow.f64 (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (.f64 l (sqrt.f64 (cos.f64 k)))) 2))))
	42.1b	(-.f64 (.f64 2 (/.f64 (pow.f64 l 2) (.f64 (pow.f64 k 4) t))) (+.f64 (.f64 1/3 (/.f64 (pow.f64 l 2) (.f64 (pow.f64 k 2) t))) (*.f64 7/60 (/.f64 (pow.f64 l 2) t))))
	36.4b	(/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (cbrt.f64 (pow.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) 3))) (*.f64 (cos.f64 k) (pow.f64 l 2))))
	24.0b	(/.f64 2 (.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (.f64 (.f64 k k) (/.f64 1 (.f64 (cos.f64 k) (.f64 l l))))))
	31.2b	(.f64 (/.f64 (.f64 l l) t) (+.f64 (/.f64 2 (pow.f64 k 4)) (/.f64 -1/3 (*.f64 k k))))
	37.4b	(/.f64 2 (.f64 (.f64 (/.f64 (*.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k)) l) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	45.0b	(/.f64 2 (.f64 (/.f64 1 (pow.f64 (cbrt.f64 (.f64 (cos.f64 k) (.f64 l l))) 2)) (/.f64 (pow.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) 2) (cbrt.f64 (.f64 (cos.f64 k) (*.f64 l l))))))
	28.8b	(/.f64 2 (.f64 (pow.f64 (.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (*.f64 (sin.f64 k) (tan.f64 k)))) 3) (pow.f64 (/.f64 k t) 2)))
	25.4b	(/.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))))
	46.1b	(/.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)))
	29.2b	(/.f64 2 (.f64 (.f64 (*.f64 (pow.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) 3) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
▶	23.9b	(/.f64 2 (.f64 (/.f64 (.f64 k k) (.f64 l l)) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (cos.f64 k))))
	36.4b	(/.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))))))
	47.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)
	45.0b	(/.f64 2 (.f64 (/.f64 1 (cos.f64 k)) (/.f64 (pow.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) 2) (.f64 l l))))

Compiler

Compiled 4916 to 2583 computations (47.5% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(/.f64 2 (.f64 (/.f64 (.f64 k k) (.f64 l l)) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (cos.f64 k))))
	1.5b	(*.f64 t (pow.f64 (sin.f64 k) 2))
✓	7.8b	(.f64 (/.f64 (.f64 k k) (.f64 l l)) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (cos.f64 k)))
✓	17.9b	(/.f64 (.f64 k k) (.f64 l l))

series410.0ms (1.5%)

Counts

3 → 96

Calls

3 calls:

243.0ms

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

135.0ms

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

32.0ms

(/.f64 (*.f64 k k) (*.f64 l l))

rewrite94.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

148× egg-rr

Counts

3 → 148

Calls

2 calls:

90.0ms

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

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	65
1	332	56
2	4541	56
3	5309	56
0	0	0
1	0	0

simplify97.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

754×	`fma-def_binary64`
576×	`fma-neg_binary64`
463×	`times-frac_binary64`
318×	`associate-/l*_binary64`
269×	`associate-/r*_binary64`

Counts

244 → 169

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	62	2308
1	175	2304
2	621	2279
3	3055	2259
4	4819	2257
5	5009	2257

prune400.0ms (1.5%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	177	15	192
Fresh	16	8	24
Picked	1	0	1
Done	0	0	0
Total	194	23	217

Error

1.0b

Counts

217 → 23

Alt Table

Status	Error	Program
	25.0b	(.f64 (/.f64 2 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2)))) (.f64 (.f64 l l) (cos.f64 k)))
	29.2b	(/.f64 2 (.f64 (.f64 (*.f64 (pow.f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) 3) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	24.0b	(cbrt.f64 (pow.f64 (/.f64 2 (.f64 (pow.f64 (/.f64 k l) 2) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (cos.f64 k)))) 3))
▶	9.5b	(.f64 2 (/.f64 (/.f64 (cos.f64 k) (.f64 t (pow.f64 (sin.f64 k) 2))) (pow.f64 (/.f64 k l) 2)))
	14.0b	(/.f64 2 (.f64 (.f64 k (/.f64 1 (/.f64 l (/.f64 k l)))) (/.f64 (*.f64 t (pow.f64 (sin.f64 k) 2)) (cos.f64 k))))
	54.6b	(cbrt.f64 (pow.f64 (/.f64 2 (pow.f64 (/.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) (*.f64 l (sqrt.f64 (cos.f64 k)))) 2)) 3))
	10.1b	(pow.f64 (cbrt.f64 (/.f64 2 (.f64 (pow.f64 (/.f64 k l) 2) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (cos.f64 k))))) 3)
	14.5b	(/.f64 2 (/.f64 k (.f64 (/.f64 l (/.f64 k l)) (/.f64 (cos.f64 k) (.f64 t (pow.f64 (sin.f64 k) 2))))))
	15.0b	(/.f64 2 (/.f64 (.f64 (/.f64 (.f64 k k) l) (/.f64 (*.f64 t (pow.f64 (sin.f64 k) 2)) (cos.f64 k))) l))
	29.3b	(/.f64 2 (+.f64 (.f64 (/.f64 t l) (+.f64 (/.f64 (pow.f64 k 4) l) (/.f64 (.f64 1/6 (pow.f64 k 6)) l))) (.f64 (/.f64 t l) (+.f64 (/.f64 (.f64 31/360 (pow.f64 k 8)) l) (/.f64 (*.f64 173/5040 (pow.f64 k 10)) l)))))
	10.4b	(*.f64 (/.f64 (/.f64 2 (pow.f64 (/.f64 k l) 2)) t) (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)))
	28.8b	(/.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)))
	52.2b	(.f64 (.f64 (/.f64 2 (pow.f64 (.f64 k (.f64 (sin.f64 k) (sqrt.f64 t))) 2)) (.f64 l (sqrt.f64 (cos.f64 k)))) (.f64 l (sqrt.f64 (cos.f64 k))))
	10.0b	(/.f64 2 (/.f64 (/.f64 (.f64 (pow.f64 (/.f64 k l) 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (pow.f64 (cbrt.f64 (cos.f64 k)) 2)) (cbrt.f64 (cos.f64 k))))
	14.0b	(/.f64 2 (/.f64 (/.f64 (.f64 k k) l) (.f64 (/.f64 (cos.f64 k) (*.f64 t (pow.f64 (sin.f64 k) 2))) l)))
	37.4b	(/.f64 2 (.f64 (.f64 (/.f64 (*.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k)) l) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	24.0b	(.f64 (/.f64 2 (.f64 k k)) (/.f64 (cos.f64 k) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (.f64 l l))))
	21.4b	(/.f64 2 (.f64 (.f64 k (.f64 k (pow.f64 l -2))) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (cos.f64 k))))
	46.2b	(pow.f64 (/.f64 (sqrt.f64 2) (.f64 (/.f64 k l) (/.f64 (.f64 (sin.f64 k) (sqrt.f64 t)) (sqrt.f64 (cos.f64 k))))) 2)
	12.2b	(/.f64 2 (/.f64 (.f64 (/.f64 (.f64 k k) l) t) (*.f64 l (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)))))
	47.4b	(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))) 3)
	9.8b	(.f64 (/.f64 2 (.f64 (pow.f64 (/.f64 k l) 2) (*.f64 t (pow.f64 (sin.f64 k) 2)))) (cos.f64 k))
	25.4b	(/.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))))

Compiler

Compiled 5187 to 2913 computations (43.8% saved)

localize12.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(pow.f64 (sin.f64 k) 2)
✓	0.4b	(/.f64 (cos.f64 k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
	1.5b	(*.f64 t (pow.f64 (sin.f64 k) 2))
✓	7.8b	(/.f64 (/.f64 (cos.f64 k) (*.f64 t (pow.f64 (sin.f64 k) 2))) (pow.f64 (/.f64 k l) 2))

series279.0ms (1%)

Counts

3 → 44

Calls

3 calls:

203.0ms	(/.f64 (/.f64 (cos.f64 k) (*.f64 t (pow.f64 (sin.f64 k) 2))) (pow.f64 (/.f64 k l) 2))
72.0ms	(/.f64 (cos.f64 k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
3.0ms	(pow.f64 (sin.f64 k) 2)

rewrite78.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

100× egg-rr

Counts

3 → 100

Calls

2 calls:

76.0ms	((/.f64 (/.f64 (cos.f64 k) (.f64 t (pow.f64 (sin.f64 k) 2))) (pow.f64 (/.f64 k l) 2)) (/.f64 (cos.f64 k) (.f64 t (pow.f64 (sin.f64 k) 2))) (pow.f64 (sin.f64 k) 2))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	43
1	281	42
2	3642	42
3	4995	42
0	0	0
1	0	0

simplify68.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

918×	`fma-neg_binary64`
704×	`fma-def_binary64`
487×	`cancel-sign-sub-inv_binary64`
431×	`associate-/l/_binary64`
187×	`times-frac_binary64`

Counts

144 → 126

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	64	1134
1	182	1124
2	546	1104
3	2159	1096
4	4617	1095
5	5111	1095

prune281.0ms (1.1%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	141	8	149
Fresh	9	13	22
Picked	1	0	1
Done	0	0	0
Total	151	21	172

Error

1.0b

Counts

172 → 21

Alt Table

Status	Error	Program
	32.8b	(*.f64 2 (pow.f64 (/.f64 (/.f64 (sqrt.f64 (/.f64 (cos.f64 k) t)) (sin.f64 k)) (/.f64 k l)) 2))
	25.0b	(.f64 (/.f64 2 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2)))) (.f64 (.f64 l l) (cos.f64 k)))
	4.1b	(.f64 2 (.f64 (/.f64 (cos.f64 k) (/.f64 k l)) (/.f64 (/.f64 1 (*.f64 t (pow.f64 (sin.f64 k) 2))) (/.f64 k l))))
	10.1b	(pow.f64 (cbrt.f64 (/.f64 2 (.f64 (pow.f64 (/.f64 k l) 2) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (cos.f64 k))))) 3)
	14.5b	(/.f64 2 (/.f64 k (.f64 (/.f64 l (/.f64 k l)) (/.f64 (cos.f64 k) (.f64 t (pow.f64 (sin.f64 k) 2))))))
	9.7b	(.f64 2 (.f64 (/.f64 (pow.f64 (cbrt.f64 (cos.f64 k)) 2) (pow.f64 (/.f64 k l) 2)) (/.f64 (cbrt.f64 (cos.f64 k)) (*.f64 t (pow.f64 (sin.f64 k) 2)))))
	47.4b	(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))) 3)
	15.0b	(/.f64 2 (/.f64 (.f64 (/.f64 (.f64 k k) l) (/.f64 (*.f64 t (pow.f64 (sin.f64 k) 2)) (cos.f64 k))) l))
	29.3b	(/.f64 2 (+.f64 (.f64 (/.f64 t l) (+.f64 (/.f64 (pow.f64 k 4) l) (/.f64 (.f64 1/6 (pow.f64 k 6)) l))) (.f64 (/.f64 t l) (+.f64 (/.f64 (.f64 31/360 (pow.f64 k 8)) l) (/.f64 (*.f64 173/5040 (pow.f64 k 10)) l)))))
	4.1b	(.f64 2 (.f64 (/.f64 l k) (/.f64 (/.f64 (cos.f64 k) (*.f64 t (pow.f64 (sin.f64 k) 2))) (/.f64 k l))))
	10.4b	(*.f64 (/.f64 (/.f64 2 (pow.f64 (/.f64 k l) 2)) t) (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)))
	28.8b	(/.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)))
	35.3b	(.f64 2 (.f64 (/.f64 (sqrt.f64 (/.f64 (cos.f64 k) t)) (sin.f64 k)) (*.f64 (/.f64 (sqrt.f64 (/.f64 (cos.f64 k) t)) (sin.f64 k)) (pow.f64 (/.f64 k l) -2))))
	14.0b	(/.f64 2 (/.f64 (/.f64 (.f64 k k) l) (.f64 (/.f64 (cos.f64 k) (*.f64 t (pow.f64 (sin.f64 k) 2))) l)))
	37.4b	(/.f64 2 (.f64 (.f64 (/.f64 (*.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k)) l) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
	24.0b	(.f64 (/.f64 2 (.f64 k k)) (/.f64 (cos.f64 k) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (.f64 l l))))
	44.4b	(*.f64 2 (cbrt.f64 (pow.f64 (pow.f64 (/.f64 (/.f64 (sqrt.f64 (/.f64 (cos.f64 k) t)) (sin.f64 k)) (/.f64 k l)) 2) 3)))
	21.4b	(/.f64 2 (.f64 (.f64 k (.f64 k (pow.f64 l -2))) (/.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (cos.f64 k))))
	9.8b	(.f64 2 (/.f64 (pow.f64 (cbrt.f64 (/.f64 (cos.f64 k) (.f64 t (pow.f64 (sin.f64 k) 2)))) 3) (pow.f64 (/.f64 k l) 2)))
	37.3b	(.f64 2 (/.f64 (.f64 (/.f64 1 (.f64 (sin.f64 k) (sqrt.f64 t))) (/.f64 (cos.f64 k) (.f64 (sin.f64 k) (sqrt.f64 t)))) (pow.f64 (/.f64 k l) 2)))
	25.4b	(/.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))))

Compiler

Compiled 3873 to 2172 computations (43.9% saved)

regimes2.1s (7.9%)

Accuracy

Total 2.1b remaining (66.9%)

Threshold costs 0b (0%)

Counts

231 → 3

Compiler

Compiled 35201 to 25220 computations (28.4% saved)

bsearch160.0ms (0.6%)

Steps

Iters	Range		Point
0	1.2676388201507435e-243	1.276490071541205e-243	1.2720644458459743e-243
7	-3.573299635472573e-180	-5.412883441234491e-182	-4.3414506604533326e-181

Compiler

Compiled 4 to 3 computations (25% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	99
1	34	99
2	34	99

end407.0ms (1.5%)

Compiler: Compiled 643 to 437 computations (32% saved)

Details

analyze3.4s (12.9%)

sample17.1s (64.2%)

simplify35.0ms (0.1%)

prune4.0ms (0%)

localize16.0ms (0.1%)

series387.0ms (1.5%)

rewrite93.0ms (0.3%)

simplify66.0ms (0.2%)

prune192.0ms (0.7%)

localize13.0ms (0%)

series423.0ms (1.6%)

rewrite97.0ms (0.4%)

simplify85.0ms (0.3%)

prune278.0ms (1%)

localize14.0ms (0.1%)

series410.0ms (1.5%)

rewrite94.0ms (0.4%)

simplify97.0ms (0.4%)

prune400.0ms (1.5%)

localize12.0ms (0%)

series279.0ms (1%)

rewrite78.0ms (0.3%)

simplify68.0ms (0.3%)

prune281.0ms (1.1%)

regimes2.1s (7.9%)

bsearch160.0ms (0.6%)

simplify7.0ms (0%)

end407.0ms (1.5%)

Profiling