Details

analyze1.7s (13.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)

sample147.0ms (1.2%)

Algorithm

1×

intervals

Results

40.0ms	59×	body	1024	valid
24.0ms	155×	body	128	valid
17.0ms	26×	body	1024	invalid
15.0ms	22×	body	512	valid
12.0ms	10×	body	2048	valid
8.0ms	14×	body	512	invalid
6.0ms	40×	body	128	invalid
3.0ms	11×	body	256	invalid
3.0ms	10×	body	256	valid

Compiler

Compiled 56 to 46 computations (17.9% saved)

simplify59.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

416×	`sub-neg_binary64`
404×	`neg-mul-1_binary64`
392×	`neg-sub0_binary64`
387×	`unsub-neg_binary64`
358×	`*-commutative_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	37
1	37	37
2	83	37
3	216	37
4	757	37
5	1790	37
6	3573	37
7	4646	37
8	4936	37

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

31.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	31.4b	(.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 78 to 61 computations (21.8% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.7b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
8.0b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 PI.f64 (/.f64 angle 180))))
25.7b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
26.2b	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite199.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

31.0b

Rules

23×	`add-sqr-sqrt_binary64`
16×	`difference-of-squares_binary64`
13×	`unpow-prod-down_binary64`
11×	`*-un-lft-identity_binary64`
9×	`sqr-pow_binary64`

Counts

4 → 71

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))))
7.0ms	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
1.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
1.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 2233 to 1676 computations (24.9% saved)

series153.0ms (1.2%)

Error

29.3b

Counts

4 → 36

Calls

4 calls:

76.0ms	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 PI.f64 (/.f64 angle 180))))
21.0ms	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
9.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
7.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 2064 to 1622 computations (21.4% saved)

simplify156.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

502×	`*-commutative_binary64`
445×	`cancel-sign-sub-inv_binary64`
223×	`exp-prod_binary64`
204×	`distribute-rgt-in_binary64`
194×	`distribute-lft-in_binary64`

Counts

107 → 83

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	192	2322
1	437	1695
2	1297	1667
3	3005	1667
4	4706	1667
5	4920	1667

prune75.0ms (0.6%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	63	20	83
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	64	20	84

Error

30.0b

Counts

84 → 20

Alt Table

Status	Error	Program
	41.7b	(.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))))
▶	31.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	50.5b	(.f64 (.f64 (.f64 2 (/.f64 (-.f64 (pow.f64 b 4) (pow.f64 a 4)) (+.f64 (.f64 a a) (.f64 b b)))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	40.1b	(.f64 (.f64 (.f64 2 (.f64 b b)) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180))))
	31.6b	(.f64 (.f64 (.f64 2 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	31.7b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (cbrt.f64 (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (cbrt.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))))
	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))))
	45.4b	(.f64 (.f64 (.f64 2 (cbrt.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 a a)) 3))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	37.1b	(.f64 (-.f64 (.f64 (.f64 (pow.f64 PI.f64 3) (.f64 (pow.f64 angle 3) 1/17496000)) (-.f64 (.f64 a a) (.f64 b b))) (-.f64 (.f64 angle (.f64 1/90 (.f64 PI.f64 (.f64 a a)))) (.f64 angle (.f64 1/90 (.f64 PI.f64 (.f64 b b)))))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	42.9b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	34.1b	(.f64 (.f64 angle (.f64 1/90 (.f64 PI.f64 (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	47.4b	(.f64 (.f64 (.f64 (sqrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) (sqrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	40.1b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 b b))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	31.7b	(.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	42.2b	(.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))))
	42.1b	(.f64 (.f64 -2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 a a))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	36.9b	(.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 (*.f64 angle angle) (pow.f64 PI.f64 2)))))
	40.8b	(.f64 (.f64 (sqrt.f64 (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (sqrt.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))))
	51.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))))
	41.5b	(.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))))

Compiler

Compiled 2305 to 1526 computations (33.8% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.7b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
8.0b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 PI.f64 (/.f64 angle 180))))
25.7b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
26.2b	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite172.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

30.0b

Rules

23×	`add-sqr-sqrt_binary64`
16×	`difference-of-squares_binary64`
13×	`unpow-prod-down_binary64`
11×	`*-un-lft-identity_binary64`
9×	`sqr-pow_binary64`

Counts

4 → 71

Calls

4 calls:

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

Compiler

Compiled 2437 to 1880 computations (22.9% saved)

series210.0ms (1.7%)

Error

29.2b

Counts

4 → 36

Calls

4 calls:

79.0ms	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 PI.f64 (/.f64 angle 180))))
75.0ms	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
16.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
15.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 2280 to 1838 computations (19.4% saved)

simplify108.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

502×	`*-commutative_binary64`
445×	`cancel-sign-sub-inv_binary64`
223×	`exp-prod_binary64`
204×	`distribute-rgt-in_binary64`
194×	`distribute-lft-in_binary64`

Counts

107 → 83

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	192	2322
1	437	1695
2	1297	1667
3	3005	1667
4	4706	1667
5	4920	1667

prune86.0ms (0.7%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	74	9	83
Fresh	5	14	19
Picked	1	0	1
Done	0	0	0
Total	80	23	103

Error

30.0b

Counts

103 → 23

Alt Table

Status	Error	Program
	41.7b	(.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))))
	50.5b	(.f64 (.f64 (.f64 2 (/.f64 (-.f64 (pow.f64 b 4) (pow.f64 a 4)) (+.f64 (.f64 a a) (.f64 b b)))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	31.7b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (cbrt.f64 (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (cbrt.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))))
	41.5b	(.f64 (exp.f64 (log.f64 (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	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))))
	45.4b	(.f64 (.f64 (.f64 2 (cbrt.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 a a)) 3))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	31.7b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (cbrt.f64 (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (cbrt.f64 (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	42.9b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	34.1b	(.f64 (.f64 angle (.f64 1/90 (.f64 PI.f64 (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
▶	31.3b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) 3)))
	31.6b	(.f64 (.f64 (.f64 2 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	47.4b	(.f64 (.f64 (.f64 (sqrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) (sqrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	42.2b	(.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 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	42.1b	(.f64 (.f64 -2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 a a))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	42.9b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	31.7b	(.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	34.1b	(.f64 (.f64 angle (.f64 1/90 (.f64 PI.f64 (-.f64 (.f64 b b) (.f64 a a))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	40.1b	(.f64 (.f64 (.f64 2 (.f64 b b)) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180))))
	42.1b	(.f64 (.f64 -2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 a a))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	36.9b	(.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 (*.f64 angle angle) (pow.f64 PI.f64 2)))))
	40.8b	(.f64 (.f64 (sqrt.f64 (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (sqrt.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))))
	51.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))))
	41.5b	(.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))))

Compiler

Compiled 2645 to 1804 computations (31.8% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.7b	(-.f64 (.f64 b b) (.f64 a a))
8.0b	(.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
25.7b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
26.3b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite103.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

30.0b

Rules

9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
9×	`pow1_binary64`
8×	`distribute-lft-in_binary64`
8×	`distribute-rgt-in_binary64`

Counts

4 → 55

Calls

4 calls:

8.0ms	(.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
3.0ms	(-.f64 (.f64 b b) (.f64 a a))
2.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
1.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 1882 to 1014 computations (46.1% saved)

series144.0ms (1.2%)

Error

29.2b

Counts

4 → 36

Calls

4 calls:

79.0ms	(.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
26.0ms	(-.f64 (.f64 b b) (.f64 a a))
8.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
8.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2280 to 1773 computations (22.2% saved)

simplify88.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

552×	`*-commutative_binary64`
502×	`unswap-sqr_binary64`
380×	`distribute-rgt-in_binary64`
364×	`distribute-lft-in_binary64`
218×	`associate-r_binary64`

Counts

91 → 58

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	154	2047
1	380	1794
2	1277	1778
3	3581	1778
4	5070	1778

prune74.0ms (0.6%)

Pruning

24 alts after pruning (23 fresh and 1 done)

	Pruned	Kept	Total
New	53	5	58
Fresh	4	18	22
Picked	0	1	1
Done	0	0	0
Total	57	24	81

Error

30.0b

Counts

81 → 24

Alt Table

Status	Error	Program
	41.7b	(.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))))
	50.5b	(.f64 (.f64 (.f64 2 (/.f64 (-.f64 (pow.f64 b 4) (pow.f64 a 4)) (+.f64 (.f64 a a) (.f64 b b)))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	31.7b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (cbrt.f64 (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (cbrt.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))))
	41.5b	(.f64 (exp.f64 (log.f64 (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	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))))
	45.4b	(.f64 (.f64 (.f64 2 (cbrt.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 a a)) 3))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	34.1b	(.f64 (.f64 angle (.f64 1/90 (.f64 PI.f64 (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
✓	31.3b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) 3)))
	31.6b	(.f64 (.f64 (.f64 2 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	47.4b	(.f64 (.f64 (.f64 (sqrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) (sqrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	40.8b	(.f64 (.f64 (sqrt.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (-.f64 (.f64 b b) (.f64 a a))))) (sqrt.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (-.f64 (.f64 b b) (.f64 a a)))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	42.1b	(.f64 (.f64 -2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 a a))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	42.9b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	31.7b	(.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	37.4b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) (cbrt.f64 (pow.f64 (-.f64 1 (.f64 1/64800 (.f64 (.f64 angle angle) (pow.f64 PI.f64 2)))) 3)))
	51.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 angle (.f64 1/90 (.f64 PI.f64 (-.f64 (.f64 b b) (.f64 a a))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	40.1b	(.f64 (.f64 (.f64 2 (.f64 b b)) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180))))
	42.9b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	42.1b	(.f64 (.f64 -2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 a a))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
▶	31.6b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (-.f64 (.f64 b b) (.f64 a a))))) (cbrt.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (-.f64 (.f64 b b) (.f64 a a)))))) (cbrt.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (-.f64 (.f64 b b) (.f64 a a)))))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) 3)))
	41.6b	(.f64 (exp.f64 (log.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (-.f64 (.f64 b b) (.f64 a a)))))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) 3)))
	42.2b	(.f64 (.f64 (cbrt.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 3)) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) 3)))
	41.5b	(.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))))

Compiler

Compiled 2424 to 1614 computations (33.4% saved)

localize34.0ms (0.3%)

Local error

Found 4 expressions with local error:

25.7b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
26.3b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
26.3b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
26.3b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite66.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

30.0b

Rules

4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-cube-cbrt_binary64`
4×	`add-cbrt-cube_binary64`
4×	`add-exp-log_binary64`

Counts

4 → 28

Calls

4 calls:

2.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
2.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
2.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
1.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 1963 to 1017 computations (48.2% saved)

series65.0ms (0.5%)

Error

29.1b

Counts

4 → 16

Calls

4 calls:

11.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
11.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
11.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
10.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2601 to 1503 computations (42.2% saved)

simplify85.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

747×	`unswap-sqr_binary64`
568×	`distribute-rgt-neg-in_binary64`
553×	`distribute-lft-neg-in_binary64`
338×	`*-commutative_binary64`
295×	`cancel-sign-sub-inv_binary64`

Counts

44 → 5

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	41	674
1	88	590
2	207	590
3	853	590
4	1765	590
5	3974	590
6	4938	590
7	5082	590

prune35.0ms (0.3%)

Pruning

24 alts after pruning (22 fresh and 2 done)

	Pruned	Kept	Total
New	5	0	5
Fresh	0	22	22
Picked	0	1	1
Done	0	1	1
Total	5	24	29

Error

30.0b

Counts

29 → 24

Alt Table

Status	Error	Program
	41.7b	(.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))))
	50.5b	(.f64 (.f64 (.f64 2 (/.f64 (-.f64 (pow.f64 b 4) (pow.f64 a 4)) (+.f64 (.f64 a a) (.f64 b b)))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	31.7b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (cbrt.f64 (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (cbrt.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))))
	41.5b	(.f64 (exp.f64 (log.f64 (.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	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))))
	45.4b	(.f64 (.f64 (.f64 2 (cbrt.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 a a)) 3))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	34.1b	(.f64 (.f64 angle (.f64 1/90 (.f64 PI.f64 (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	31.3b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) 3)))
	31.6b	(.f64 (.f64 (.f64 2 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	47.4b	(.f64 (.f64 (.f64 (sqrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) (sqrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	40.8b	(.f64 (.f64 (sqrt.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (-.f64 (.f64 b b) (.f64 a a))))) (sqrt.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (-.f64 (.f64 b b) (.f64 a a)))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	42.1b	(.f64 (.f64 -2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 a a))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	42.9b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	31.7b	(.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	37.4b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) (cbrt.f64 (pow.f64 (-.f64 1 (.f64 1/64800 (.f64 (.f64 angle angle) (pow.f64 PI.f64 2)))) 3)))
	51.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 angle (.f64 1/90 (.f64 PI.f64 (-.f64 (.f64 b b) (.f64 a a))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	40.1b	(.f64 (.f64 (.f64 2 (.f64 b b)) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180))))
	42.9b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	42.1b	(.f64 (.f64 -2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 a a))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	31.6b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (-.f64 (.f64 b b) (.f64 a a))))) (cbrt.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (-.f64 (.f64 b b) (.f64 a a)))))) (cbrt.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (-.f64 (.f64 b b) (.f64 a a)))))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) 3)))
	41.6b	(.f64 (exp.f64 (log.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (-.f64 (.f64 b b) (.f64 a a)))))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) 3)))
	42.2b	(.f64 (.f64 (cbrt.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 3)) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) 3)))
	41.5b	(.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))))

Compiler

Compiled 1146 to 757 computations (33.9% saved)

regimes3.2s (26.1%)

Accuracy

Total 1.3b remaining (4.1%)

Threshold costs 0b (0%)

Compiler

Compiled 81844 to 61294 computations (25.1% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	42
1	30	42
2	37	42
3	41	42
4	43	42
5	43	42

end1.0ms (0%)

Compiler: Compiled 29 to 21 computations (27.6% saved)

sample5.3s (42.9%)

Algorithm

1×

intervals

Results

1.0s	1514×	body	1024	valid
828.0ms	1220×	body	1024	invalid
797.0ms	5104×	body	128	valid
362.0ms	772×	body	512	valid
322.0ms	76×	body	4096	valid
280.0ms	604×	body	512	invalid
203.0ms	1268×	body	128	invalid
187.0ms	164×	body	2048	valid
124.0ms	370×	body	256	valid
107.0ms	315×	body	256	invalid

Compiler

Compiled 870 to 624 computations (28.3% saved)

Details

analyze1.7s (13.7%)

sample147.0ms (1.2%)

simplify59.0ms (0.5%)

prune3.0ms (0%)

localize14.0ms (0.1%)

rewrite199.0ms (1.6%)

series153.0ms (1.2%)

simplify156.0ms (1.3%)

prune75.0ms (0.6%)

localize17.0ms (0.1%)

rewrite172.0ms (1.4%)

series210.0ms (1.7%)

simplify108.0ms (0.9%)

prune86.0ms (0.7%)

localize21.0ms (0.2%)

rewrite103.0ms (0.8%)

series144.0ms (1.2%)

simplify88.0ms (0.7%)

prune74.0ms (0.6%)

localize34.0ms (0.3%)

rewrite66.0ms (0.5%)

series65.0ms (0.5%)

simplify85.0ms (0.7%)

prune35.0ms (0.3%)

regimes3.2s (26.1%)

simplify4.0ms (0%)

end1.0ms (0%)

sample5.3s (42.9%)

Profiling