Details

analyze4.2s (29.5%)

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.9%	0.1%	11
0%	99.9%	0.1%	12
0%	99.9%	0.1%	13
0%	99.9%	0.1%	14

Compiler

Compiled 34 to 19 computations (44.1% saved)

sample5.8s (40.8%)

Results

3.0s	2037×	body	1024	valid
1.4s	4717×	body	128	valid
922.0ms	1006×	body	512	valid
295.0ms	491×	body	256	valid
15.0ms	5×	body	2048	valid

Compiler

Compiled 67 to 37 computations (44.8% saved)

simplify283.0ms (2%)

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.1%)

Local error

Found 4 expressions with local error:

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

series118.0ms (0.8%)

Counts

4 → 132

Calls

4 calls:

49.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
41.0ms	(.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
20.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-cbrt-cube_binary64`
16×	`add-exp-log_binary64`
11×	`add-sqr-sqrt_binary64`
11×	`pow1_binary64`
9×	`*-un-lft-identity_binary64`

Counts

4 → 78

Calls

4 calls:

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

simplify173.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

793×	`times-frac_binary64`
772×	`fma-def_binary64`
226×	`associate-l_binary64`
212×	`cancel-sign-sub-inv_binary64`
202×	`associate-r_binary64`

Counts

210 → 141

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	198	3795
1	513	3459
2	1895	3449
3	4387	3445
4	5000	3445
5	4999	3445
6	4949	3445

prune198.0ms (1.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	182	8	190
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	183	8	191

Error

0.0b

Counts

191 → 8

Alt Table

Status	Error	Program
▶	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (/.f64 1 (hypot.f64 1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	27.9b	(fabs.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 ew ew) ew) (.f64 (.f64 (cos.f64 t) (cos.f64 t)) (cos.f64 t))) (.f64 (.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (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))))))
	32.7b	(fabs.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (sqrt.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))))))
	30.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 (.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))))))
	0.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 (cbrt.f64 eh) (cbrt.f64 eh)) (.f64 (cbrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	24.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 (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.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 (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))))))

Compiler

Compiled 7804 to 1728 computations (77.9% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (neg.f64 eh) (tan.f64 t))
	0.1b	(*.f64 eh (sin.f64 t))
	2.2b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	2.2b	(/.f64 (*.f64 (tan.f64 t) eh) ew)

series73.0ms (0.5%)

Counts

2 → 60

Calls

2 calls:

46.0ms	(/.f64 (*.f64 (tan.f64 t) eh) ew)
26.0ms	(*.f64 (neg.f64 eh) (tan.f64 t))

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`associate-l_binary64`
10×	`add-sqr-sqrt_binary64`
9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
8×	`*-un-lft-identity_binary64`

Counts

2 → 53

Calls

2 calls:

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

simplify73.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

780×	`fma-def_binary64`
586×	`associate-/l*_binary64`
543×	`times-frac_binary64`
364×	`fma-neg_binary64`
313×	`div-sub_binary64`

Counts

113 → 99

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	135	1533
1	342	1445
2	1131	1434
3	3927	1432
4	5539	1432

prune400.0ms (2.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	177	0	177
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	177	8	185

Error

0.0b

Counts

185 → 8

Alt Table

Status	Error	Program
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (/.f64 1 (hypot.f64 1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	27.9b	(fabs.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 ew ew) ew) (.f64 (.f64 (cos.f64 t) (cos.f64 t)) (cos.f64 t))) (.f64 (.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (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))))))
	32.7b	(fabs.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (sqrt.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))))))
	30.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 (.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))))))
	0.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 (cbrt.f64 eh) (cbrt.f64 eh)) (.f64 (cbrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	24.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 (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.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 (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))))))

Compiler

Compiled 7227 to 2609 computations (63.9% saved)

localize25.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))))
	2.2b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	9.8b	(cbrt.f64 (*.f64 eh (sin.f64 t)))
	21.3b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series1.2s (8.3%)

Counts

2 → 48

Calls

2 calls:

727.0ms	(.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) (cbrt.f64 (*.f64 eh (sin.f64 t))))
445.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:

4.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)))

simplify89.0ms (0.6%)

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

prune426.0ms (3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	255	1	256
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	255	9	264

Error

0.0b

Counts

264 → 9

Alt Table

Status	Error	Program
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (/.f64 1 (hypot.f64 1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	27.9b	(fabs.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 ew ew) ew) (.f64 (.f64 (cos.f64 t) (cos.f64 t)) (cos.f64 t))) (.f64 (.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (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))))))
	32.7b	(fabs.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (sqrt.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))))))
	30.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 (.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))))))
▶	0.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 (cbrt.f64 eh) (cbrt.f64 eh)) (.f64 (cbrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	24.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 (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.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 (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.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 (cbrt.f64 (.f64 eh (sin.f64 t)))) 5) (cbrt.f64 (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))))))

Compiler

Compiled 13498 to 2622 computations (80.6% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 eh) (cbrt.f64 eh))
✓	0.6b	(cbrt.f64 eh)
	2.2b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	21.3b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series67.0ms (0.5%)

Counts

2 → 24

Calls

2 calls:

37.0ms	(*.f64 (cbrt.f64 eh) (cbrt.f64 eh))
30.0ms	(cbrt.f64 eh)

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64`
19×	`cbrt-prod_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
9×	`pow1_binary64`

Counts

2 → 55

Calls

2 calls:

5.0ms	(*.f64 (cbrt.f64 eh) (cbrt.f64 eh))
1.0ms	(cbrt.f64 eh)

simplify64.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

577×	`distribute-rgt-in_binary64`
561×	`log-prod_binary64`
538×	`distribute-lft-in_binary64`
525×	`unswap-sqr_binary64`
384×	`fma-def_binary64`

Counts

79 → 74

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	58	610
1	98	554
2	296	516
3	769	502
4	1799	410
5	4642	410
6	4805	410

prune400.0ms (2.8%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	229	0	229
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	229	9	238

Error

0.0b

Counts

238 → 9

Alt Table

Status	Error	Program
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (/.f64 1 (hypot.f64 1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	27.9b	(fabs.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 ew ew) ew) (.f64 (.f64 (cos.f64 t) (cos.f64 t)) (cos.f64 t))) (.f64 (.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (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))))))
	32.7b	(fabs.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (sqrt.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))))))
	30.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 (.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))))))
✓	0.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 (cbrt.f64 eh) (cbrt.f64 eh)) (.f64 (cbrt.f64 eh) (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	24.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 (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.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 (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.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 (cbrt.f64 (.f64 eh (sin.f64 t)))) 5) (cbrt.f64 (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))))))

Compiler

Compiled 10053 to 1834 computations (81.8% saved)

regimes309.0ms (2.2%)

Accuracy

Total 0.1b remaining (44.8%)

Threshold costs 0.1b (44.8%)

Counts

45 → 1

Compiler

Compiled 8894 to 5033 computations (43.4% saved)

simplify5.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	22	48
1	40	48
2	69	48
3	97	48
4	118	48
5	129	48
6	131	48
7	131	48

end200.0ms (1.4%)

Compiler: Compiled 468 to 237 computations (49.4% saved)

Details

analyze4.2s (29.5%)

sample5.8s (40.8%)

simplify283.0ms (2%)

prune2.0ms (0%)

localize20.0ms (0.1%)

series118.0ms (0.8%)

rewrite17.0ms (0.1%)

simplify173.0ms (1.2%)

prune198.0ms (1.4%)

localize25.0ms (0.2%)

series73.0ms (0.5%)

rewrite13.0ms (0.1%)

simplify73.0ms (0.5%)

prune400.0ms (2.8%)

localize25.0ms (0.2%)

series1.2s (8.3%)

rewrite8.0ms (0.1%)

simplify89.0ms (0.6%)

prune426.0ms (3%)

localize24.0ms (0.2%)

series67.0ms (0.5%)

rewrite8.0ms (0.1%)

simplify64.0ms (0.5%)

prune400.0ms (2.8%)

regimes309.0ms (2.2%)

simplify5.0ms (0%)

end200.0ms (1.4%)

Profiling