Details

analyze3.3s (13.4%)

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.0s (68.5%)

Results

4.7s	1270×	body	4096	invalid
3.8s	3994×	body	1024	valid
2.9s	1141×	body	2048	invalid
1.5s	1032×	body	2048	valid
1.2s	486×	body	4096	valid
972.0ms	1428×	body	512	valid
634.0ms	656×	body	1024	invalid
319.0ms	490×	body	512	invalid
304.0ms	1143×	body	128	invalid
228.0ms	494×	body	256	valid
210.0ms	822×	body	128	valid
126.0ms	304×	body	256	invalid

Compiler

Compiled 86 to 65 computations (24.4% saved)

simplify14.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

845×	`associate-*l/_binary64`
417×	`associate-/r/_binary64`
388×	`associate-/r*_binary64`
347×	`distribute-rgt-in_binary64`
317×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	20	38
1	52	35
2	180	32
3	1056	32

Stop Event

1×	node limit

Counts

1 → 2

prune5.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

36.1b

Counts

3 → 2

Alt Table

Status	Error	Program
	44.0b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
▶	36.5b	(.f64 (/.f64 2 (.f64 (.f64 (pow.f64 t 3) (sin.f64 k)) (.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2)))) (*.f64 l l))

Status

Error

Program

44.0b

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

▶

36.5b

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

Compiler

Compiled 153 to 107 computations (30.1% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series332.0ms (1.3%)

Counts

4 → 88

Calls

4 calls:

182.0ms	(.f64 (/.f64 2 (.f64 (.f64 (pow.f64 t 3) (sin.f64 k)) (.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2)))) (*.f64 l l))
98.0ms	(/.f64 2 (.f64 (.f64 (pow.f64 t 3) (sin.f64 k)) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2))))
40.0ms	(.f64 (.f64 (pow.f64 t 3) (sin.f64 k)) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2)))
11.0ms	(*.f64 (pow.f64 t 3) (sin.f64 k))

rewrite65.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

309×	`log1p-udef_binary64`
176×	`add-sqr-sqrt_binary64`
167×	`associate-r_binary64`
167×	`log1p-expm1-u_binary64`
167×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	90
1	366	90
2	4690	90

Stop Event

1×	node limit

Counts

4 → 84

Calls

4 calls:

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

simplify40.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

426×	`associate-l_binary64`
423×	`associate-r_binary64`
393×	`times-frac_binary64`
345×	`fma-def_binary64`
254×	`associate-/r*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	98	2240
1	301	2215
2	1039	2167

Stop Event

1×	node limit

Counts

172 → 121

prune150.0ms (0.6%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	108	13	121
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	110	13	123

Error

11.7b

Counts

123 → 13

Alt Table

Status	Error	Program
	52.1b	(pow.f64 (.f64 l (/.f64 (sqrt.f64 2) (.f64 (sqrt.f64 (.f64 (pow.f64 t 3) (.f64 (sin.f64 k) (tan.f64 k)))) (/.f64 k t)))) 2)
	23.6b	(.f64 (/.f64 2 (.f64 (.f64 t (pow.f64 (sin.f64 k) 2)) (/.f64 k (/.f64 (cos.f64 k) k)))) (.f64 l l))
	30.1b	(pow.f64 (/.f64 (cbrt.f64 (.f64 2 (.f64 l l))) (.f64 t (cbrt.f64 (.f64 (sin.f64 k) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2)))))) 3)
	23.6b	(.f64 (/.f64 2 (/.f64 (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2))) (cos.f64 k))) (.f64 l l))
▶	14.2b	(.f64 (.f64 (/.f64 l (.f64 k (.f64 k t))) l) (*.f64 (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)) 2))
	23.2b	(.f64 2 (/.f64 (.f64 (cos.f64 k) (pow.f64 l 2)) (.f64 (pow.f64 k 2) (.f64 t (pow.f64 (sin.f64 k) 2)))))
	39.9b	(cbrt.f64 (pow.f64 (/.f64 (.f64 l l) (/.f64 (.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2)) (/.f64 (/.f64 2 (pow.f64 t 3)) (sin.f64 k)))) 3))
	35.2b	(log.f64 (pow.f64 (pow.f64 (exp.f64 l) l) (/.f64 (/.f64 (/.f64 2 (pow.f64 t 3)) (sin.f64 k)) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2)))))
	30.2b	(/.f64 (/.f64 (.f64 2 (.f64 l l)) (pow.f64 (.f64 t (cbrt.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2))))) 2)) (.f64 t (cbrt.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2))))))
	37.2b	(/.f64 (/.f64 (.f64 2 (.f64 l l)) (.f64 (pow.f64 t 3) (sin.f64 k))) (.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2)))
	50.2b	(-.f64 (.f64 (/.f64 l (pow.f64 k 4)) (.f64 (/.f64 l t) 2)) (fma.f64 31/1512 (.f64 (.f64 l l) (.f64 (/.f64 k t) k)) (.f64 (.f64 (/.f64 l t) l) (+.f64 7/60 (/.f64 1/3 (.f64 k k))))))
	30.7b	(.f64 (.f64 (/.f64 l t) l) (-.f64 (/.f64 2 (pow.f64 k 4)) (/.f64 1/3 (*.f64 k k))))
	30.1b	(.f64 (/.f64 l (pow.f64 k 4)) (.f64 (/.f64 l t) 2))

Compiler

Compiled 3599 to 2093 computations (41.8% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(pow.f64 (sin.f64 k) 2)
✓	2.6b	(.f64 (/.f64 l (.f64 k (*.f64 k t))) l)
✓	3.7b	(.f64 (.f64 (/.f64 l (.f64 k (.f64 k t))) l) (*.f64 (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)) 2))
✓	8.2b	(/.f64 l (.f64 k (.f64 k t)))

series258.0ms (1%)

Counts

4 → 112

Calls

4 calls:

148.0ms	(.f64 (.f64 (/.f64 l (.f64 k (.f64 k t))) l) (*.f64 (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)) 2))
59.0ms	(.f64 (/.f64 l (.f64 k (*.f64 k t))) l)
47.0ms	(/.f64 l (.f64 k (.f64 k t)))
3.0ms	(pow.f64 (sin.f64 k) 2)

rewrite67.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

286×	`log1p-udef_binary64`
159×	`add-sqr-sqrt_binary64`
158×	`associate-r_binary64`
148×	`log1p-expm1-u_binary64`
148×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	58
1	320	55
2	4398	55

Stop Event

1×	node limit

Counts

4 → 117

Calls

4 calls:

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

simplify54.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

632×	`fma-def_binary64`
474×	`cancel-sign-sub-inv_binary64`
472×	`fma-neg_binary64`
349×	`times-frac_binary64`
192×	`associate-/r*_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	52	1978
1	149	1968
2	523	1945
3	2884	1941

Stop Event

1×	node limit

Counts

229 → 139

prune206.0ms (0.8%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	123	16	139
Fresh	10	2	12
Picked	1	0	1
Done	0	0	0
Total	134	18	152

Error

1.2b

Counts

152 → 18

Alt Table

Status	Error	Program
	17.8b	(.f64 (.f64 (pow.f64 (cbrt.f64 (/.f64 l (.f64 t (.f64 k k)))) 3) l) (*.f64 (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)) 2))
	35.2b	(log.f64 (pow.f64 (pow.f64 (exp.f64 l) l) (/.f64 (/.f64 (/.f64 2 (pow.f64 t 3)) (sin.f64 k)) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2)))))
	46.7b	(pow.f64 (.f64 (/.f64 (sqrt.f64 (.f64 (cos.f64 k) 2)) (sin.f64 k)) (/.f64 l (*.f64 k (sqrt.f64 t)))) 2)
	7.8b	(.f64 (.f64 (.f64 (/.f64 1 k) (/.f64 l (.f64 k t))) l) (*.f64 (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)) 2))
	35.8b	(/.f64 (.f64 (.f64 (cos.f64 k) 2) (pow.f64 (/.f64 l (*.f64 k (sqrt.f64 t))) 2)) (pow.f64 (sin.f64 k) 2))
	7.9b	(.f64 (.f64 (.f64 (/.f64 l k) (/.f64 1 (.f64 k t))) l) (*.f64 (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)) 2))
	22.1b	(.f64 (.f64 (/.f64 l (.f64 k (.f64 k t))) l) (.f64 (/.f64 (cos.f64 k) (-.f64 1/2 (.f64 1/2 (cos.f64 (*.f64 2 k))))) 2))
	23.2b	(/.f64 (.f64 (.f64 l l) (.f64 (cos.f64 k) 2)) (.f64 (.f64 t (.f64 k k)) (pow.f64 (sin.f64 k) 2)))
	22.3b	(.f64 (.f64 (/.f64 l (.f64 k (.f64 k t))) l) (*.f64 (/.f64 (cos.f64 k) (-.f64 (exp.f64 (log1p.f64 (pow.f64 (sin.f64 k) 2))) 1)) 2))
▶	6.5b	(/.f64 (.f64 (.f64 l 2) (.f64 (cos.f64 k) (pow.f64 (sin.f64 k) -2))) (/.f64 (.f64 k t) (/.f64 l k)))
	42.4b	(.f64 (sqrt.f64 (pow.f64 (pow.f64 (/.f64 l (.f64 k (sqrt.f64 t))) 2) 2)) (*.f64 (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)) 2))
	22.6b	(.f64 (/.f64 (/.f64 (.f64 l l) (.f64 k k)) t) (.f64 (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)) 2))
	10.7b	(.f64 (.f64 (/.f64 (/.f64 l k) k) (/.f64 l t)) (*.f64 (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)) 2))
	39.4b	(.f64 (.f64 (.f64 (/.f64 (sqrt.f64 l) (.f64 k k)) (/.f64 (sqrt.f64 l) t)) l) (*.f64 (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)) 2))
	14.6b	(.f64 (.f64 (/.f64 l (.f64 k (.f64 k t))) l) (*.f64 (/.f64 (cos.f64 k) (exp.f64 (log.f64 (pow.f64 (sin.f64 k) 2)))) 2))
	30.2b	(/.f64 (/.f64 (.f64 2 (.f64 l l)) (pow.f64 (.f64 t (cbrt.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2))))) 2)) (.f64 t (cbrt.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2))))))
	9.4b	(/.f64 (.f64 (/.f64 l k) (.f64 (.f64 l 2) (.f64 (cos.f64 k) (pow.f64 (sin.f64 k) -2)))) (*.f64 k t))
	21.2b	(/.f64 (.f64 l (.f64 (.f64 l 2) (.f64 (cos.f64 k) (pow.f64 (sin.f64 k) -2)))) (.f64 t (.f64 k k)))

Compiler

Compiled 3989 to 2038 computations (48.9% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (sin.f64 k) -2)
✓	2.4b	(.f64 (.f64 l 2) (*.f64 (cos.f64 k) (pow.f64 (sin.f64 k) -2)))
✓	2.4b	(/.f64 (*.f64 k t) (/.f64 l k))
✓	2.8b	(/.f64 (.f64 (.f64 l 2) (.f64 (cos.f64 k) (pow.f64 (sin.f64 k) -2))) (/.f64 (.f64 k t) (/.f64 l k)))

series225.0ms (0.9%)

Counts

4 → 108

Calls

4 calls:

146.0ms	(/.f64 (.f64 (.f64 l 2) (.f64 (cos.f64 k) (pow.f64 (sin.f64 k) -2))) (/.f64 (.f64 k t) (/.f64 l k)))
50.0ms	(.f64 (.f64 l 2) (*.f64 (cos.f64 k) (pow.f64 (sin.f64 k) -2)))
20.0ms	(/.f64 (*.f64 k t) (/.f64 l k))
7.0ms	(pow.f64 (sin.f64 k) -2)

rewrite45.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

209×	`times-frac_binary64`
177×	`add-sqr-sqrt_binary64`
165×	`log1p-expm1-u_binary64`
165×	`expm1-log1p-u_binary64`
164×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	62
1	351	62

Stop Event

1×	node limit

Counts

4 → 155

Calls

4 calls:

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

simplify63.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

588×	`cancel-sign-sub-inv_binary64`
494×	`fma-neg_binary64`
365×	`times-frac_binary64`
214×	`associate-/l*_binary64`
214×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	66	2004
1	190	1994
2	633	1966
3	3268	1962

Stop Event

1×	node limit

Counts

263 → 186

prune288.0ms (1.2%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	178	8	186
Fresh	9	8	17
Picked	1	0	1
Done	0	0	0
Total	188	16	204

Error

0.0b

Counts

204 → 16

Alt Table

Status	Error	Program
	22.6b	(.f64 (/.f64 (/.f64 (.f64 l l) (.f64 k k)) t) (.f64 (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)) 2))
	5.8b	(/.f64 (.f64 (.f64 l 2) (.f64 (cos.f64 k) (pow.f64 (sin.f64 k) -2))) (.f64 k (*.f64 t (/.f64 k l))))
	10.7b	(.f64 (.f64 (/.f64 (/.f64 l k) k) (/.f64 l t)) (*.f64 (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)) 2))
	7.6b	(.f64 (/.f64 (.f64 (cos.f64 k) (pow.f64 (sin.f64 k) -2)) (/.f64 k (/.f64 l t))) (/.f64 (*.f64 l 2) k))
	14.6b	(.f64 (.f64 (/.f64 l (.f64 k (.f64 k t))) l) (*.f64 (/.f64 (cos.f64 k) (exp.f64 (log.f64 (pow.f64 (sin.f64 k) 2)))) 2))
	8.7b	(.f64 (/.f64 l (pow.f64 (cbrt.f64 (/.f64 k (/.f64 l (.f64 k t)))) 2)) (/.f64 (.f64 (.f64 2 (cos.f64 k)) (pow.f64 (sin.f64 k) -2)) (cbrt.f64 (/.f64 k (/.f64 l (*.f64 k t))))))
	46.7b	(pow.f64 (.f64 (/.f64 (sqrt.f64 (.f64 (cos.f64 k) 2)) (sin.f64 k)) (/.f64 l (*.f64 k (sqrt.f64 t)))) 2)
	7.8b	(.f64 (.f64 (.f64 (/.f64 1 k) (/.f64 l (.f64 k t))) l) (*.f64 (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)) 2))
	6.5b	(.f64 (/.f64 l (.f64 k t)) (/.f64 (.f64 (.f64 2 (cos.f64 k)) (pow.f64 (sin.f64 k) -2)) (/.f64 k l)))
	35.8b	(/.f64 (.f64 (.f64 (cos.f64 k) 2) (pow.f64 (/.f64 l (*.f64 k (sqrt.f64 t))) 2)) (pow.f64 (sin.f64 k) 2))
	7.9b	(.f64 (.f64 (.f64 (/.f64 l k) (/.f64 1 (.f64 k t))) l) (*.f64 (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)) 2))
▶	5.8b	(.f64 (/.f64 (.f64 (pow.f64 (sin.f64 k) -2) (.f64 (cos.f64 k) (.f64 l 2))) (*.f64 k t)) (/.f64 l k))
	42.4b	(.f64 (sqrt.f64 (pow.f64 (pow.f64 (/.f64 l (.f64 k (sqrt.f64 t))) 2) 2)) (*.f64 (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)) 2))
	6.5b	(/.f64 (.f64 (.f64 l 2) (.f64 (cos.f64 k) (pow.f64 (sin.f64 k) -2))) (.f64 (/.f64 k l) (/.f64 t (/.f64 1 k))))
	30.3b	(/.f64 (.f64 (.f64 l 2) (.f64 (cos.f64 k) (pow.f64 (sin.f64 k) -2))) (.f64 (/.f64 1 (sqrt.f64 (/.f64 l k))) (/.f64 (*.f64 k t) (sqrt.f64 (/.f64 l k)))))
	22.1b	(/.f64 (fma.f64 (/.f64 2 k) (/.f64 l k) (.f64 l -1/3)) (/.f64 (.f64 k t) (/.f64 l k)))

Compiler

Compiled 5258 to 2545 computations (51.6% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(pow.f64 (sin.f64 k) -2)
✓	0.6b	(.f64 (/.f64 (.f64 (pow.f64 (sin.f64 k) -2) (.f64 (cos.f64 k) (.f64 l 2))) (*.f64 k t)) (/.f64 l k))
✓	2.5b	(.f64 (pow.f64 (sin.f64 k) -2) (.f64 (cos.f64 k) (*.f64 l 2)))
✓	4.6b	(/.f64 (.f64 (pow.f64 (sin.f64 k) -2) (.f64 (cos.f64 k) (.f64 l 2))) (.f64 k t))

series312.0ms (1.3%)

Counts

3 → 96

Calls

3 calls:

155.0ms

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

107.0ms

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

50.0ms

(*.f64 (pow.f64 (sin.f64 k) -2) (*.f64 (cos.f64 k) (*.f64 l 2)))

rewrite44.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

177×	`add-sqr-sqrt_binary64`
171×	`associate-r_binary64`
165×	`log1p-expm1-u_binary64`
165×	`expm1-log1p-u_binary64`
164×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	69
1	351	69

Stop Event

1×	node limit

Counts

3 → 151

Calls

3 calls:

39.0ms

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

39.0ms

(*.f64 (pow.f64 (sin.f64 k) -2) (*.f64 (cos.f64 k) (*.f64 l 2)))

39.0ms

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

simplify63.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

792×	`fma-neg_binary64`
558×	`times-frac_binary64`
335×	`associate-/l*_binary64`
329×	`associate-/r*_binary64`
198×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	76	2367
1	245	2359
2	852	2319
3	4294	2315

Stop Event

1×	node limit

Counts

247 → 181

prune322.0ms (1.3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	200	5	205
Fresh	6	9	15
Picked	1	0	1
Done	0	0	0
Total	207	14	221

Error

0.0b

Counts

221 → 14

Alt Table

Status	Error	Program
	22.6b	(.f64 (/.f64 (/.f64 (.f64 l l) (.f64 k k)) t) (.f64 (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)) 2))
	5.8b	(/.f64 (.f64 (.f64 l 2) (.f64 (cos.f64 k) (pow.f64 (sin.f64 k) -2))) (.f64 k (*.f64 t (/.f64 k l))))
	10.7b	(.f64 (.f64 (/.f64 (/.f64 l k) k) (/.f64 l t)) (*.f64 (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)) 2))
	7.6b	(.f64 (/.f64 (.f64 (cos.f64 k) (pow.f64 (sin.f64 k) -2)) (/.f64 k (/.f64 l t))) (/.f64 (*.f64 l 2) k))
	8.7b	(.f64 (/.f64 l (pow.f64 (cbrt.f64 (/.f64 k (/.f64 l (.f64 k t)))) 2)) (/.f64 (.f64 (.f64 2 (cos.f64 k)) (pow.f64 (sin.f64 k) -2)) (cbrt.f64 (/.f64 k (/.f64 l (*.f64 k t))))))
	7.6b	(/.f64 (/.f64 l k) (/.f64 (.f64 (/.f64 k (cos.f64 k)) (/.f64 t (.f64 l 2))) (pow.f64 (sin.f64 k) -2)))
	46.7b	(pow.f64 (.f64 (/.f64 (sqrt.f64 (.f64 (cos.f64 k) 2)) (sin.f64 k)) (/.f64 l (*.f64 k (sqrt.f64 t)))) 2)
	6.5b	(.f64 (/.f64 l (.f64 k t)) (/.f64 (.f64 (.f64 2 (cos.f64 k)) (pow.f64 (sin.f64 k) -2)) (/.f64 k l)))
	14.4b	(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 (pow.f64 (sin.f64 k) -2) k) (/.f64 (cos.f64 k) (/.f64 t (.f64 l 2))))) (cbrt.f64 (pow.f64 (.f64 (/.f64 (pow.f64 (sin.f64 k) -2) k) (/.f64 (cos.f64 k) (/.f64 t (.f64 l 2)))) 2))) (/.f64 l k))
	6.5b	(/.f64 (.f64 (.f64 l 2) (.f64 (cos.f64 k) (pow.f64 (sin.f64 k) -2))) (.f64 (/.f64 k l) (/.f64 t (/.f64 1 k))))
	11.9b	(/.f64 (.f64 (pow.f64 (sin.f64 k) -2) (.f64 (.f64 (cos.f64 k) (.f64 l 2)) (/.f64 l k))) (*.f64 k t))
	9.5b	(.f64 (.f64 (/.f64 (pow.f64 (sin.f64 k) -2) k) (/.f64 (cos.f64 k) (/.f64 t (*.f64 l 2)))) (/.f64 l k))
	40.3b	(.f64 (.f64 (/.f64 (.f64 (sqrt.f64 (.f64 (cos.f64 k) (.f64 l 2))) (/.f64 1 (sin.f64 k))) (cbrt.f64 (pow.f64 (.f64 k t) 2))) (/.f64 (.f64 (sqrt.f64 (.f64 (cos.f64 k) (.f64 l 2))) (/.f64 1 (sin.f64 k))) (cbrt.f64 (.f64 k t)))) (/.f64 l k))
	22.1b	(/.f64 (fma.f64 (/.f64 2 k) (/.f64 l k) (.f64 l -1/3)) (/.f64 (.f64 k t) (/.f64 l k)))

Compiler

Compiled 5073 to 2601 computations (48.7% saved)

regimes1.3s (5.2%)

Accuracy

Total 0.8b remaining (90.5%)

Threshold costs 0.8b (90.5%)

Counts

147 → 3

Compiler

Compiled 21694 to 14973 computations (31% saved)

bsearch275.0ms (1.1%)

Steps

Iters	Range		Point
7	2.17253670243793e-60	2.9492280798180654e-58	3.306798165625435e-60
5	-2.3112561447549485e-47	-9.596305790163349e-48	-1.0153296323308793e-47

Compiler

Compiled 4 to 3 computations (25% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	99
1	44	99

Stop Event

1×

saturated

end284.0ms (1.1%)

Compiler: Compiled 499 to 322 computations (35.5% saved)

Details

analyze3.3s (13.4%)

sample17.0s (68.5%)

simplify14.0ms (0.1%)

prune5.0ms (0%)

localize16.0ms (0.1%)

series332.0ms (1.3%)

rewrite65.0ms (0.3%)

simplify40.0ms (0.2%)

prune150.0ms (0.6%)

localize14.0ms (0.1%)

series258.0ms (1%)

rewrite67.0ms (0.3%)

simplify54.0ms (0.2%)

prune206.0ms (0.8%)

localize13.0ms (0.1%)

series225.0ms (0.9%)

rewrite45.0ms (0.2%)

simplify63.0ms (0.3%)

prune288.0ms (1.2%)

localize14.0ms (0.1%)

series312.0ms (1.3%)

rewrite44.0ms (0.2%)

simplify63.0ms (0.3%)

prune322.0ms (1.3%)

regimes1.3s (5.2%)

bsearch275.0ms (1.1%)

simplify2.0ms (0%)

end284.0ms (1.1%)

Profiling