Details

analyze2.5s (18.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
18.7%	81.1%	0.1%	7
18.7%	81.1%	0.1%	8
21.8%	78%	0.1%	9
32.8%	67.1%	0.1%	10
32.8%	67.1%	0.1%	11
35.1%	64.7%	0.1%	12
41%	58.9%	0.1%	13
41%	58.9%	0.1%	14

Compiler

Compiled 32 to 18 computations (43.8% saved)

sample5.3s (38%)

Results

2.8s	2125×	body	1024	valid
1.2s	4564×	body	128	valid
801.0ms	1021×	body	512	valid
281.0ms	535×	body	256	valid
40.0ms	11×	body	2048	valid

Compiler

Compiled 95 to 53 computations (44.2% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

12×	`fma-def_binary64`
11×	`*-commutative_binary64`
6×	`associate-r_binary64`
6×	`associate-l_binary64`
1×	`+-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	44
1	30	44
2	50	44
3	56	44
4	56	44

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.1b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 118 to 51 computations (56.8% saved)

localize282.0ms (2%)

Local error

Found 4 expressions with local error:

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

series118.0ms (0.9%)

Counts

4 → 120

Calls

4 calls:

82.0ms	(/.f64 (/.f64 eh ew) (tan.f64 t))
21.0ms	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))
8.0ms	(*.f64 eh (cos.f64 t))
7.0ms	(*.f64 ew (sin.f64 t))

rewrite21.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`times-frac_binary64`
54×	`add-sqr-sqrt_binary64`
50×	`*-un-lft-identity_binary64`
50×	`add-cube-cbrt_binary64`
13×	`associate-/l*_binary64`

Counts

4 → 123

Calls

4 calls:

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

simplify167.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

627×	`fma-neg_binary64`
478×	`associate-/r*_binary64`
383×	`*-commutative_binary64`
297×	`associate-*l/_binary64`
269×	`fma-def_binary64`

Counts

243 → 184

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	279	3500
1	632	3355
2	1948	3333
3	4030	3333
4	4794	3333
5	4985	3329
6	4974	3329

prune202.0ms (1.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	281	10	291
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	282	10	292

Error

0.0b

Counts

292 → 10

Alt Table

Status	Error	Program
	49.1b	(fabs.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 ew) (sqrt.f64 (sin.f64 t))) (.f64 (sqrt.f64 ew) (sqrt.f64 (sin.f64 t)))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
▶	0.1b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (expm1.f64 (log1p.f64 (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.5b	(fabs.f64 (fma.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 (.f64 ew (sin.f64 t)))) (cbrt.f64 (.f64 ew (sin.f64 t)))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	14.4b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 (.f64 eh (sqrt.f64 (cos.f64 t))) (sqrt.f64 (cos.f64 t))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	32.9b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 (sqrt.f64 eh) (.f64 (sqrt.f64 eh) (cos.f64 t))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.9b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 (.f64 (cbrt.f64 eh) (cbrt.f64 eh)) (*.f64 (cbrt.f64 eh) (cos.f64 t))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	25.3b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (cbrt.f64 (.f64 (.f64 (.f64 eh eh) eh) (.f64 (*.f64 (cos.f64 t) (cos.f64 t)) (cos.f64 t)))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.6b	(fabs.f64 (fma.f64 (.f64 (.f64 ew (.f64 (cbrt.f64 (sin.f64 t)) (cbrt.f64 (sin.f64 t)))) (cbrt.f64 (sin.f64 t))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	34.1b	(fabs.f64 (fma.f64 (.f64 (sqrt.f64 ew) (.f64 (sqrt.f64 ew) (sin.f64 t))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.5b	(fabs.f64 (fma.f64 (.f64 (.f64 (cbrt.f64 ew) (cbrt.f64 ew)) (.f64 (cbrt.f64 ew) (sin.f64 t))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))

Compiler

Compiled 11085 to 2354 computations (78.8% saved)

localize27.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

prune508.0ms (3.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	291	0	291
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	291	10	301

Error

0.0b

Counts

301 → 10

Alt Table

Status	Error	Program
	49.1b	(fabs.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 ew) (sqrt.f64 (sin.f64 t))) (.f64 (sqrt.f64 ew) (sqrt.f64 (sin.f64 t)))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
✓	0.1b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (expm1.f64 (log1p.f64 (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
▶	0.5b	(fabs.f64 (fma.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 (.f64 ew (sin.f64 t)))) (cbrt.f64 (.f64 ew (sin.f64 t)))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	14.4b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 (.f64 eh (sqrt.f64 (cos.f64 t))) (sqrt.f64 (cos.f64 t))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	32.9b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 (sqrt.f64 eh) (.f64 (sqrt.f64 eh) (cos.f64 t))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.9b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 (.f64 (cbrt.f64 eh) (cbrt.f64 eh)) (*.f64 (cbrt.f64 eh) (cos.f64 t))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	25.3b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (cbrt.f64 (.f64 (.f64 (.f64 eh eh) eh) (.f64 (*.f64 (cos.f64 t) (cos.f64 t)) (cos.f64 t)))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.6b	(fabs.f64 (fma.f64 (.f64 (.f64 ew (.f64 (cbrt.f64 (sin.f64 t)) (cbrt.f64 (sin.f64 t)))) (cbrt.f64 (sin.f64 t))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	34.1b	(fabs.f64 (fma.f64 (.f64 (sqrt.f64 ew) (.f64 (sqrt.f64 ew) (sin.f64 t))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.5b	(fabs.f64 (fma.f64 (.f64 (.f64 (cbrt.f64 ew) (cbrt.f64 ew)) (.f64 (cbrt.f64 ew) (sin.f64 t))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))

Compiler

Compiled 11635 to 2582 computations (77.8% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 (*.f64 ew (sin.f64 t))))
	2.2b	(/.f64 (/.f64 eh ew) (tan.f64 t))
✓	8.6b	(cbrt.f64 (*.f64 ew (sin.f64 t)))
	36.5b	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))

series1.4s (9.8%)

Counts

2 → 48

Calls

2 calls:

884.0ms	(.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 (*.f64 ew (sin.f64 t))))
477.0ms	(cbrt.f64 (*.f64 ew (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 ew (sin.f64 t))) (cbrt.f64 (*.f64 ew (sin.f64 t))))
2.0ms	(cbrt.f64 (*.f64 ew (sin.f64 t)))

simplify91.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

910×	`fma-neg_binary64`
528×	`associate-l_binary64`
433×	`associate-r_binary64`
353×	`distribute-rgt-neg-in_binary64`
336×	`distribute-lft-neg-in_binary64`

Counts

92 → 85

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	129	1938
1	310	1685
2	822	1332
3	2795	1061
4	4788	1061
5	5007	1061

prune603.0ms (4.4%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	366	4	370
Fresh	0	8	8
Picked	1	0	1
Done	1	0	1
Total	368	12	380

Error

0.0b

Counts

380 → 12

Alt Table

Status	Error	Program
	0.7b	(fabs.f64 (fma.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 (.f64 ew (sin.f64 t))))) (cbrt.f64 (.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 (.f64 ew (sin.f64 t)))))) (cbrt.f64 (.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 (.f64 ew (sin.f64 t)))))) (cbrt.f64 (.f64 ew (sin.f64 t)))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	32.9b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 (sqrt.f64 eh) (.f64 (sqrt.f64 eh) (cos.f64 t))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
▶	0.5b	(fabs.f64 (fma.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 ew)) (cbrt.f64 (sin.f64 t))) (cbrt.f64 (.f64 ew (sin.f64 t)))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	34.1b	(fabs.f64 (fma.f64 (.f64 (sqrt.f64 ew) (.f64 (sqrt.f64 ew) (sin.f64 t))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.5b	(fabs.f64 (fma.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 (.f64 ew (sin.f64 t)))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 (.f64 ew (sin.f64 t)))) (cbrt.f64 (.f64 ew (sin.f64 t)))))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.7b	(fabs.f64 (fma.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 ew (sin.f64 t)))) (cbrt.f64 (cbrt.f64 (.f64 ew (sin.f64 t))))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 ew (sin.f64 t)))) (cbrt.f64 (.f64 ew (sin.f64 t))))) (cbrt.f64 (.f64 ew (sin.f64 t)))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	14.4b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 (.f64 eh (sqrt.f64 (cos.f64 t))) (sqrt.f64 (cos.f64 t))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.9b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 (.f64 (cbrt.f64 eh) (cbrt.f64 eh)) (*.f64 (cbrt.f64 eh) (cos.f64 t))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	25.3b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (cbrt.f64 (.f64 (.f64 (.f64 eh eh) eh) (.f64 (*.f64 (cos.f64 t) (cos.f64 t)) (cos.f64 t)))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.6b	(fabs.f64 (fma.f64 (.f64 (.f64 ew (.f64 (cbrt.f64 (sin.f64 t)) (cbrt.f64 (sin.f64 t)))) (cbrt.f64 (sin.f64 t))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.5b	(fabs.f64 (fma.f64 (.f64 (.f64 (cbrt.f64 ew) (cbrt.f64 ew)) (.f64 (cbrt.f64 ew) (sin.f64 t))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	49.1b	(fabs.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 ew) (sqrt.f64 (sin.f64 t))) (.f64 (sqrt.f64 ew) (sqrt.f64 (sin.f64 t)))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))

Compiler

Compiled 19010 to 3323 computations (82.5% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.7b	(cbrt.f64 (sin.f64 t))
	2.2b	(/.f64 (/.f64 eh ew) (tan.f64 t))
	8.6b	(cbrt.f64 (*.f64 ew (sin.f64 t)))
	36.5b	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))

series180.0ms (1.3%)

Counts

1 → 12

Calls

1 calls:

180.0ms

(cbrt.f64 (sin.f64 t))

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 (sin.f64 t))

simplify84.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

777×	`fma-neg_binary64`
532×	`cancel-sign-sub-inv_binary64`
467×	`log-prod_binary64`
268×	`sub-neg_binary64`
261×	`unswap-sqr_binary64`

Counts

25 → 24

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	42	221
1	97	215
2	215	213
3	527	211
4	1576	205
5	4017	205
6	4452	205
7	4998	205
8	4894	205

prune703.0ms (5.1%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	308	1	309
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	308	13	321

Error

0.0b

Counts

321 → 13

Alt Table

Status	Error	Program
	0.7b	(fabs.f64 (fma.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 (.f64 ew (sin.f64 t))))) (cbrt.f64 (.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 (.f64 ew (sin.f64 t)))))) (cbrt.f64 (.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 (.f64 ew (sin.f64 t)))))) (cbrt.f64 (.f64 ew (sin.f64 t)))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	32.9b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 (sqrt.f64 eh) (.f64 (sqrt.f64 eh) (cos.f64 t))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
✓	0.5b	(fabs.f64 (fma.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 ew)) (cbrt.f64 (sin.f64 t))) (cbrt.f64 (.f64 ew (sin.f64 t)))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	34.1b	(fabs.f64 (fma.f64 (.f64 (sqrt.f64 ew) (.f64 (sqrt.f64 ew) (sin.f64 t))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.5b	(fabs.f64 (fma.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 (.f64 ew (sin.f64 t)))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 (.f64 ew (sin.f64 t)))) (cbrt.f64 (.f64 ew (sin.f64 t)))))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.7b	(fabs.f64 (fma.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 ew (sin.f64 t)))) (cbrt.f64 (cbrt.f64 (.f64 ew (sin.f64 t))))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 ew (sin.f64 t)))) (cbrt.f64 (.f64 ew (sin.f64 t))))) (cbrt.f64 (.f64 ew (sin.f64 t)))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	14.4b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 (.f64 eh (sqrt.f64 (cos.f64 t))) (sqrt.f64 (cos.f64 t))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.9b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 (.f64 (cbrt.f64 eh) (cbrt.f64 eh)) (*.f64 (cbrt.f64 eh) (cos.f64 t))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	25.3b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (cbrt.f64 (.f64 (.f64 (.f64 eh eh) eh) (.f64 (*.f64 (cos.f64 t) (cos.f64 t)) (cos.f64 t)))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.6b	(fabs.f64 (fma.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 ew)) (cbrt.f64 (sin.f64 t))) (.f64 (cbrt.f64 ew) (cbrt.f64 (sin.f64 t)))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.6b	(fabs.f64 (fma.f64 (.f64 (.f64 ew (.f64 (cbrt.f64 (sin.f64 t)) (cbrt.f64 (sin.f64 t)))) (cbrt.f64 (sin.f64 t))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.5b	(fabs.f64 (fma.f64 (.f64 (.f64 (cbrt.f64 ew) (cbrt.f64 ew)) (.f64 (cbrt.f64 ew) (sin.f64 t))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	49.1b	(fabs.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 ew) (sqrt.f64 (sin.f64 t))) (.f64 (sqrt.f64 ew) (sqrt.f64 (sin.f64 t)))) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))

Compiler

Compiled 15976 to 2576 computations (83.9% saved)

regimes1.3s (9.7%)

Accuracy

Total 0.1b remaining (60%)

Threshold costs 0.1b (60%)

Counts

181 → 1

Compiler

Compiled 41771 to 21129 computations (49.4% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	48
1	22	48
2	22	48

end257.0ms (1.9%)

Compiler: Compiled 633 to 297 computations (53.1% saved)

Details

analyze2.5s (18.4%)

sample5.3s (38%)

simplify8.0ms (0.1%)

prune3.0ms (0%)

localize282.0ms (2%)

series118.0ms (0.9%)

rewrite21.0ms (0.2%)

simplify167.0ms (1.2%)

prune202.0ms (1.5%)

localize27.0ms (0.2%)

prune508.0ms (3.7%)

localize24.0ms (0.2%)

series1.4s (9.8%)

rewrite8.0ms (0.1%)

simplify91.0ms (0.7%)

prune603.0ms (4.4%)

localize28.0ms (0.2%)

series180.0ms (1.3%)

rewrite1.0ms (0%)

simplify84.0ms (0.6%)

prune703.0ms (5.1%)

regimes1.3s (9.7%)

simplify3.0ms (0%)

end257.0ms (1.9%)

Profiling