Details

analyze2.6s (19.9%)

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
9.4%	90.5%	0.1%	7
14%	85.8%	0.1%	8
16.4%	83.5%	0.1%	9
24.6%	75.3%	0.1%	10
28.7%	71.2%	0.1%	11
30.7%	69.1%	0.1%	12
35.8%	64%	0.1%	13
38.4%	61.5%	0.1%	14

Compiler

Compiled 32 to 18 computations (43.8% saved)

sample5.4s (41.9%)

Results

2.9s	2043×	body	1024	valid
1.4s	4728×	body	128	valid
830.0ms	975×	body	512	valid
273.0ms	505×	body	256	valid
17.0ms	5×	body	2048	valid

Compiler

Compiled 95 to 53 computations (44.2% saved)

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

localize20.0ms (0.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))
✓	3.1b	(/.f64 (/.f64 eh ew) (tan.f64 t))
✓	35.5b	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))

series114.0ms (0.9%)

Counts

4 → 120

Calls

4 calls:

83.0ms	(/.f64 (/.f64 eh ew) (tan.f64 t))
17.0ms	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))
7.0ms	(*.f64 eh (cos.f64 t))
7.0ms	(*.f64 ew (sin.f64 t))

rewrite20.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:

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

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

prune237.0ms (1.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	278	13	291
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	279	13	292

Error

0.0b

Counts

292 → 13

Alt Table

Status	Error	Program
	0.5b	(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.4b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (exp.f64 (log.f64 (*.f64 eh (cos.f64 t)))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	32.6b	(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)))))))
	32.7b	(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 (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)))))))
	1.0b	(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)))))))
	1.0b	(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 (.f64 eh (cos.f64 t))) (cbrt.f64 (.f64 eh (cos.f64 t)))) (cbrt.f64 (*.f64 eh (cos.f64 t)))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	26.3b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (cbrt.f64 (pow.f64 (*.f64 eh (cos.f64 t)) 3)) (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)))))))
	31.9b	(fabs.f64 (fma.f64 (.f64 (.f64 ew (sqrt.f64 (sin.f64 t))) (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)) (log.f64 (exp.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)))))))
	32.7b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 (sqrt.f64 (.f64 eh (cos.f64 t))) (sqrt.f64 (*.f64 eh (cos.f64 t)))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	26.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)))))))

Compiler

Compiled 11297 to 2464 computations (78.2% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(*.f64 eh (cos.f64 t))
✓	2.2b	(log.f64 (exp.f64 (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))
	3.1b	(/.f64 (/.f64 eh ew) (tan.f64 t))
	35.5b	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))

series19.0ms (0.1%)

Counts

1 → 36

Calls

1 calls:

19.0ms

(log.f64 (exp.f64 (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`log-pow_binary64`
3×	`log-prod_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`exp-prod_binary64`

Counts

1 → 17

Calls

1 calls:

2.0ms

(log.f64 (exp.f64 (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))

simplify77.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

850×	`log-prod_binary64`
664×	`unswap-sqr_binary64`
367×	`associate-/l/_binary64`
360×	`fma-def_binary64`
210×	`associate-l_binary64`

Counts

53 → 31

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	42	818
1	45	775
2	54	775
3	65	775
4	95	775
5	173	775
6	366	775
7	1012	775
8	4228	775
9	5141	775

prune468.0ms (3.6%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	293	0	293
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	293	13	306

Error

0.0b

Counts

306 → 13

Alt Table

Status	Error	Program
	0.5b	(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.4b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (exp.f64 (log.f64 (*.f64 eh (cos.f64 t)))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	32.6b	(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)))))))
	32.7b	(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 (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)))))))
	1.0b	(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)))))))
	1.0b	(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 (.f64 eh (cos.f64 t))) (cbrt.f64 (.f64 eh (cos.f64 t)))) (cbrt.f64 (*.f64 eh (cos.f64 t)))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	26.3b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (cbrt.f64 (pow.f64 (*.f64 eh (cos.f64 t)) 3)) (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)))))))
	31.9b	(fabs.f64 (fma.f64 (.f64 (.f64 ew (sqrt.f64 (sin.f64 t))) (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)) (log.f64 (exp.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)))))))
	32.7b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 (sqrt.f64 (.f64 eh (cos.f64 t))) (sqrt.f64 (*.f64 eh (cos.f64 t)))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	26.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)))))))

Compiler

Compiled 11952 to 2636 computations (77.9% saved)

localize22.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))))
	3.1b	(/.f64 (/.f64 eh ew) (tan.f64 t))
✓	9.1b	(cbrt.f64 (*.f64 ew (sin.f64 t)))
	35.5b	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))

series888.0ms (6.8%)

Counts

2 → 48

Calls

2 calls:

551.0ms	(.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 (*.f64 ew (sin.f64 t))))
336.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)))

simplify88.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	1743
2	822	1382
3	2795	1116
4	4788	1116
5	5007	1116

prune487.0ms (3.8%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	367	3	370
Fresh	1	10	11
Picked	1	0	1
Done	0	1	1
Total	369	14	383

Error

0.0b

Counts

383 → 14

Alt Table

Status	Error	Program
	1.0b	(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 (.f64 eh (cos.f64 t))) (cbrt.f64 (.f64 eh (cos.f64 t)))) (cbrt.f64 (*.f64 eh (cos.f64 t)))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.9b	(fabs.f64 (fma.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 ew (sin.f64 t)))) 5) (cbrt.f64 (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.6b	(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)))))))
	32.7b	(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 (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)))))))
	1.0b	(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)))))))
	30.5b	(fabs.f64 (fma.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 (.f64 ew (sin.f64 t)))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 ew (sin.f64 t)))) (sqrt.f64 (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.7b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 (sqrt.f64 (.f64 eh (cos.f64 t))) (sqrt.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)))) (.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)))))))
	26.3b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (cbrt.f64 (pow.f64 (*.f64 eh (cos.f64 t)) 3)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	31.9b	(fabs.f64 (fma.f64 (.f64 (.f64 ew (sqrt.f64 (sin.f64 t))) (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)))))))
	34.4b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (exp.f64 (log.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)) (log.f64 (exp.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)))))))
	26.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)))))))

Compiler

Compiled 19014 to 3368 computations (82.3% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(cbrt.f64 (sin.f64 t))
	3.1b	(/.f64 (/.f64 eh ew) (tan.f64 t))
	9.1b	(cbrt.f64 (*.f64 ew (sin.f64 t)))
	35.5b	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))

series127.0ms (1%)

Counts

1 → 12

Calls

1 calls:

127.0ms

(cbrt.f64 (sin.f64 t))

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

simplify78.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	221
2	215	219
3	527	214
4	1576	208
5	4017	208
6	4452	208
7	4998	208
8	4894	208

prune414.0ms (3.2%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	308	1	309
Fresh	0	12	12
Picked	1	0	1
Done	0	1	1
Total	309	14	323

Error

0.0b

Counts

323 → 14

Alt Table

Status	Error	Program
	1.0b	(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 (.f64 eh (cos.f64 t))) (cbrt.f64 (.f64 eh (cos.f64 t)))) (cbrt.f64 (*.f64 eh (cos.f64 t)))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.9b	(fabs.f64 (fma.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 ew (sin.f64 t)))) 5) (cbrt.f64 (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.6b	(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)))))))
	32.7b	(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 (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)))))))
	1.0b	(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)))))))
	30.5b	(fabs.f64 (fma.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 (.f64 ew (sin.f64 t)))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 ew (sin.f64 t)))) (sqrt.f64 (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.5b	(fabs.f64 (fma.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 (.f64 ew (sin.f64 t)))) (.f64 (cbrt.f64 ew) (log1p.f64 (expm1.f64 (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)))))))
	32.7b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 (sqrt.f64 (.f64 eh (cos.f64 t))) (sqrt.f64 (*.f64 eh (cos.f64 t)))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	26.3b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (cbrt.f64 (pow.f64 (*.f64 eh (cos.f64 t)) 3)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	31.9b	(fabs.f64 (fma.f64 (.f64 (.f64 ew (sqrt.f64 (sin.f64 t))) (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)))))))
	34.4b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (exp.f64 (log.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)) (log.f64 (exp.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)))))))
	26.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)))))))

Compiler

Compiled 15948 to 2587 computations (83.8% saved)

regimes956.0ms (7.4%)

Accuracy

Total 0.1b remaining (57.5%)

Threshold costs 0.1b (57.5%)

Counts

127 → 1

Compiler

Compiled 27476 to 14154 computations (48.5% saved)

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

end699.0ms (5.4%)

Compiler: Compiled 603 to 308 computations (48.9% saved)

Details

analyze2.6s (19.9%)

sample5.4s (41.9%)

simplify7.0ms (0.1%)

prune3.0ms (0%)

localize20.0ms (0.2%)

series114.0ms (0.9%)

rewrite20.0ms (0.2%)

simplify158.0ms (1.2%)

prune237.0ms (1.8%)

localize22.0ms (0.2%)

series19.0ms (0.1%)

rewrite3.0ms (0%)

simplify77.0ms (0.6%)

prune468.0ms (3.6%)

localize22.0ms (0.2%)

series888.0ms (6.8%)

rewrite8.0ms (0.1%)

simplify88.0ms (0.7%)

prune487.0ms (3.8%)

localize26.0ms (0.2%)

series127.0ms (1%)

rewrite2.0ms (0%)

simplify78.0ms (0.6%)

prune414.0ms (3.2%)

regimes956.0ms (7.4%)

simplify2.0ms (0%)

end699.0ms (5.4%)

Profiling