Details

analyze2.4s (18.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
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.9s (46.6%)

Results

3.1s	2048×	body	1024	valid
1.4s	4733×	body	128	valid
904.0ms	1008×	body	512	valid
264.0ms	463×	body	256	valid
14.0ms	4×	body	2048	valid

Compiler

Compiled 101 to 56 computations (44.6% saved)

simplify278.0ms (2.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)

localize21.0ms (0.2%)

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))))
✓	1.8b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	25.9b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series109.0ms (0.9%)

Counts

4 → 132

Calls

4 calls:

44.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
38.0ms	(.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
19.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
8.0ms	(*.f64 eh (sin.f64 t))

rewrite16.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 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
4.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
3.0ms	(*.f64 eh (sin.f64 t))
1.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

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

prune165.0ms (1.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	181	9	190
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	182	9	191

Error

0.1b

Counts

191 → 9

Alt Table

Status	Error	Program
	30.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 (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))))))
	30.5b	(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))))))
	26.9b	(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 (.f64 (.f64 (.f64 eh eh) eh) (.f64 (.f64 (sin.f64 t) (sin.f64 t)) (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	25.1b	(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))))))
▶	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.9b	(fabs.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (cbrt.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))))))
	31.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 (.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.7b	(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.6b	(fabs.f64 (-.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t))) 3)) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 7944 to 1778 computations (77.6% 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))))
	1.8b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	7.0b	(cbrt.f64 (*.f64 eh (sin.f64 t)))
	25.9b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series944.0ms (7.4%)

Counts

2 → 48

Calls

2 calls:

598.0ms	(.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) (cbrt.f64 (*.f64 eh (sin.f64 t))))
346.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)))

simplify93.0ms (0.7%)

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	1727
2	817	1370
3	2765	1110
4	4683	1110
5	4942	1110

prune458.0ms (3.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	251	5	256
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	253	12	265

Error

0.0b

Counts

265 → 12

Alt Table

Status	Error	Program
	0.7b	(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))))))
	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 (cbrt.f64 (.f64 eh (sin.f64 t))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t)))) (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t))))) (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))))))
	26.9b	(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 (.f64 (.f64 (.f64 eh eh) eh) (.f64 (.f64 (sin.f64 t) (sin.f64 t)) (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	25.1b	(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))))))
	0.9b	(fabs.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (cbrt.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))))))
	1.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 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t)))) (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t))))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t)))) (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t)))))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t)))) (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))))))
	14.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 (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))))))
	31.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 (.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 (cbrt.f64 (.f64 eh (sin.f64 t))) (.f64 (cbrt.f64 eh) (cbrt.f64 (sin.f64 t)))) (cbrt.f64 (.f64 eh (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	30.5b	(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))))))
	24.6b	(fabs.f64 (-.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t))) 3)) (.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 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 2))) (cbrt.f64 (pow.f64 (cbrt.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 14030 to 2837 computations (79.8% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.7b	(cbrt.f64 eh)
	1.8b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	7.0b	(cbrt.f64 (*.f64 eh (sin.f64 t)))
	25.9b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series28.0ms (0.2%)

Counts

1 → 12

Calls

1 calls:

28.0ms

(cbrt.f64 eh)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`cbrt-prod_binary64`
2×	`*-un-lft-identity_binary64`
2×	`add-sqr-sqrt_binary64`
2×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`

Counts

1 → 13

Calls

1 calls:

1.0ms

(cbrt.f64 eh)

simplify59.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

610×	`associate-/l/_binary64`
374×	`log-prod_binary64`
316×	`distribute-rgt-neg-in_binary64`
314×	`distribute-lft-neg-in_binary64`
287×	`*-commutative_binary64`

Counts

25 → 18

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	24	141
1	38	141
2	86	141
3	208	140
4	626	136
5	1904	136
6	2565	136
7	3552	136
8	4861	136

prune360.0ms (2.8%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	189	0	189
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	189	12	201

Error

0.0b

Counts

201 → 12

Alt Table

Status	Error	Program
▶	0.7b	(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))))))
	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 (cbrt.f64 (.f64 eh (sin.f64 t))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t)))) (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t))))) (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))))))
	26.9b	(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 (.f64 (.f64 (.f64 eh eh) eh) (.f64 (.f64 (sin.f64 t) (sin.f64 t)) (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	25.1b	(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))))))
	0.9b	(fabs.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (cbrt.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))))))
	1.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 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t)))) (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t))))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t)))) (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t)))))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t)))) (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))))))
	14.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 (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))))))
	31.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 (.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 (cbrt.f64 (.f64 eh (sin.f64 t))) (.f64 (cbrt.f64 eh) (cbrt.f64 (sin.f64 t)))) (cbrt.f64 (.f64 eh (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	30.5b	(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))))))
	24.6b	(fabs.f64 (-.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t))) 3)) (.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 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 2))) (cbrt.f64 (pow.f64 (cbrt.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 10783 to 2115 computations (80.4% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 eh) (cbrt.f64 eh))
	0.7b	(cbrt.f64 eh)
	1.8b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	25.9b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series36.0ms (0.3%)

Counts

1 → 12

Calls

1 calls:

36.0ms

(*.f64 (cbrt.f64 eh) (cbrt.f64 eh))

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt_binary64`
16×	`cbrt-prod_binary64`
9×	`*-un-lft-identity_binary64`
9×	`add-cube-cbrt_binary64`
8×	`pow1_binary64`

Counts

1 → 42

Calls

1 calls:

5.0ms

(*.f64 (cbrt.f64 eh) (cbrt.f64 eh))

simplify68.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

451×	`log-prod_binary64`
315×	`log-div_binary64`
306×	`*-commutative_binary64`
259×	`associate-*r/_binary64`
257×	`associate-/l*_binary64`

Counts

54 → 56

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	50	493
1	85	461
2	201	425
3	482	411
4	931	333
5	1343	333
6	3411	333
7	4917	333
8	4871	333

prune414.0ms (3.3%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	229	0	229
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	229	12	241

Error

0.0b

Counts

241 → 12

Alt Table

Status	Error	Program
✓	0.7b	(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))))))
	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 (cbrt.f64 (.f64 eh (sin.f64 t))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t)))) (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t))))) (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))))))
	26.9b	(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 (.f64 (.f64 (.f64 eh eh) eh) (.f64 (.f64 (sin.f64 t) (sin.f64 t)) (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	25.1b	(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))))))
	0.9b	(fabs.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (cbrt.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))))))
	1.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 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t)))) (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t))))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t)))) (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t)))))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t)))) (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))))))
	14.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 (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))))))
	31.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 (.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 (cbrt.f64 (.f64 eh (sin.f64 t))) (.f64 (cbrt.f64 eh) (cbrt.f64 (sin.f64 t)))) (cbrt.f64 (.f64 eh (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	30.5b	(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))))))
	24.6b	(fabs.f64 (-.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 ew (cos.f64 t))) 3)) (.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 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 2))) (cbrt.f64 (pow.f64 (cbrt.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 10289 to 1909 computations (81.4% saved)

regimes843.0ms (6.6%)

Accuracy

Total 0.1b remaining (49.6%)

Threshold costs 0.1b (49.6%)

Counts

125 → 1

Compiler

Compiled 27889 to 14848 computations (46.8% saved)

simplify16.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

62×	`distribute-rgt-neg-in_binary64`
41×	`distribute-lft-neg-in_binary64`
41×	`cancel-sign-sub-inv_binary64`
33×	`neg-sub0_binary64`
33×	`neg-mul-1_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	22	64
1	41	64
2	65	60
3	91	60
4	118	60
5	142	60
6	170	60
7	186	60
8	195	60
9	210	60
10	227	60
11	238	60
12	252	60
13	258	60
14	280	60
15	297	60
16	300	60
17	294	60

end274.0ms (2.2%)

Compiler: Compiled 705 to 327 computations (53.6% saved)

Iter	Nodes	Cost
0	22	64
1	41	64
2	65	60
3	91	60
4	118	60
5	142	60
6	170	60
7	186	60
8	195	60
9	210	60
10	227	60
11	238	60
12	252	60
13	258	60
14	280	60
15	297	60
16	300	60
17	294	60

Iter	Nodes	Cost
0	22	64
1	41	64
2	65	60
3	91	60
4	118	60
5	142	60
6	170	60
7	186	60
8	195	60
9	210	60
10	227	60
11	238	60
12	252	60
13	258	60
14	280	60
15	297	60
16	300	60
17	294	60

Details

analyze2.4s (18.5%)

sample5.9s (46.6%)

simplify278.0ms (2.2%)

prune2.0ms (0%)

localize21.0ms (0.2%)

series109.0ms (0.9%)

rewrite16.0ms (0.1%)

simplify156.0ms (1.2%)

prune165.0ms (1.3%)

localize25.0ms (0.2%)

series944.0ms (7.4%)

rewrite8.0ms (0.1%)

simplify93.0ms (0.7%)

prune458.0ms (3.6%)

localize28.0ms (0.2%)

series28.0ms (0.2%)

rewrite1.0ms (0%)

simplify59.0ms (0.5%)

prune360.0ms (2.8%)

localize23.0ms (0.2%)

series36.0ms (0.3%)

rewrite7.0ms (0.1%)

simplify68.0ms (0.5%)

prune414.0ms (3.3%)

regimes843.0ms (6.6%)

simplify16.0ms (0.1%)

end274.0ms (2.2%)

Profiling

Iter	Nodes	Cost
0	22	64
1	41	64
2	65	60
3	91	60
4	118	60
5	142	60
6	170	60
7	186	60
8	195	60
9	210	60
10	227	60
11	238	60
12	252	60
13	258	60
14	280	60
15	297	60
16	300	60
17	294	60