Details

analyze2.5s (11.7%)

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
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
31.2%	68.6%	0.1%	8
40.6%	59.3%	0.1%	9
40.6%	59.3%	0.1%	10
46%	53.8%	0.1%	11
52.7%	47.2%	0.1%	12
52.7%	44.6%	2.8%	13
55.9%	40.6%	3.5%	14

Compiler

Compiled 27 to 22 computations (18.5% saved)

sample8.7s (40.8%)

Results

2.0s	1494×	body	1024	valid
1.8s	5352×	body	128	valid
1.6s	1278×	body	1024	invalid
731.0ms	782×	body	512	valid
628.0ms	660×	body	512	invalid
564.0ms	81×	body	4096	valid
465.0ms	1378×	body	128	invalid
350.0ms	168×	body	2048	valid
246.0ms	379×	body	256	valid
226.0ms	346×	body	256	invalid

Compiler

Compiled 80 to 65 computations (18.8% saved)

simplify45.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

387×	`unsub-neg_binary64`
380×	`neg-sub0_binary64`
373×	`neg-mul-1_binary64`
358×	`*-commutative_binary64`
328×	`fma-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	37
1	37	37
2	84	37
3	224	37
4	803	37
5	2061	37
6	3861	37
7	5076	37

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

33.7b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	33.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 101 to 78 computations (22.8% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.1b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
✓	10.1b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
✓	25.2b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	25.7b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series102.0ms (0.5%)

Counts

4 → 66

Calls

4 calls:

80.0ms	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
8.0ms	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
8.0ms	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
6.0ms	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

rewrite33.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

64×	`prod-diff_binary64`
64×	`unpow-prod-down_binary64`
57×	`add-sqr-sqrt_binary64`
45×	`*-un-lft-identity_binary64`
41×	`add-cube-cbrt_binary64`

Counts

4 → 151

Calls

4 calls:

11.0ms	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
10.0ms	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
1.0ms	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
1.0ms	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

simplify223.0ms (1%)

Algorithm

1×	egg-herbie

Rules

580×	`cancel-sign-sub-inv_binary64`
482×	`fma-neg_binary64`
457×	`unswap-sqr_binary64`
363×	`associate-r_binary64`
310×	`associate-l_binary64`

Counts

217 → 222

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	338	8304
1	701	4859
2	2506	3469
3	4594	3463
4	4981	3463
5	4871	3463

prune465.0ms (2.2%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	199	23	222
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	200	23	223

Error

30.9b

Counts

223 → 23

Alt Table

Status	Error	Program
	46.5b	(.f64 (.f64 (.f64 2 (.f64 (+.f64 b (pow.f64 (sqrt.f64 a) 2)) (-.f64 b (pow.f64 (sqrt.f64 a) 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	33.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	44.3b	(.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) 3)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
▶	33.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	34.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	52.0b	(.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	34.1b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (pow.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) 2) (pow.f64 (cbrt.f64 b) 2) (neg.f64 (.f64 (cbrt.f64 (pow.f64 a 2)) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2)))))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 a 2))) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2))) (.f64 (cbrt.f64 (pow.f64 a 2)) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2))))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	55.1b	(.f64 (exp.f64 (+.f64 (log.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))) (log.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	46.4b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	38.8b	(.f64 (-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	34.0b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	38.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (-.f64 1 (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2)))))
	44.2b	(.f64 (exp.f64 (log.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	55.1b	(.f64 (exp.f64 (+.f64 (+.f64 (log.f64 2) (log.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))) (log.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	42.2b	(.f64 (.f64 (.f64 2 (neg.f64 (.f64 a a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	34.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	36.7b	(.f64 (.f64 angle (.f64 1/90 (.f64 (PI.f64) (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	34.0b	(.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	42.9b	(.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	42.3b	(.f64 (.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.9b	(.f64 (.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2)) (pow.f64 (cbrt.f64 a) 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 10180 to 7308 computations (28.2% saved)

localize36.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.1b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
	10.1b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	25.2b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
	25.7b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

prune1.1s (5.1%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	245	13	258
Fresh	9	13	22
Picked	1	0	1
Done	0	0	0
Total	255	26	281

Error

30.7b

Counts

281 → 26

Alt Table

Status	Error	Program
	34.0b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	55.1b	(.f64 (exp.f64 (+.f64 (+.f64 (log.f64 2) (log.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))) (log.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	33.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	44.3b	(.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) 3)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	52.0b	(.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	42.9b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	34.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
▶	33.8b	(.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (pow.f64 b 2)) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	34.1b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (pow.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) 2) (pow.f64 (cbrt.f64 b) 2) (neg.f64 (.f64 (cbrt.f64 (pow.f64 a 2)) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2)))))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 a 2))) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2))) (.f64 (cbrt.f64 (pow.f64 a 2)) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2))))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	55.1b	(.f64 (exp.f64 (+.f64 (log.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))) (log.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	46.4b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	38.8b	(.f64 (-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	43.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	36.7b	(.f64 (.f64 angle (.f64 1/90 (.f64 (PI.f64) (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	34.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	34.0b	(.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	44.2b	(.f64 (exp.f64 (log.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	34.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)))
	42.9b	(.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	38.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (-.f64 1 (.f64 1/64800 (.f64 (*.f64 angle angle) (pow.f64 (PI.f64) 2)))))))
	46.5b	(.f64 (.f64 (.f64 2 (.f64 (+.f64 b (pow.f64 (sqrt.f64 a) 2)) (-.f64 b (pow.f64 (sqrt.f64 a) 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))))
	42.3b	(.f64 (.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	34.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))))
	42.2b	(.f64 (.f64 (.f64 2 (neg.f64 (.f64 a a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))))
	33.9b	(.f64 (.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2)) (pow.f64 (cbrt.f64 a) 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))

Compiler

Compiled 15640 to 11348 computations (27.4% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	10.1b	(.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (pow.f64 b 2)) (neg.f64 (.f64 a a)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
✓	24.4b	(cbrt.f64 (pow.f64 b 2))
	25.2b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
	25.7b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series884.0ms (4.1%)

Counts

2 → 48

Calls

2 calls:

853.0ms

(*.f64 (*.f64 2 (fma.f64 (*.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (pow.f64 b 2)) (neg.f64 (*.f64 a a)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

31.0ms

(cbrt.f64 (pow.f64 b 2))

rewrite12.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`cbrt-prod_binary64`
7×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`
7×	`pow1_binary64`
5×	`*-un-lft-identity_binary64`

Counts

2 → 38

Calls

2 calls:

6.0ms

(*.f64 (*.f64 2 (fma.f64 (*.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (pow.f64 b 2)) (neg.f64 (*.f64 a a)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

3.0ms

(cbrt.f64 (pow.f64 b 2))

simplify129.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

651×	`fma-def_binary64`
331×	`cancel-sign-sub-inv_binary64`
266×	`unswap-sqr_binary64`
225×	`associate-r_binary64`
205×	`associate-l_binary64`

Counts

86 → 73

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	156	2087
1	388	1889
2	1504	1851
3	4656	1851
4	4827	1851
5	4994	1851
6	4957	1851

prune838.0ms (3.9%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	194	7	201
Fresh	3	22	25
Picked	1	0	1
Done	0	0	0
Total	198	29	227

Error

30.7b

Counts

227 → 29

Alt Table

Status	Error	Program
	38.2b	(.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (pow.f64 b 2)) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (-.f64 1 (.f64 1/64800 (.f64 (*.f64 angle angle) (pow.f64 (PI.f64) 2)))))))
	34.3b	(.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (pow.f64 (pow.f64 b 2) 1/3) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	33.9b	(.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (pow.f64 b 2)) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	34.0b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	55.1b	(.f64 (exp.f64 (+.f64 (+.f64 (log.f64 2) (log.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))) (log.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	33.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	44.3b	(.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) 3)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	52.0b	(.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	42.9b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	34.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	34.1b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (pow.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) 2) (pow.f64 (cbrt.f64 b) 2) (neg.f64 (.f64 (cbrt.f64 (pow.f64 a 2)) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2)))))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 a 2))) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2))) (.f64 (cbrt.f64 (pow.f64 a 2)) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2))))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	55.1b	(.f64 (exp.f64 (+.f64 (log.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))) (log.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	46.4b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	38.8b	(.f64 (-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	43.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	36.7b	(.f64 (.f64 angle (.f64 1/90 (.f64 (PI.f64) (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	34.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	34.0b	(.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	44.2b	(.f64 (exp.f64 (log.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	34.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)))
	42.9b	(.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	34.1b	(.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (pow.f64 b 2)) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))))
	46.5b	(.f64 (.f64 (.f64 2 (.f64 (+.f64 b (pow.f64 (sqrt.f64 a) 2)) (-.f64 b (pow.f64 (sqrt.f64 a) 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))))
	42.3b	(.f64 (.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	34.0b	(.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (pow.f64 b 2)) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)))
	33.9b	(.f64 (.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2)) (pow.f64 (cbrt.f64 a) 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
▶	33.9b	(.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	42.2b	(.f64 (.f64 (.f64 2 (neg.f64 (.f64 a a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))))
	34.2b	(.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (exp.f64 (log.f64 (cbrt.f64 (pow.f64 b 2)))) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))

Compiler

Compiled 13764 to 9674 computations (29.7% saved)

localize50.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	10.1b	(.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (neg.f64 (.f64 a a)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	24.4b	(cbrt.f64 (pow.f64 b 2))
	25.2b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
	25.7b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series767.0ms (3.6%)

Counts

1 → 36

Calls

1 calls:

767.0ms

(*.f64 (*.f64 2 (fma.f64 (*.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (neg.f64 (*.f64 a a)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
6×	`pow1_binary64`
3×	`associate-r_binary64`
3×	`cbrt-unprod_binary64`

Counts

1 → 20

Calls

1 calls:

5.0ms

(*.f64 (*.f64 2 (fma.f64 (*.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (neg.f64 (*.f64 a a)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

simplify140.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

621×	`fma-def_binary64`
566×	`*-commutative_binary64`
353×	`sub-neg_binary64`
331×	`cancel-sign-sub-inv_binary64`
210×	`associate-r_binary64`

Counts

56 → 45

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	132	2284
1	355	1668
2	1376	1632
3	4240	1632
4	4868	1632
5	4937	1632

prune1.1s (5.3%)

Pruning

34 alts after pruning (34 fresh and 0 done)

	Pruned	Kept	Total
New	251	6	257
Fresh	0	28	28
Picked	1	0	1
Done	0	0	0
Total	252	34	286

Error

30.7b

Counts

286 → 34

Alt Table

Status	Error	Program
	38.2b	(.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (pow.f64 b 2)) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (-.f64 1 (.f64 1/64800 (.f64 (*.f64 angle angle) (pow.f64 (PI.f64) 2)))))))
	34.3b	(.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (pow.f64 (pow.f64 b 2) 1/3) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	33.9b	(.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (pow.f64 b 2)) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	34.0b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	55.1b	(.f64 (exp.f64 (+.f64 (+.f64 (log.f64 2) (log.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))) (log.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	33.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	44.3b	(.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) 3)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	34.0b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	34.2b	(.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))))
	33.9b	(.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 b b))) (cbrt.f64 (cbrt.f64 (.f64 b b)))) (cbrt.f64 (cbrt.f64 (.f64 b b))))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))))
	34.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	34.0b	(.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (cbrt.f64 (exp.f64 (log.f64 (cbrt.f64 (.f64 b b)))))) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))))
	52.0b	(.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	42.9b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	34.1b	(.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)))
	34.0b	(.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 b 2)))) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	34.1b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (pow.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) 2) (pow.f64 (cbrt.f64 b) 2) (neg.f64 (.f64 (cbrt.f64 (pow.f64 a 2)) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2)))))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 a 2))) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2))) (.f64 (cbrt.f64 (pow.f64 a 2)) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2))))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	55.1b	(.f64 (exp.f64 (+.f64 (log.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))) (log.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	46.4b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	38.8b	(.f64 (-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	43.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	36.7b	(.f64 (.f64 angle (.f64 1/90 (.f64 (PI.f64) (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	34.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	34.0b	(.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	44.2b	(.f64 (exp.f64 (log.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	34.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)))
	42.9b	(.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	34.1b	(.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (pow.f64 b 2)) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))))
	46.5b	(.f64 (.f64 (.f64 2 (.f64 (+.f64 b (pow.f64 (sqrt.f64 a) 2)) (-.f64 b (pow.f64 (sqrt.f64 a) 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))))
	42.3b	(.f64 (.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	34.0b	(.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (pow.f64 b 2)) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)))
	33.9b	(.f64 (.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2)) (pow.f64 (cbrt.f64 a) 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	42.2b	(.f64 (.f64 (.f64 2 (neg.f64 (.f64 a a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))))
	34.2b	(.f64 (.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (exp.f64 (log.f64 (cbrt.f64 (pow.f64 b 2)))) (neg.f64 (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))

Compiler

Compiled 19075 to 13660 computations (28.4% saved)

regimes2.4s (11.2%)

Accuracy

Total 2.4b remaining (7.6%)

Threshold costs 0b (0%)

Counts

146 → 1

Compiler

Compiled 66382 to 50720 computations (23.6% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	42
1	26	42
2	31	42
3	33	42
4	34	42
5	34	42

end1.7s (8.2%)

Compiler: Compiled 1724 to 1338 computations (22.4% saved)

Details

analyze2.5s (11.7%)

sample8.7s (40.8%)

simplify45.0ms (0.2%)

prune4.0ms (0%)

localize14.0ms (0.1%)

series102.0ms (0.5%)

rewrite33.0ms (0.2%)

simplify223.0ms (1%)

prune465.0ms (2.2%)

localize36.0ms (0.2%)

prune1.1s (5.1%)

localize24.0ms (0.1%)

series884.0ms (4.1%)

rewrite12.0ms (0.1%)

simplify129.0ms (0.6%)

prune838.0ms (3.9%)

localize50.0ms (0.2%)

series767.0ms (3.6%)

rewrite7.0ms (0%)

simplify140.0ms (0.7%)

prune1.1s (5.3%)

regimes2.4s (11.2%)

simplify5.0ms (0%)

end1.7s (8.2%)

Profiling