Details

analyze2.6s (22.1%)

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)

sample149.0ms (1.2%)

Algorithm

1×

intervals

Results

75.0ms	61×	body	1024	valid
32.0ms	146×	body	128	valid
20.0ms	27×	body	512	valid
10.0ms	22×	body	256	valid

Compiler

Compiled 70 to 40 computations (42.9% saved)

simplify284.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1350×	`fma-def_binary64`
1306×	`fma-neg_binary64`
889×	`div-sub_binary64`
757×	`associate-/r/_binary64`
558×	`associate-/l*_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	50
1	44	50
2	109	50
3	229	50
4	333	50
5	515	50
6	717	50
7	984	50
8	1308	50
9	1633	50
10	1589	50
11	1591	50
12	1623	50
13	1671	50
14	1671	50
15	2103	50
16	2591	50
17	2559	50
18	2615	50
19	2783	50
20	2879	50
21	2927	50
22	3351	50
23	3319	50
24	3319	50
25	2487	50
26	2863	50
27	2591	50
28	2591	50
29	2591	50
30	2591	50
31	2376	50

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	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 (-.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 99 to 54 computations (45.5% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series110.0ms (0.9%)

Counts

4 → 120

Calls

4 calls:

55.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
26.0ms	(*.f64 (neg.f64 eh) (tan.f64 t))
21.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
7.0ms	(*.f64 eh (sin.f64 t))

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64`
13×	`associate-l_binary64`
13×	`add-cbrt-cube_binary64`
13×	`add-exp-log_binary64`
12×	`*-un-lft-identity_binary64`

Counts

4 → 85

Calls

4 calls:

5.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
4.0ms	(*.f64 (neg.f64 eh) (tan.f64 t))
3.0ms	(*.f64 eh (sin.f64 t))
1.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

simplify104.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

776×	`times-frac_binary64`
641×	`fma-def_binary64`
349×	`div-sub_binary64`
186×	`fma-neg_binary64`
182×	`distribute-lft-neg-out_binary64`

Counts

205 → 155

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	188	2842
1	468	2661
2	1674	2646
3	4204	2644
4	5113	2644

prune325.0ms (2.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	253	7	260
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	254	7	261

Error

0.1b

Counts

261 → 7

Alt Table

Status	Error	Program
	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (.f64 (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (sqrt.f64 (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))))))
	31.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 (sqrt.f64 eh) (.f64 (sqrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	29.0b	(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 (.f64 eh (sin.f64 t))) (sqrt.f64 (.f64 eh (sin.f64 t)))) (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 (.f64 (.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) (cbrt.f64 (.f64 eh (sin.f64 t)))) (cbrt.f64 (.f64 eh (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) 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 (neg.f64 eh) (/.f64 (tan.f64 t) ew)))))))
	35.0b	(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 eh (sqrt.f64 (sin.f64 t))) (sqrt.f64 (sin.f64 t))) (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 (.f64 (.f64 eh (.f64 (cbrt.f64 (sin.f64 t)) (cbrt.f64 (sin.f64 t)))) (cbrt.f64 (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 9865 to 2241 computations (77.3% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(*.f64 eh (sin.f64 t))
	1.6b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	2.6b	(*.f64 (neg.f64 eh) (/.f64 (tan.f64 t) ew))
	21.2b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series54.0ms (0.5%)

Counts

1 → 36

Calls

1 calls:

54.0ms

(*.f64 (neg.f64 eh) (/.f64 (tan.f64 t) ew))

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64`
13×	`associate-r_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
10×	`associate-l_binary64`

Counts

1 → 42

Calls

1 calls:

7.0ms

(*.f64 (neg.f64 eh) (/.f64 (tan.f64 t) ew))

simplify77.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

369×	`fma-def_binary64`
346×	`associate-/l*_binary64`
299×	`associate-*r/_binary64`
284×	`associate-*l/_binary64`
245×	`unsub-neg_binary64`

Counts

78 → 61

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	117	1260
1	337	1201
2	1170	1201
3	3422	1201
4	4989	1201
5	4955	1201

prune261.0ms (2.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	160	0	160
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	160	7	167

Error

0.1b

Counts

167 → 7

Alt Table

Status	Error	Program
▶	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (.f64 (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (sqrt.f64 (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))))))
	31.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 (sqrt.f64 eh) (.f64 (sqrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	29.0b	(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 (.f64 eh (sin.f64 t))) (sqrt.f64 (.f64 eh (sin.f64 t)))) (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 (.f64 (.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) (cbrt.f64 (.f64 eh (sin.f64 t)))) (cbrt.f64 (.f64 eh (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) 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 (neg.f64 eh) (/.f64 (tan.f64 t) ew)))))))
	35.0b	(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 eh (sqrt.f64 (sin.f64 t))) (sqrt.f64 (sin.f64 t))) (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 (.f64 (.f64 eh (.f64 (cbrt.f64 (sin.f64 t)) (cbrt.f64 (sin.f64 t)))) (cbrt.f64 (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 6396 to 1571 computations (75.4% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(*.f64 eh (sin.f64 t))
✓	0.3b	(.f64 (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))
	1.6b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	21.2b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series22.0ms (0.2%)

Counts

1 → 36

Calls

1 calls:

22.0ms

(*.f64 (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))

rewrite12.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64`
18×	`sqrt-prod_binary64`
16×	`pow1_binary64`
9×	`*-un-lft-identity_binary64`
9×	`add-cube-cbrt_binary64`

Counts

1 → 56

Calls

1 calls:

6.0ms

(*.f64 (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))

simplify153.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

477×	`div-sub_binary64`
447×	`unswap-sqr_binary64`
416×	`times-frac_binary64`
341×	`sqr-pow_binary64`
306×	`fma-def_binary64`

Counts

92 → 69

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	66	1810
1	105	1684
2	255	1616
3	753	1502
4	2016	1502
5	3274	1502
6	4018	1488
7	4635	1480
8	4746	1480
9	4805	1480

prune526.0ms (4.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	287	0	287
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	287	7	294

Error

0.1b

Counts

294 → 7

Alt Table

Status	Error	Program
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (.f64 (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (sqrt.f64 (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))))))
	31.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 (sqrt.f64 eh) (.f64 (sqrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	29.0b	(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 (.f64 eh (sin.f64 t))) (sqrt.f64 (.f64 eh (sin.f64 t)))) (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 (.f64 (.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) (cbrt.f64 (.f64 eh (sin.f64 t)))) (cbrt.f64 (.f64 eh (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) 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 (neg.f64 eh) (/.f64 (tan.f64 t) ew)))))))
	35.0b	(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 eh (sqrt.f64 (sin.f64 t))) (sqrt.f64 (sin.f64 t))) (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 (.f64 (.f64 eh (.f64 (cbrt.f64 (sin.f64 t)) (cbrt.f64 (sin.f64 t)))) (cbrt.f64 (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 14198 to 2358 computations (83.4% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) (cbrt.f64 (*.f64 eh (sin.f64 t))))
	1.6b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	7.7b	(cbrt.f64 (*.f64 eh (sin.f64 t)))
	21.2b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series1.2s (10.2%)

Counts

2 → 48

Calls

2 calls:

756.0ms	(.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) (cbrt.f64 (*.f64 eh (sin.f64 t))))
470.0ms	(cbrt.f64 (*.f64 eh (sin.f64 t)))

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`pow1_binary64`
8×	`add-sqr-sqrt_binary64`
7×	`pow1/3_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`

Counts

2 → 44

Calls

2 calls:

5.0ms	(.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) (cbrt.f64 (*.f64 eh (sin.f64 t))))
2.0ms	(cbrt.f64 (*.f64 eh (sin.f64 t)))

simplify90.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

921×	`fma-neg_binary64`
526×	`associate-l_binary64`
432×	`associate-r_binary64`
335×	`distribute-rgt-neg-in_binary64`
313×	`distribute-lft-neg-in_binary64`

Counts

92 → 85

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	130	1914
1	312	1669
2	817	1321
3	2765	1055
4	4683	1055
5	4942	1055

prune400.0ms (3.3%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	254	2	256
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	254	9	263

Error

0.1b

Counts

263 → 9

Alt Table

Status	Error	Program
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (.f64 (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (sqrt.f64 (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))))))
	31.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 (sqrt.f64 eh) (.f64 (sqrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	29.0b	(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 (.f64 eh (sin.f64 t))) (sqrt.f64 (.f64 eh (sin.f64 t)))) (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 (.f64 (.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) (cbrt.f64 (.f64 eh (sin.f64 t)))) (cbrt.f64 (.f64 eh (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) 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 (neg.f64 eh) (/.f64 (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 (.f64 (.f64 (cbrt.f64 eh) (.f64 (cbrt.f64 (sin.f64 t)) (cbrt.f64 (.f64 eh (sin.f64 t))))) (cbrt.f64 (.f64 eh (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	35.0b	(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 eh (sqrt.f64 (sin.f64 t))) (sqrt.f64 (sin.f64 t))) (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 (.f64 (.f64 eh (.f64 (cbrt.f64 (sin.f64 t)) (cbrt.f64 (sin.f64 t)))) (cbrt.f64 (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	10.5b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 eh (sin.f64 t)) 2)) (cbrt.f64 (.f64 eh (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 13140 to 2466 computations (81.2% saved)

regimes450.0ms (3.8%)

Accuracy

Total 0.0b remaining (35%)

Threshold costs 0.0b (35%)

Counts

72 → 1

Compiler

Compiled 13929 to 8253 computations (40.7% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

20×	`*-commutative_binary64`
16×	`+-commutative_binary64`
16×	`sub-neg_binary64`
14×	`neg-sub0_binary64`
14×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	71
1	39	71
2	69	71
3	101	71
4	124	71
5	137	71
6	140	71
7	140	71

end1.0ms (0%)

Compiler: Compiled 45 to 20 computations (55.6% saved)

sample5.0s (41.3%)

Algorithm

1×

intervals

Results

2.5s	1990×	body	1024	valid
974.0ms	4568×	body	128	valid
684.0ms	930×	body	512	valid
244.0ms	508×	body	256	valid
12.0ms	4×	body	2048	valid

Compiler

Compiled 452 to 232 computations (48.7% saved)

Details

analyze2.6s (22.1%)

sample149.0ms (1.2%)

simplify284.0ms (2.4%)

prune2.0ms (0%)

localize20.0ms (0.2%)

series110.0ms (0.9%)

rewrite17.0ms (0.1%)

simplify104.0ms (0.9%)

prune325.0ms (2.7%)

localize22.0ms (0.2%)

series54.0ms (0.5%)

rewrite10.0ms (0.1%)

simplify77.0ms (0.6%)

prune261.0ms (2.2%)

localize23.0ms (0.2%)

series22.0ms (0.2%)

rewrite12.0ms (0.1%)

simplify153.0ms (1.3%)

prune526.0ms (4.4%)

localize24.0ms (0.2%)

series1.2s (10.2%)

rewrite8.0ms (0.1%)

simplify90.0ms (0.8%)

prune400.0ms (3.3%)

regimes450.0ms (3.8%)

simplify5.0ms (0%)

end1.0ms (0%)

sample5.0s (41.3%)

Profiling