Details

analyze1.4s (11.2%)

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)

sample112.0ms (0.9%)

Algorithm

1×

intervals

Results

22.0ms	35×	body	1024	valid
21.0ms	174×	body	128	valid
18.0ms	36×	body	1024	invalid
9.0ms	24×	body	512	valid
7.0ms	20×	body	512	invalid
5.0ms	6×	body	2048	valid
5.0ms	1×	body	4096	valid
4.0ms	16×	body	256	valid
4.0ms	33×	body	128	invalid
1.0ms	6×	body	256	invalid

Compiler

Compiled 56 to 46 computations (17.9% saved)

simplify57.0ms (0.4%)

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

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

29.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	29.0b	(.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:

1.5b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
8.9b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 PI.f64 (/.f64 angle 180))))
21.7b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
21.8b	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite210.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

28.4b

Rules

23×	`add-sqr-sqrt_binary64`
16×	`difference-of-squares_binary64`
13×	`unpow-prod-down_binary64`
11×	`*-un-lft-identity_binary64`
9×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `unpow2_binary64` `sqr-pow_binary64`

Counts

4 → 71

Calls

4 calls:

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

series174.0ms (1.3%)

Error

26.7b

Counts

4 → 36

Calls

4 calls:

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

Compiler

Compiled 2064 to 1622 computations (21.4% saved)

simplify134.0ms (1%)

Algorithm

1×	egg-herbie

Rules

510×	`*-commutative_binary64`
471×	`cancel-sign-sub-inv_binary64`
271×	`exp-prod_binary64`
224×	`distribute-rgt-in_binary64`
220×	`distribute-lft-in_binary64`

Counts

107 → 83

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	193	2322
1	439	1695
2	1303	1667
3	3048	1667
4	4638	1667
5	4794	1667
6	4946	1667

prune94.0ms (0.7%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	65	18	83
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	66	18	84

Error

27.3b

Counts

84 → 18

Alt Table

Status	Error	Program
	46.1b	(.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))))
	52.2b	(.f64 (.f64 (.f64 2 (log.f64 (exp.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	39.5b	(.f64 (.f64 -2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 a a))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	54.1b	(.f64 (.f64 (.f64 2 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 a 6)) (+.f64 (pow.f64 b 4) (+.f64 (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))))
	33.5b	(.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)))))
	29.3b	(.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))))
	29.4b	(.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))))
	44.7b	(.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))))
	41.8b	(.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))))
	33.5b	(.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))))
	29.3b	(.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))))
▶	29.0b	(.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)))
	42.4b	(.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))))
	31.5b	(.f64 (.f64 angle (.f64 1/90 (.f64 PI.f64 (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	41.0b	(.f64 (.f64 (.f64 2 (.f64 b b)) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180))))
	40.9b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 b b))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	51.9b	(.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))))
	39.6b	(.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))))

Compiler

Compiled 2169 to 1432 computations (34% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.5b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
8.9b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 PI.f64 (/.f64 angle 180))))
21.7b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
21.8b	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite194.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

27.3b

Rules

23×	`add-sqr-sqrt_binary64`
16×	`difference-of-squares_binary64`
13×	`unpow-prod-down_binary64`
11×	`*-un-lft-identity_binary64`
9×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `unpow2_binary64` `sqr-pow_binary64`

Counts

4 → 71

Calls

4 calls:

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

series185.0ms (1.4%)

Error

26.6b

Counts

4 → 36

Calls

4 calls:

98.0ms	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 PI.f64 (/.f64 angle 180))))
31.0ms	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
13.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
10.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 2280 to 1838 computations (19.4% saved)

simplify136.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

510×	`*-commutative_binary64`
471×	`cancel-sign-sub-inv_binary64`
271×	`exp-prod_binary64`
224×	`distribute-rgt-in_binary64`
220×	`distribute-lft-in_binary64`

Counts

107 → 83

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	193	2322
1	439	1695
2	1303	1667
3	3048	1667
4	4638	1667
5	4794	1667
6	4946	1667

prune121.0ms (0.9%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	71	12	83
Fresh	4	13	17
Picked	1	0	1
Done	0	0	0
Total	76	25	101

Error

27.3b

Counts

101 → 25

Alt Table

Status	Error	Program
	46.1b	(.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))))
	52.2b	(.f64 (.f64 (.f64 2 (log.f64 (exp.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	39.5b	(.f64 (.f64 -2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 a a))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
▶	28.9b	(.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)))
	54.1b	(.f64 (.f64 (.f64 2 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 a 6)) (+.f64 (pow.f64 b 4) (+.f64 (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))))
	33.5b	(.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)))))
	29.3b	(.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))))
	29.3b	(.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)))
	44.7b	(.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))))
	44.7b	(.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)))
	29.3b	(.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)))
	29.0b	(.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 (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)) 3)))
	39.6b	(.f64 (.f64 (.f64 2 (neg.f64 (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) 3)))
	29.3b	(.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))))
	31.5b	(.f64 (.f64 angle (.f64 1/90 (.f64 PI.f64 (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	33.5b	(.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)))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	41.0b	(.f64 (.f64 (.f64 2 (.f64 b b)) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180))))
	40.9b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 b b))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	29.4b	(.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)))
	31.5b	(.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)))
	51.9b	(.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))))
	39.6b	(.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))))
	41.8b	(.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.4b	(.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)))
	40.9b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 b b))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))

Compiler

Compiled 2803 to 1908 computations (31.9% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.5b	(-.f64 (.f64 b b) (.f64 a a))
8.9b	(.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
21.6b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
21.7b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite146.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

27.3b

Rules

9×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
6×	`add-log-exp_binary64`
5×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64` `sub-neg_binary64` `cancel-sign-sub-inv_binary64`
4×	`associate-*r/_binary64`

Counts

4 → 55

Calls

4 calls:

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

Compiler

Compiled 1882 to 1014 computations (46.1% saved)

series188.0ms (1.5%)

Error

26.6b

Counts

4 → 36

Calls

4 calls:

97.0ms	(.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
36.0ms	(-.f64 (.f64 b b) (.f64 a a))
11.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
10.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2280 to 1773 computations (22.2% saved)

simplify92.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

563×	`*-commutative_binary64`
529×	`unswap-sqr_binary64`
379×	`distribute-rgt-in_binary64`
364×	`distribute-lft-in_binary64`
221×	`associate-r_binary64`

Counts

91 → 59

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	155	2047
1	382	1794
2	1287	1778
3	3633	1778
4	5219	1778

prune115.0ms (0.9%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	56	3	59
Fresh	2	22	24
Picked	1	0	1
Done	0	0	0
Total	59	25	84

Error

27.3b

Counts

84 → 25

Alt Table

Status	Error	Program
	46.1b	(.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))))
	52.2b	(.f64 (.f64 (.f64 2 (log.f64 (exp.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	39.5b	(.f64 (.f64 -2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 a a))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	29.2b	(.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)))
	42.3b	(.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)))
	54.1b	(.f64 (.f64 (.f64 2 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 a 6)) (+.f64 (pow.f64 b 4) (+.f64 (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))))
	33.5b	(.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)))))
	29.3b	(.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))))
	29.3b	(.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)))
	41.7b	(.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)))
	44.7b	(.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))))
	44.7b	(.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)))
▶	29.0b	(.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 (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)) 3)))
	39.6b	(.f64 (.f64 (.f64 2 (neg.f64 (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) 3)))
	29.3b	(.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))))
	31.5b	(.f64 (.f64 angle (.f64 1/90 (.f64 PI.f64 (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	33.5b	(.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)))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	41.0b	(.f64 (.f64 (.f64 2 (.f64 b b)) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180))))
	29.4b	(.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)))
	31.5b	(.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)))
	51.9b	(.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))))
	39.6b	(.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))))
	41.8b	(.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.4b	(.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)))
	40.9b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 b b))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))

Compiler

Compiled 2587 to 1724 computations (33.4% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.5b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
8.9b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 PI.f64 (/.f64 angle 180))))
21.7b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
21.8b	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite239.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

27.3b

Rules

23×	`add-sqr-sqrt_binary64`
16×	`difference-of-squares_binary64`
13×	`unpow-prod-down_binary64`
11×	`*-un-lft-identity_binary64`
9×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `unpow2_binary64` `sqr-pow_binary64`

Counts

4 → 71

Calls

4 calls:

15.0ms	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 PI.f64 (/.f64 angle 180))))
9.0ms	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
2.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
2.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 2641 to 2084 computations (21.1% saved)

series201.0ms (1.6%)

Error

26.6b

Counts

4 → 36

Calls

4 calls:

99.0ms	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 PI.f64 (/.f64 angle 180))))
36.0ms	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
14.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
12.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 2496 to 2054 computations (17.7% saved)

simplify142.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

510×	`*-commutative_binary64`
471×	`cancel-sign-sub-inv_binary64`
271×	`exp-prod_binary64`
224×	`distribute-rgt-in_binary64`
220×	`distribute-lft-in_binary64`

Counts

107 → 83

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	193	2322
1	439	1695
2	1303	1667
3	3048	1667
4	4638	1667
5	4794	1667
6	4946	1667

prune115.0ms (0.9%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	79	4	83
Fresh	2	22	24
Picked	1	0	1
Done	0	0	0
Total	82	26	108

Error

27.3b

Counts

108 → 26

Alt Table

Status	Error	Program
	46.1b	(.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))))
	52.2b	(.f64 (.f64 (.f64 2 (log.f64 (exp.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	39.5b	(.f64 (.f64 -2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 a a))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	29.2b	(.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)))
	42.3b	(.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)))
	54.1b	(.f64 (.f64 (.f64 2 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 a 6)) (+.f64 (pow.f64 b 4) (+.f64 (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))))
	33.5b	(.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)))))
	29.0b	(.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 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)) 3)) 3)))
	29.3b	(.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))))
	29.3b	(.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)))
	29.3b	(.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 (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)) 3)))
	41.7b	(.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)))
	44.7b	(.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))))
	44.7b	(.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)))
	42.4b	(.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 (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)) 3)))
	29.3b	(.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))))
	31.5b	(.f64 (.f64 angle (.f64 1/90 (.f64 PI.f64 (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))))
	33.5b	(.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)))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))
	39.6b	(.f64 (.f64 (.f64 2 (neg.f64 (.f64 a a))) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) 3)) 3)))
	41.0b	(.f64 (.f64 (.f64 2 (.f64 b b)) (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cos.f64 (.f64 PI.f64 (/.f64 angle 180))))
	29.4b	(.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)))
	31.5b	(.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)))
	51.9b	(.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))))
	39.6b	(.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))))
	41.8b	(.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)))
	40.9b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 b b))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)))

Compiler

Compiled 2142 to 1464 computations (31.7% saved)

regimes4.1s (31.5%)

Accuracy

Total 1.5b remaining (4.8%)

Threshold costs 0b (0%)

Compiler

Compiled 80301 to 63100 computations (21.4% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`
3×	`sub-neg_binary64` `+-commutative_binary64`
2×	`neg-mul-1_binary64` `neg-sub0_binary64`
1×	`cancel-sign-sub-inv_binary64` `distribute-lft-neg-out_binary64` `distribute-rgt-neg-in_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)

sample4.7s (36.1%)

Algorithm

1×

intervals

Results

785.0ms	1500×	body	1024	valid
670.0ms	1269×	body	1024	invalid
619.0ms	5080×	body	128	valid
288.0ms	78×	body	4096	valid
286.0ms	767×	body	512	valid
246.0ms	648×	body	512	invalid
166.0ms	171×	body	2048	valid
153.0ms	1259×	body	128	invalid
107.0ms	404×	body	256	valid
80.0ms	327×	body	256	invalid

Compiler

Compiled 1002 to 714 computations (28.7% saved)

Details

analyze1.4s (11.2%)

sample112.0ms (0.9%)

simplify57.0ms (0.4%)

prune4.0ms (0%)

localize14.0ms (0.1%)

rewrite210.0ms (1.6%)

series174.0ms (1.3%)

simplify134.0ms (1%)

prune94.0ms (0.7%)

localize17.0ms (0.1%)

rewrite194.0ms (1.5%)

series185.0ms (1.4%)

simplify136.0ms (1.1%)

prune121.0ms (0.9%)

localize20.0ms (0.2%)

rewrite146.0ms (1.1%)

series188.0ms (1.5%)

simplify92.0ms (0.7%)

prune115.0ms (0.9%)

localize23.0ms (0.2%)

rewrite239.0ms (1.9%)

series201.0ms (1.6%)

simplify142.0ms (1.1%)

prune115.0ms (0.9%)

regimes4.1s (31.5%)

simplify4.0ms (0%)

end1.0ms (0%)

sample4.7s (36.1%)

Profiling