Details

analyze1.7s (12.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
6.2%	93.6%	0.1%	7
9.4%	90.5%	0.1%	8
14%	85.8%	0.1%	9
19.5%	80.4%	0.1%	10
20.7%	79.2%	0.1%	11
22%	77.8%	0.1%	12
23.5%	76.4%	0.1%	13
23.8%	76%	0.1%	14

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample4.6s (35.1%)

Results

3.1s	3637×	body	1024	valid
592.0ms	1441×	body	512	valid
397.0ms	2388×	body	128	valid
323.0ms	200×	body	2048	valid
181.0ms	590×	body	256	valid
0.0ms	1×	body	256	invalid

Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`+-commutative_binary64`
1×	`associate-*r/_binary64`
1×	`associate-*l/_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	13	14
2	16	14
3	20	14
4	21	14
5	21	14

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

14.2b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	14.2b	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))

Compiler

Compiled 45 to 28 computations (37.8% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(sin.f64 b)
✓	0.2b	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
✓	0.3b	(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
✓	3.8b	(cos.f64 (+.f64 a b))

series78.0ms (0.6%)

Counts

4 → 56

Calls

4 calls:

47.0ms	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
25.0ms	(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
5.0ms	(cos.f64 (+.f64 a b))
2.0ms	(sin.f64 b)

rewrite16.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64`
20×	`*-un-lft-identity_binary64`
20×	`add-cube-cbrt_binary64`
19×	`times-frac_binary64`
13×	`associate-r_binary64`

Counts

4 → 82

Calls

4 calls:

5.0ms	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
3.0ms	(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
2.0ms	(cos.f64 (+.f64 a b))
1.0ms	(sin.f64 b)

simplify94.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

757×	`fma-def_binary64`
561×	`associate-/r*_binary64`
281×	`associate-/r/_binary64`
239×	`associate-/l/_binary64`
206×	`associate-r_binary64`

Counts

138 → 189

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	261	2895
1	667	2747
2	2416	2681
3	4988	2681
4	5029	2681

prune158.0ms (1.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	179	10	189
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	180	10	190

Error

0.2b

Counts

190 → 10

Alt Table

Status	Error	Program
	38.4b	(.f64 (sqrt.f64 r) (.f64 (sqrt.f64 r) (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))))
▶	0.4b	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))
	14.2b	(*.f64 r (/.f64 (sin.f64 b) (log1p.f64 (expm1.f64 (cos.f64 (+.f64 a b))))))
	50.3b	(.f64 (.f64 (sqrt.f64 r) (sqrt.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))) (*.f64 (sqrt.f64 r) (sqrt.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))))
	30.3b	(.f64 r (cbrt.f64 (/.f64 (.f64 (.f64 (sin.f64 b) (sin.f64 b)) (sin.f64 b)) (.f64 (*.f64 (cos.f64 (+.f64 a b)) (cos.f64 (+.f64 a b))) (cos.f64 (+.f64 a b))))))
	14.2b	(/.f64 (*.f64 (sin.f64 b) r) (cos.f64 (+.f64 a b)))
	14.2b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (cos.f64 (+.f64 a b))))
	38.1b	(.f64 (.f64 r (sqrt.f64 (sin.f64 b))) (/.f64 (sqrt.f64 (sin.f64 b)) (cos.f64 (+.f64 a b))))
	14.2b	(*.f64 r (/.f64 1 (/.f64 (cos.f64 (+.f64 a b)) (sin.f64 b))))
	14.8b	(.f64 (.f64 r (*.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (sin.f64 b)))) (/.f64 (cbrt.f64 (sin.f64 b)) (cos.f64 (+.f64 a b))))

Compiler

Compiled 4194 to 1385 computations (67% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))
✓	0.2b	(/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))
✓	0.2b	(*.f64 (sin.f64 a) (sin.f64 b))
✓	0.2b	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))

series188.0ms (1.4%)

Counts

4 → 80

Calls

4 calls:

103.0ms	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))
61.0ms	(/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))
14.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))
10.0ms	(*.f64 (sin.f64 a) (sin.f64 b))

rewrite29.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64`
22×	`*-un-lft-identity_binary64`
22×	`add-cube-cbrt_binary64`
20×	`associate-r_binary64`
19×	`times-frac_binary64`

Counts

4 → 110

Calls

4 calls:

8.0ms	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))
6.0ms	(/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))
4.0ms	(*.f64 (sin.f64 a) (sin.f64 b))
4.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))

simplify149.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

386×	`fma-neg_binary64`
323×	`cancel-sign-sub-inv_binary64`
292×	`associate-r_binary64`
268×	`associate-l_binary64`
198×	`distribute-rgt-neg-in_binary64`

Counts

190 → 251

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	331	5599
1	870	5281
2	3258	5029
3	4530	5023
4	4971	5023

prune276.0ms (2.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	240	11	251
Fresh	9	0	9
Picked	1	0	1
Done	0	0	0
Total	250	11	261

Error

0.0b

Counts

261 → 11

Alt Table

Status	Error	Program
	0.4b	(.f64 r (/.f64 1 (/.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (sin.f64 b))))
	0.4b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
	33.2b	(.f64 (.f64 r (sqrt.f64 (sin.f64 b))) (/.f64 (sqrt.f64 (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
	1.2b	(.f64 (.f64 (cbrt.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))) (cbrt.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))))) (cbrt.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
	0.6b	(.f64 r (/.f64 (sin.f64 b) (log.f64 (/.f64 (exp.f64 (.f64 (cos.f64 a) (cos.f64 b))) (exp.f64 (*.f64 (sin.f64 a) (sin.f64 b)))))))
▶	0.4b	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b)))))))
	0.4b	(.f64 r (/.f64 (sin.f64 b) (/.f64 (-.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2))) (fma.f64 (sin.f64 b) (sin.f64 a) (.f64 (cos.f64 a) (cos.f64 b))))))
	32.3b	(*.f64 (sqrt.f64 r) (/.f64 (sqrt.f64 r) (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1))))
	0.5b	(.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))) (.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))) (+.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))
	1.4b	(.f64 (.f64 r (/.f64 (.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (sin.f64 b))) (.f64 (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))) (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))))) (/.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))))
	0.4b	(/.f64 r (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1)))

Compiler

Compiled 7851 to 2056 computations (73.8% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(*.f64 (sin.f64 a) (sin.f64 b))
✓	0.2b	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b)))))))
✓	0.3b	(.f64 (.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))
✓	30.2b	(cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b))))

series139.0ms (1.1%)

Counts

3 → 84

Calls

3 calls:

105.0ms

(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b)))))))

24.0ms

(*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))

9.0ms

(cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b))))

rewrite44.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

44×	`pow1_binary64`
28×	`sin-mult_binary64`
23×	`associate-r_binary64`
20×	`add-cbrt-cube_binary64`
20×	`add-exp-log_binary64`

Counts

3 → 101

Calls

3 calls:

15.0ms

(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b)))))))

10.0ms

(cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b))))

7.0ms

(*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))

simplify137.0ms (1%)

Algorithm

1×	egg-herbie

Rules

786×	`fma-def_binary64`
375×	`associate-r_binary64`
373×	`cancel-sign-sub-inv_binary64`
350×	`associate-l_binary64`
295×	`unswap-sqr_binary64`

Counts

185 → 191

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	340	5715
1	837	4596
2	3051	4323
3	4976	4323
4	4966	4323

prune552.0ms (4.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	333	2	335
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	335	11	346

Error

0.0b

Counts

346 → 11

Alt Table

Status	Error	Program
	0.4b	(.f64 r (/.f64 1 (/.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (sin.f64 b))))
	0.4b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
	33.2b	(.f64 (.f64 r (sqrt.f64 (sin.f64 b))) (/.f64 (sqrt.f64 (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
	1.2b	(.f64 (.f64 (cbrt.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))) (cbrt.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))))) (cbrt.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
▶	0.4b	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2))) (cbrt.f64 (*.f64 (sin.f64 b) (sin.f64 a)))))))
	32.3b	(*.f64 (sqrt.f64 r) (/.f64 (sqrt.f64 r) (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1))))
	0.5b	(.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))) (.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))) (+.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))
	0.5b	(.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2))))) (+.f64 (.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))) (.f64 (sin.f64 a) (sin.f64 b))))))
	1.4b	(.f64 (.f64 r (/.f64 (.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (sin.f64 b))) (.f64 (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))) (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))))) (/.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))))
	0.6b	(.f64 r (/.f64 (sin.f64 b) (log.f64 (/.f64 (exp.f64 (.f64 (cos.f64 a) (cos.f64 b))) (exp.f64 (*.f64 (sin.f64 a) (sin.f64 b)))))))
	0.4b	(/.f64 r (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1)))

Compiler

Compiled 13594 to 3415 computations (74.9% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (sin.f64 a) 2)
✓	0.3b	(.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2))) (cbrt.f64 (*.f64 (sin.f64 b) (sin.f64 a))))
✓	6.8b	(cbrt.f64 (*.f64 (sin.f64 b) (sin.f64 a)))
✓	29.0b	(cbrt.f64 (*.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2)))

series1.6s (12.1%)

Counts

4 → 76

Calls

4 calls:

1.1s	(cbrt.f64 (*.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2)))
506.0ms	(cbrt.f64 (*.f64 (sin.f64 b) (sin.f64 a)))
10.0ms	(.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2))) (cbrt.f64 (*.f64 (sin.f64 b) (sin.f64 a))))
3.0ms	(pow.f64 (sin.f64 a) 2)

rewrite15.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-sqr-sqrt_binary64`
8×	`*-un-lft-identity_binary64`
8×	`add-cube-cbrt_binary64`
7×	`add-exp-log_binary64`
7×	`pow1_binary64`

Counts

4 → 67

Calls

4 calls:

5.0ms	(.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2))) (cbrt.f64 (*.f64 (sin.f64 b) (sin.f64 a))))
3.0ms	(cbrt.f64 (*.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2)))
3.0ms	(cbrt.f64 (*.f64 (sin.f64 b) (sin.f64 a)))
2.0ms	(pow.f64 (sin.f64 a) 2)

simplify121.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

582×	`fma-def_binary64`
467×	`cancel-sign-sub-inv_binary64`
271×	`unswap-sqr_binary64`
229×	`distribute-rgt-neg-in_binary64`
214×	`distribute-lft-neg-in_binary64`

Counts

143 → 160

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	218	3019
1	562	2819
2	1729	2407
3	4398	2345
4	4850	2341
5	4961	2341

prune313.0ms (2.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	159	1	160
Fresh	0	10	10
Picked	1	0	1
Done	0	0	0
Total	160	11	171

Error

0.0b

Counts

171 → 11

Alt Table

Status	Error	Program
	0.4b	(.f64 r (/.f64 1 (/.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (sin.f64 b))))
	0.4b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
	33.2b	(.f64 (.f64 r (sqrt.f64 (sin.f64 b))) (/.f64 (sqrt.f64 (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
	1.2b	(.f64 (.f64 (cbrt.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))) (cbrt.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))))) (cbrt.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
	0.4b	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 b) (sin.f64 a))) (cbrt.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (cbrt.f64 (*.f64 (sin.f64 b) (sin.f64 a)))))))))
	0.5b	(.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))) (.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))) (+.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))
	0.5b	(.f64 (.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2))))) (+.f64 (.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))) (.f64 (sin.f64 a) (sin.f64 b))))))
	1.4b	(.f64 (.f64 r (/.f64 (.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (sin.f64 b))) (.f64 (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))) (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))))) (/.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))))
	0.6b	(.f64 r (/.f64 (sin.f64 b) (log.f64 (/.f64 (exp.f64 (.f64 (cos.f64 a) (cos.f64 b))) (exp.f64 (*.f64 (sin.f64 a) (sin.f64 b)))))))
	0.4b	(/.f64 r (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1)))
	32.3b	(*.f64 (sqrt.f64 r) (/.f64 (sqrt.f64 r) (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1))))

Compiler

Compiled 6187 to 2643 computations (57.3% saved)

regimes2.7s (20.4%)

Accuracy

Total 0.3b remaining (83.6%)

Threshold costs 0.3b (83.6%)

Counts

387 → 1

Compiler

Compiled 59082 to 32353 computations (45.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
4×	`+-commutative_binary64`
3×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	46
1	28	46
2	36	46
3	40	46
4	41	46
5	41	46

end193.0ms (1.5%)

Compiler: Compiled 442 to 214 computations (51.6% saved)

Details

analyze1.7s (12.9%)

sample4.6s (35.1%)

simplify6.0ms (0%)

prune2.0ms (0%)

localize7.0ms (0.1%)

series78.0ms (0.6%)

rewrite16.0ms (0.1%)

simplify94.0ms (0.7%)

prune158.0ms (1.2%)

localize13.0ms (0.1%)

series188.0ms (1.4%)

rewrite29.0ms (0.2%)

simplify149.0ms (1.1%)

prune276.0ms (2.1%)

localize16.0ms (0.1%)

series139.0ms (1.1%)

rewrite44.0ms (0.3%)

simplify137.0ms (1%)

prune552.0ms (4.2%)

localize20.0ms (0.1%)

series1.6s (12.1%)

rewrite15.0ms (0.1%)

simplify121.0ms (0.9%)

prune313.0ms (2.4%)

regimes2.7s (20.4%)

simplify3.0ms (0%)

end193.0ms (1.5%)

Profiling