Details

analyze2.3s (20.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
12.5%	87.4%	0.1%	7
12.5%	87.4%	0.1%	8
31.2%	68.6%	0.1%	9
31.2%	68.6%	0.1%	10
31.2%	68.6%	0.1%	11
40.6%	59.3%	0.1%	12
40.6%	59.3%	0.1%	13
40.6%	59.3%	0.1%	14

Compiler

Compiled 34 to 19 computations (44.1% saved)

sample5.5s (48.6%)

Results

3.0s	2112×	body	1024	valid
1.3s	4566×	body	128	valid
901.0ms	1034×	body	512	valid
312.0ms	540×	body	256	valid
14.0ms	4×	body	2048	valid

Compiler

Compiled 101 to 56 computations (44.6% saved)

simplify36.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1286×	`fma-def_binary64`
698×	`fma-neg_binary64`
423×	`times-frac_binary64`
245×	`div-sub_binary64`
182×	`associate-/l*_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	50
1	44	50
2	118	50
3	290	50
4	456	50
5	801	50
6	1325	50
7	2149	50
8	3160	50
9	4423	50
10	4992	50

Stop Event

1×	node limit

Counts

1 → 2

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

0.1b

Counts

3 → 2

Alt Table

Status	Error	Program
	0.1b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (.f64 (neg.f64 eh) (sin.f64 t)) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))))))
▶	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Status

Error

Program

0.1b

(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (*.f64 (neg.f64 eh) (sin.f64 t)) (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))))))

▶

0.1b

(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 195 to 100 computations (48.7% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 eh (sin.f64 t))
✓	0.1b	(*.f64 ew (cos.f64 t))
✓	2.1b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	22.3b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series79.0ms (0.7%)

Counts

4 → 120

Calls

4 calls:

47.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
17.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
7.0ms	(*.f64 eh (sin.f64 t))
7.0ms	(*.f64 ew (cos.f64 t))

rewrite55.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

251×	`expm1-udef_binary64`
251×	`log1p-udef_binary64`
150×	`add-sqr-sqrt_binary64`
137×	`log1p-expm1-u_binary64`
137×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	38
1	289	34
2	3929	34

Stop Event

1×	node limit

Counts

4 → 96

Calls

4 calls:

53.0ms	(*.f64 eh (sin.f64 t))
53.0ms	(*.f64 ew (cos.f64 t))
53.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
53.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

simplify48.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

762×	`fma-neg_binary64`
370×	`distribute-rgt-neg-in_binary64`
367×	`distribute-lft-neg-in_binary64`
218×	`fma-def_binary64`
215×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	77	1560
1	227	1549
2	768	1531
3	2895	1520

Stop Event

1×	node limit

Counts

216 → 126

prune161.0ms (1.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	174	6	180
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	176	6	182

Error

0.1b

Counts

182 → 6

Alt Table

Status	Error	Program
	0.9b	(fabs.f64 (-.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) 3) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	16.8b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (cbrt.f64 (pow.f64 (.f64 eh (sin.f64 t)) 3)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	24.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (pow.f64 (sqrt.f64 (.f64 eh (sin.f64 t))) 2) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
▶	0.6b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 3) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	25.3b	(fabs.f64 (-.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 ew 3) (pow.f64 (cos.f64 t) 3))) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	36.9b	(fabs.f64 (-.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 ew (cos.f64 t))) 2) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 6709 to 1772 computations (73.6% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 3)
	2.1b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	8.2b	(cbrt.f64 (*.f64 eh (sin.f64 t)))
	22.3b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series654.0ms (5.8%)

Counts

2 → 48

Calls

2 calls:

342.0ms	(pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 3)
313.0ms	(cbrt.f64 (*.f64 eh (sin.f64 t)))

rewrite45.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

596×	`log1p-expm1-u_binary64`
596×	`expm1-log1p-u_binary64`
319×	`log-prod_binary64`
121×	`expm1-udef_binary64`
121×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	159	14
2	1674	14

Stop Event

1×	node limit

Counts

2 → 63

Calls

2 calls:

44.0ms	(pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 3)
44.0ms	(cbrt.f64 (*.f64 eh (sin.f64 t)))

simplify40.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

762×	`fma-neg_binary64`
495×	`distribute-rgt-neg-in_binary64`
470×	`unswap-sqr_binary64`
325×	`associate-r_binary64`
295×	`associate-l_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	71	1126
1	204	1122
2	627	962
3	2764	512

Stop Event

1×	node limit

Counts

111 → 89

prune297.0ms (2.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	217	4	221
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	218	9	227

Error

0.0b

Counts

227 → 9

Alt Table

Status	Error	Program
	0.6b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (pow.f64 (cbrt.f64 (sin.f64 t)) 2) (.f64 (cbrt.f64 (sin.f64 t)) eh)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.9b	(fabs.f64 (-.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) 3) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	16.8b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (cbrt.f64 (pow.f64 (.f64 eh (sin.f64 t)) 3)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	24.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (pow.f64 (sqrt.f64 (.f64 eh (sin.f64 t))) 2) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
▶	0.2b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (neg.f64 (/.f64 (sin.f64 t) (/.f64 -1 eh))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	1.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 3) (sin.f64 (atan.f64 (.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.8b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t)))) 2)) (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t))))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	25.3b	(fabs.f64 (-.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 ew 3) (pow.f64 (cos.f64 t) 3))) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	36.9b	(fabs.f64 (-.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 ew (cos.f64 t))) 2) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 9228 to 2724 computations (70.5% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(*.f64 ew (cos.f64 t))
✓	0.3b	(/.f64 (sin.f64 t) (/.f64 -1 eh))
	2.1b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	22.3b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series9.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

9.0ms

(/.f64 (sin.f64 t) (/.f64 -1 eh))

rewrite33.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

674×	`log1p-expm1-u_binary64`
674×	`expm1-log1p-u_binary64`
128×	`expm1-udef_binary64`
128×	`log1p-udef_binary64`
116×	`log-pow_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	146	8
2	1920	8

Stop Event

1×	node limit

Counts

1 → 42

Calls

1 calls:

32.0ms

(/.f64 (sin.f64 t) (/.f64 -1 eh))

simplify25.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1023×	`fma-neg_binary64`
780×	`cancel-sign-sub-inv_binary64`
428×	`fma-def_binary64`
314×	`distribute-rgt-neg-in_binary64`
269×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	29	244
1	86	238
2	251	226
3	770	226
4	2524	226

Stop Event

1×	node limit

Counts

66 → 52

prune331.0ms (2.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	208	0	208
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	208	9	217

Error

0.0b

Counts

217 → 9

Alt Table

Status	Error	Program
▶	0.6b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (pow.f64 (cbrt.f64 (sin.f64 t)) 2) (.f64 (cbrt.f64 (sin.f64 t)) eh)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.9b	(fabs.f64 (-.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) 3) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	16.8b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (cbrt.f64 (pow.f64 (.f64 eh (sin.f64 t)) 3)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	24.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (pow.f64 (sqrt.f64 (.f64 eh (sin.f64 t))) 2) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.2b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (neg.f64 (/.f64 (sin.f64 t) (/.f64 -1 eh))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	1.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 3) (sin.f64 (atan.f64 (.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.8b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t)))) 2)) (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t))))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	25.3b	(fabs.f64 (-.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 ew 3) (pow.f64 (cos.f64 t) 3))) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	36.9b	(fabs.f64 (-.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 ew (cos.f64 t))) 2) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 8503 to 2898 computations (65.9% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 (sin.f64 t)) 2)
✓	0.6b	(cbrt.f64 (sin.f64 t))
	2.1b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	22.3b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series239.0ms (2.1%)

Counts

2 → 24

Calls

2 calls:

121.0ms	(pow.f64 (cbrt.f64 (sin.f64 t)) 2)
118.0ms	(cbrt.f64 (sin.f64 t))

rewrite35.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

435×	`log1p-expm1-u_binary64`
435×	`expm1-log1p-u_binary64`
273×	`unpow-prod-down_binary64`
216×	`log-prod_binary64`
131×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	119	13
2	1271	13

Stop Event

1×	node limit

Counts

2 → 74

Calls

2 calls:

34.0ms	(pow.f64 (cbrt.f64 (sin.f64 t)) 2)
34.0ms	(cbrt.f64 (sin.f64 t))

simplify35.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

419×	`fma-def_binary64`
390×	`distribute-rgt-neg-in_binary64`
318×	`distribute-lft-neg-in_binary64`
284×	`unswap-sqr_binary64`
281×	`associate-l_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	52	264
1	159	260
2	365	254
3	1016	250
4	3257	250

Stop Event

1×	node limit

Counts

98 → 92

prune422.0ms (3.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	274	2	276
Fresh	2	5	7
Picked	1	0	1
Done	0	1	1
Total	277	8	285

Error

0.0b

Counts

285 → 8

Alt Table

Status	Error	Program
	2.4b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (sin.f64 t)) 4)) (.f64 (cbrt.f64 (sin.f64 t)) eh)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	36.9b	(fabs.f64 (-.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 ew (cos.f64 t))) 2) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.9b	(fabs.f64 (-.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) 3) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	8.8b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (pow.f64 (log.f64 (+.f64 1 (expm1.f64 (cbrt.f64 (sin.f64 t))))) 2) (.f64 (cbrt.f64 (sin.f64 t)) eh)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.2b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (neg.f64 (/.f64 (sin.f64 t) (/.f64 -1 eh))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	1.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 3) (sin.f64 (atan.f64 (.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.8b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t)))) 2)) (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t))))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	25.3b	(fabs.f64 (-.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 ew 3) (pow.f64 (cos.f64 t) 3))) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 12079 to 3413 computations (71.7% saved)

regimes684.0ms (6%)

Accuracy

Total 0.1b remaining (48%)

Threshold costs 0.1b (48%)

Counts

94 → 1

Compiler

Compiled 18574 to 10953 computations (41% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

64×	`distribute-rgt-neg-in_binary64`
50×	`cancel-sign-sub-inv_binary64`
36×	`distribute-lft-neg-in_binary64`
31×	`distribute-lft-neg-out_binary64`
30×	`neg-sub0_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	52
1	49	50
2	101	50
3	176	50
4	236	50
5	286	50
6	325	50
7	364	50
8	404	50
9	425	50
10	425	50

Stop Event

1×

saturated

end193.0ms (1.7%)

Compiler: Compiled 384 to 221 computations (42.4% saved)

Iter	Nodes	Cost
0	20	52
1	49	50
2	101	50
3	176	50
4	236	50
5	286	50
6	325	50
7	364	50
8	404	50
9	425	50
10	425	50

Iter	Nodes	Cost
0	20	52
1	49	50
2	101	50
3	176	50
4	236	50
5	286	50
6	325	50
7	364	50
8	404	50
9	425	50
10	425	50

Details

analyze2.3s (20.4%)

sample5.5s (48.6%)

simplify36.0ms (0.3%)

prune4.0ms (0%)

localize20.0ms (0.2%)

series79.0ms (0.7%)

rewrite55.0ms (0.5%)

simplify48.0ms (0.4%)

prune161.0ms (1.4%)

localize25.0ms (0.2%)

series654.0ms (5.8%)

rewrite45.0ms (0.4%)

simplify40.0ms (0.3%)

prune297.0ms (2.6%)

localize20.0ms (0.2%)

series9.0ms (0.1%)

rewrite33.0ms (0.3%)

simplify25.0ms (0.2%)

prune331.0ms (2.9%)

localize23.0ms (0.2%)

series239.0ms (2.1%)

rewrite35.0ms (0.3%)

simplify35.0ms (0.3%)

prune422.0ms (3.7%)

regimes684.0ms (6%)

simplify7.0ms (0.1%)

end193.0ms (1.7%)

Profiling

Iter	Nodes	Cost
0	20	52
1	49	50
2	101	50
3	176	50
4	236	50
5	286	50
6	325	50
7	364	50
8	404	50
9	425	50
10	425	50