Details

analyze2.5s (10.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)

sample134.0ms (0.5%)

Algorithm

1×

intervals

Results

59.0ms	49×	body	1024	valid
33.0ms	164×	body	128	valid
23.0ms	27×	body	512	valid
7.0ms	16×	body	256	valid

Compiler

Compiled 70 to 40 computations (42.9% saved)

simplify288.0ms (1.1%)

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)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series200.0ms (0.8%)

Counts

4 → 132

Calls

4 calls:

78.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
49.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
46.0ms	(.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
26.0ms	(*.f64 (neg.f64 eh) (tan.f64 t))

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 87

Calls

4 calls:

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

simplify124.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

761×	`times-frac_binary64`
755×	`fma-def_binary64`
229×	`distribute-lft-neg-out_binary64`
205×	`distribute-rgt-neg-out_binary64`
204×	`associate-l_binary64`

Counts

219 → 170

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	208	4107
1	542	3815
2	1911	3806
3	4734	3806
4	5085	3806

prune185.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	272	3	275
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	272	4	276

Error

0.1b

Counts

276 → 4

Alt Table

Status	Error	Program
▶	12.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 (sin.f64 t)) (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)) (sqrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))))
	25.9b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 eh eh) eh) (.f64 (.f64 (sin.f64 t) (sin.f64 t)) (sin.f64 t))) (.f64 (.f64 (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (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 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	16.3b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 eh (sin.f64 t)) (sin.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))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))))

Compiler

Compiled 10504 to 2218 computations (78.9% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	4.3b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	7.1b	(sqrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
✓	7.6b	(/.f64 (.f64 (.f64 eh (sin.f64 t)) (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)) (sqrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))
	23.3b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series438.0ms (1.7%)

Counts

2 → 72

Calls

2 calls:

337.0ms

(/.f64 (*.f64 (*.f64 eh (sin.f64 t)) (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)) (sqrt.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))

101.0ms

(sqrt.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))

rewrite25.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-cbrt-cube_binary64`
31×	`add-exp-log_binary64`
11×	`cbrt-unprod_binary64`
11×	`cbrt-undiv_binary64`
11×	`div-exp_binary64`

Counts

2 → 63

Calls

2 calls:

11.0ms

(/.f64 (*.f64 (*.f64 eh (sin.f64 t)) (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)) (sqrt.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))

3.0ms

(sqrt.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))

simplify137.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

459×	`times-frac_binary64`
425×	`associate-/l*_binary64`
409×	`fma-def_binary64`
287×	`associate-r_binary64`
273×	`associate-l_binary64`

Counts

135 → 156

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	329	6565
1	1056	5750
2	4727	5734
3	5087	5734

prune714.0ms (2.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	370	3	373
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	371	6	377

Error

0.1b

Counts

377 → 6

Alt Table

Status	Error	Program
	25.9b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 eh eh) eh) (.f64 (.f64 (sin.f64 t) (sin.f64 t)) (sin.f64 t))) (.f64 (.f64 (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))))
	37.3b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (-.f64 (.f64 1/2 (/.f64 (.f64 (pow.f64 (cos.f64 t) 2) (pow.f64 ew 2)) (.f64 (sin.f64 t) eh))) (*.f64 (sin.f64 t) eh))))
✓	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))))))
	16.3b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 eh (sin.f64 t)) (sin.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))))) (.f64 (.f64 eh (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 (.f64 eh (sin.f64 t)) (sqrt.f64 (.f64 (cbrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (cbrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))) (/.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (sqrt.f64 (cbrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))))))
	12.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 (sin.f64 t)) (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)) (sqrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (.f64 (neg.f64 eh) (sin.f64 t)) (.f64 ew (cos.f64 t)))))))))

Compiler

Compiled 21781 to 5042 computations (76.9% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	4.3b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	4.5b	(sqrt.f64 (.f64 (cbrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (cbrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	9.2b	(cbrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
	23.3b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series4.1s (16.2%)

Counts

2 → 72

Calls

2 calls:

2.2s

(sqrt.f64 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (cbrt.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

1.9s

(cbrt.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))

rewrite35.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`cbrt-div_binary64`
10×	`pow1_binary64`
9×	`sqrt-pow1_binary64`
8×	`sqrt-div_binary64`
7×	`flip-+_binary64`

Counts

2 → 44

Calls

2 calls:

15.0ms

(sqrt.f64 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (cbrt.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

5.0ms

(cbrt.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))

simplify286.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

481×	`associate-/r/_binary64`
481×	`fma-def_binary64`
207×	`cancel-sign-sub-inv_binary64`
205×	`unswap-sqr_binary64`
198×	`times-frac_binary64`

Counts

116 → 105

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	228	7514
1	631	6981
2	2525	6555
3	5324	6555

prune2.6s (10.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	650	0	650
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	650	6	656

Error

0.1b

Counts

656 → 6

Alt Table

Status	Error	Program
	25.9b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 eh eh) eh) (.f64 (.f64 (sin.f64 t) (sin.f64 t)) (sin.f64 t))) (.f64 (.f64 (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))))
	37.3b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (-.f64 (.f64 1/2 (/.f64 (.f64 (pow.f64 (cos.f64 t) 2) (pow.f64 ew 2)) (.f64 (sin.f64 t) eh))) (*.f64 (sin.f64 t) eh))))
✓	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))))))
	16.3b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 eh (sin.f64 t)) (sin.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))))) (.f64 (.f64 eh (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 (.f64 eh (sin.f64 t)) (sqrt.f64 (.f64 (cbrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (cbrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))) (/.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (sqrt.f64 (cbrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))))))
▶	12.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 (sin.f64 t)) (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)) (sqrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (.f64 (neg.f64 eh) (sin.f64 t)) (.f64 ew (cos.f64 t)))))))))

Compiler

Compiled 67262 to 18085 computations (73.1% saved)

localize49.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.3b	(/.f64 (.f64 (neg.f64 eh) (sin.f64 t)) (.f64 ew (cos.f64 t)))
✓	7.1b	(sqrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (.f64 (neg.f64 eh) (sin.f64 t)) (.f64 ew (cos.f64 t))))))
✓	7.6b	(/.f64 (.f64 (.f64 eh (sin.f64 t)) (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)) (sqrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (.f64 (neg.f64 eh) (sin.f64 t)) (*.f64 ew (cos.f64 t)))))))
	23.3b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series1.0s (4.1%)

Counts

3 → 108

Calls

3 calls:

687.0ms

(/.f64 (*.f64 (*.f64 eh (sin.f64 t)) (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)) (sqrt.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (*.f64 ew (cos.f64 t)))))))

235.0ms

(sqrt.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (*.f64 ew (cos.f64 t))))))

104.0ms

(/.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (*.f64 ew (cos.f64 t)))

rewrite64.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

44×	`add-cbrt-cube_binary64`
44×	`add-exp-log_binary64`
15×	`cbrt-unprod_binary64`
15×	`cbrt-undiv_binary64`
15×	`div-exp_binary64`

Counts

3 → 84

Calls

3 calls:

21.0ms

(/.f64 (*.f64 (*.f64 eh (sin.f64 t)) (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)) (sqrt.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (*.f64 ew (cos.f64 t)))))))

10.0ms

(/.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (*.f64 ew (cos.f64 t)))

7.0ms

(sqrt.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (*.f64 (neg.f64 eh) (sin.f64 t)) (*.f64 ew (cos.f64 t))))))

simplify361.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

777×	`times-frac_binary64`
573×	`associate-/l*_binary64`
360×	`associate-/r*_binary64`
144×	`fma-def_binary64`
136×	`fma-neg_binary64`

Counts

192 → 206

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	397	8953
1	1270	7915
2	4951	7915
3	5009	7915

prune826.0ms (3.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	226	1	227
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	227	6	233

Error

0.1b

Counts

233 → 6

Alt Table

Status	Error	Program
	25.9b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 eh eh) eh) (.f64 (.f64 (sin.f64 t) (sin.f64 t)) (sin.f64 t))) (.f64 (.f64 (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (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 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	16.3b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 eh (sin.f64 t)) (sin.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))))) (.f64 (.f64 eh (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 (.f64 eh (sin.f64 t)) (sqrt.f64 (.f64 (cbrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (cbrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))) (/.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (sqrt.f64 (cbrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))))))
	18.9b	(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 (sin.f64 t)) (.f64 (neg.f64 eh) (tan.f64 t))) (.f64 ew (sqrt.f64 (+.f64 1 (/.f64 (.f64 eh (.f64 (sin.f64 t) (/.f64 (.f64 eh (tan.f64 t)) ew))) (*.f64 (cos.f64 t) ew))))))))
✓	12.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 (sin.f64 t)) (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)) (sqrt.f64 (+.f64 1 (.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew) (/.f64 (.f64 (neg.f64 eh) (sin.f64 t)) (.f64 ew (cos.f64 t)))))))))

Compiler

Compiled 14819 to 3637 computations (75.5% saved)

regimes1.9s (7.6%)

Accuracy

Total 0.0b remaining (17.8%)

Threshold costs 0.0b (17.8%)

Counts

127 → 1

Compiler

Compiled 34569 to 16648 computations (51.8% saved)

simplify10.0ms (0%)

Algorithm

1×	egg-herbie

Rules

19×	`*-commutative_binary64`
15×	`+-commutative_binary64`
15×	`sub-neg_binary64`
13×	`neg-sub0_binary64`
13×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	50
1	37	50
2	67	50
3	96	50
4	117	50
5	128	50
6	130	50
7	130	50

end1.0ms (0%)

Compiler: Compiled 33 to 18 computations (45.5% saved)

sample9.1s (36.1%)

Algorithm

1×

intervals

Results

4.7s	1956×	body	1024	valid
1.8s	4553×	body	128	valid
1.4s	982×	body	512	valid
462.0ms	499×	body	256	valid
46.0ms	10×	body	2048	valid

Compiler

Compiled 425 to 188 computations (55.8% saved)

Details

analyze2.5s (10.1%)

sample134.0ms (0.5%)

simplify288.0ms (1.1%)

prune2.0ms (0%)

localize19.0ms (0.1%)

series200.0ms (0.8%)

rewrite19.0ms (0.1%)

simplify124.0ms (0.5%)

prune185.0ms (0.7%)

localize22.0ms (0.1%)

series438.0ms (1.7%)

rewrite25.0ms (0.1%)

simplify137.0ms (0.5%)

prune714.0ms (2.8%)

localize27.0ms (0.1%)

series4.1s (16.2%)

rewrite35.0ms (0.1%)

simplify286.0ms (1.1%)

prune2.6s (10.2%)

localize49.0ms (0.2%)

series1.0s (4.1%)

rewrite64.0ms (0.3%)

simplify361.0ms (1.4%)

prune826.0ms (3.3%)

regimes1.9s (7.6%)

simplify10.0ms (0%)

end1.0ms (0%)

sample9.1s (36.1%)

Profiling