Details

analyze2.7s (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
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.9s (39.8%)

Results

2.9s	2014×	body	1024	valid
1.5s	4706×	body	128	valid
979.0ms	1030×	body	512	valid
300.0ms	501×	body	256	valid
19.0ms	5×	body	2048	valid

Compiler

Compiled 95 to 53 computations (44.2% saved)

simplify7.0ms (0%)

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)

localize274.0ms (1.8%)

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))
✓	1.9b	(/.f64 (/.f64 eh ew) (tan.f64 t))
✓	34.8b	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))

series105.0ms (0.7%)

Counts

4 → 120

Calls

4 calls:

73.0ms	(/.f64 (/.f64 eh ew) (tan.f64 t))
18.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))

rewrite20.0ms (0.1%)

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))
1.0ms	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))

simplify162.0ms (1.1%)

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

prune204.0ms (1.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	280	11	291
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	281	11	292

Error

0.0b

Counts

292 → 11

Alt Table

Status	Error	Program
	15.3b	(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)))))))
	24.0b	(fabs.f64 (fma.f64 (cbrt.f64 (.f64 (.f64 (.f64 ew ew) ew) (.f64 (.f64 (sin.f64 t) (sin.f64 t)) (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.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 (*.f64 (cbrt.f64 (cos.f64 t)) (cbrt.f64 (cos.f64 t)))) (cbrt.f64 (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)))))))
	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 (.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)))))))
	27.6b	(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)))))))
	34.8b	(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.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)))))))
	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)))))))
	31.2b	(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)))))))
	32.4b	(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)))))))

Compiler

Compiled 11175 to 2392 computations (78.6% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (cbrt.f64 (cos.f64 t)) (cbrt.f64 (cos.f64 t)))
✓	0.3b	(cbrt.f64 (cos.f64 t))
	1.9b	(/.f64 (/.f64 eh ew) (tan.f64 t))
	34.8b	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))

series459.0ms (3.1%)

Counts

2 → 24

Calls

2 calls:

276.0ms	(*.f64 (cbrt.f64 (cos.f64 t)) (cbrt.f64 (cos.f64 t)))
183.0ms	(cbrt.f64 (cos.f64 t))

rewrite10.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 (cos.f64 t)) (cbrt.f64 (cos.f64 t)))
1.0ms	(cbrt.f64 (cos.f64 t))

simplify126.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

731×	`log-prod_binary64`
499×	`unswap-sqr_binary64`
478×	`fma-def_binary64`
432×	`cancel-sign-sub-inv_binary64`
389×	`distribute-rgt-neg-in_binary64`

Counts

79 → 84

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	82	826
1	170	744
2	479	706
3	1310	684
4	3373	564
5	4171	564
6	4644	564
7	4991	564
8	4891	564

prune759.0ms (5.1%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	361	2	363
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	362	12	374

Error

0.0b

Counts

374 → 12

Alt Table

Status	Error	Program
	15.3b	(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)))))))
	24.0b	(fabs.f64 (fma.f64 (cbrt.f64 (.f64 (.f64 (.f64 ew ew) ew) (.f64 (.f64 (sin.f64 t) (sin.f64 t)) (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)))))))
	15.5b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 (.f64 eh (.f64 (.f64 (cbrt.f64 (sqrt.f64 (cos.f64 t))) (cbrt.f64 (sqrt.f64 (cos.f64 t)))) (*.f64 (cbrt.f64 (sqrt.f64 (cos.f64 t))) (cbrt.f64 (sqrt.f64 (cos.f64 t)))))) (cbrt.f64 (cos.f64 t))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
✓	0.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 (*.f64 (cbrt.f64 (cos.f64 t)) (cbrt.f64 (cos.f64 t)))) (cbrt.f64 (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)))))))
▶	0.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 (.f64 (cbrt.f64 (cos.f64 t)) (.f64 (cbrt.f64 (*.f64 (cbrt.f64 (cos.f64 t)) (cbrt.f64 (cos.f64 t)))) (cbrt.f64 (cbrt.f64 (cos.f64 t)))))) (cbrt.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 (.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)))))))
	27.6b	(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)))))))
	34.8b	(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.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)))))))
	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)))))))
	32.4b	(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)))))))

Compiler

Compiled 16777 to 3165 computations (81.1% saved)

localize36.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(cbrt.f64 (cbrt.f64 (cos.f64 t)))
	0.3b	(cbrt.f64 (cos.f64 t))
	1.9b	(/.f64 (/.f64 eh ew) (tan.f64 t))
	34.8b	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))

series266.0ms (1.8%)

Counts

1 → 12

Calls

1 calls:

266.0ms

(cbrt.f64 (cbrt.f64 (cos.f64 t)))

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

1 → 16

Calls

1 calls:

2.0ms

(cbrt.f64 (cbrt.f64 (cos.f64 t)))

simplify91.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

487×	`distribute-rgt-out--_binary64`
408×	`distribute-rgt-neg-in_binary64`
373×	`distribute-rgt-out_binary64`
365×	`unsub-neg_binary64`
355×	`*-commutative_binary64`

Counts

28 → 26

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	45	294
1	85	294
2	182	292
3	476	282
4	1618	278
5	3369	278
6	4421	278
7	4985	278

prune920.0ms (6.2%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	374	0	374
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	374	12	386

Error

0.0b

Counts

386 → 12

Alt Table

Status	Error	Program
	15.3b	(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)))))))
	24.0b	(fabs.f64 (fma.f64 (cbrt.f64 (.f64 (.f64 (.f64 ew ew) ew) (.f64 (.f64 (sin.f64 t) (sin.f64 t)) (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)))))))
	15.5b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 (.f64 eh (.f64 (.f64 (cbrt.f64 (sqrt.f64 (cos.f64 t))) (cbrt.f64 (sqrt.f64 (cos.f64 t)))) (*.f64 (cbrt.f64 (sqrt.f64 (cos.f64 t))) (cbrt.f64 (sqrt.f64 (cos.f64 t)))))) (cbrt.f64 (cos.f64 t))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
✓	0.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 (*.f64 (cbrt.f64 (cos.f64 t)) (cbrt.f64 (cos.f64 t)))) (cbrt.f64 (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)))))))
✓	0.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 (.f64 (cbrt.f64 (cos.f64 t)) (.f64 (cbrt.f64 (*.f64 (cbrt.f64 (cos.f64 t)) (cbrt.f64 (cos.f64 t)))) (cbrt.f64 (cbrt.f64 (cos.f64 t)))))) (cbrt.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 (.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)))))))
	27.6b	(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)))))))
	34.8b	(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.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)))))))
	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)))))))
	32.4b	(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)))))))

Compiler

Compiled 20976 to 3499 computations (83.3% saved)

localize26.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))))
	1.9b	(/.f64 (/.f64 eh ew) (tan.f64 t))
✓	9.7b	(cbrt.f64 (*.f64 ew (sin.f64 t)))
	34.8b	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))

series1.2s (8.2%)

Counts

2 → 48

Calls

2 calls:

755.0ms	(.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) (cbrt.f64 (*.f64 ew (sin.f64 t))))
459.0ms	(cbrt.f64 (*.f64 ew (sin.f64 t)))

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

simplify88.0ms (0.6%)

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

prune640.0ms (4.3%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	367	3	370
Fresh	2	7	9
Picked	0	1	1
Done	0	2	2
Total	369	13	382

Error

0.0b

Counts

382 → 13

Alt Table

Status	Error	Program
	0.9b	(fabs.f64 (fma.f64 (.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 (cbrt.f64 (.f64 ew (sin.f64 t)))))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 ew (sin.f64 t)))) (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)))))))
	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)))))))
	15.3b	(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)))))))
	15.5b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 (.f64 eh (.f64 (.f64 (cbrt.f64 (sqrt.f64 (cos.f64 t))) (cbrt.f64 (sqrt.f64 (cos.f64 t)))) (*.f64 (cbrt.f64 (sqrt.f64 (cos.f64 t))) (cbrt.f64 (sqrt.f64 (cos.f64 t)))))) (cbrt.f64 (cos.f64 t))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
✓	0.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 (*.f64 (cbrt.f64 (cos.f64 t)) (cbrt.f64 (cos.f64 t)))) (cbrt.f64 (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)))))))
✓	0.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 (.f64 (cbrt.f64 (cos.f64 t)) (.f64 (cbrt.f64 (*.f64 (cbrt.f64 (cos.f64 t)) (cbrt.f64 (cos.f64 t)))) (cbrt.f64 (cbrt.f64 (cos.f64 t)))))) (cbrt.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 (.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)))))))
	27.6b	(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.6b	(fabs.f64 (fma.f64 (.f64 (.f64 (.f64 (cbrt.f64 ew) (cbrt.f64 ew)) (.f64 (cbrt.f64 (sin.f64 t)) (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.8b	(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)))))))
	11.9b	(fabs.f64 (fma.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 ew (sin.f64 t)) 2)) (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.4b	(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)))))))

Compiler

Compiled 18523 to 3107 computations (83.2% saved)

regimes462.0ms (3.1%)

Accuracy

Total 0.1b remaining (60.1%)

Threshold costs 0.1b (60.1%)

Counts

68 → 1

Compiler

Compiled 13801 to 7099 computations (48.6% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	44
1	20	44
2	20	44

end296.0ms (2%)

Compiler: Compiled 621 to 292 computations (53% saved)

Details

analyze2.7s (18.4%)

sample5.9s (39.8%)

simplify7.0ms (0%)

prune3.0ms (0%)

localize274.0ms (1.8%)

series105.0ms (0.7%)

rewrite20.0ms (0.1%)

simplify162.0ms (1.1%)

prune204.0ms (1.4%)

localize24.0ms (0.2%)

series459.0ms (3.1%)

rewrite10.0ms (0.1%)

simplify126.0ms (0.8%)

prune759.0ms (5.1%)

localize36.0ms (0.2%)

series266.0ms (1.8%)

rewrite2.0ms (0%)

simplify91.0ms (0.6%)

prune920.0ms (6.2%)

localize26.0ms (0.2%)

series1.2s (8.2%)

rewrite9.0ms (0.1%)

simplify88.0ms (0.6%)

prune640.0ms (4.3%)

regimes462.0ms (3.1%)

simplify3.0ms (0%)

end296.0ms (2%)

Profiling