Details

analyze1.6s (17.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
6.2%	93.6%	0.1%	7
9.4%	90.5%	0.1%	8
14%	85.8%	0.1%	9
19.5%	80.4%	0.1%	10
20.7%	79.2%	0.1%	11
22%	77.8%	0.1%	12
23.5%	76.4%	0.1%	13
23.8%	76%	0.1%	14

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample95.0ms (1%)

Algorithm

1×

intervals

Results

55.0ms	113×	body	1024	valid
12.0ms	43×	body	512	valid
7.0ms	6×	body	2048	valid
6.0ms	72×	body	128	valid
4.0ms	22×	body	256	valid

Compiler

Compiled 28 to 20 computations (28.6% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

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

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

12.6b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 36 to 24 computations (33.3% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.1b	(*.f64 r (sin.f64 b))
0.2b	(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
2.7b	(cos.f64 (+.f64 a b))

rewrite48.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

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

Counts

3 → 47

Calls

3 calls:

4.0ms	(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
4.0ms	(cos.f64 (+.f64 a b))
3.0ms	(*.f64 r (sin.f64 b))

Compiler

Compiled 706 to 152 computations (78.5% saved)

series187.0ms (2%)

Error

11.3b

Counts

3 → 32

Calls

3 calls:

148.0ms	(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
12.0ms	(*.f64 r (sin.f64 b))
11.0ms	(cos.f64 (+.f64 a b))

Compiler

Compiled 1313 to 789 computations (39.9% saved)

simplify88.0ms (1%)

Algorithm

1×	egg-herbie

Rules

356×	`associate-/r*_binary64`
333×	`associate-*l/_binary64`
284×	`*-commutative_binary64`
275×	`associate-/l/_binary64`
258×	`cancel-sign-sub-inv_binary64`

Counts

79 → 59

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	151	1281
1	381	1147
2	1379	1126
3	3687	1094
4	4713	1094
5	4940	1094

prune46.0ms (0.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	50	9	59
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	51	9	60

Error

0.1b

Counts

60 → 9

Alt Table

Status	Error	Program
	34.4b	(.f64 (sqrt.f64 (/.f64 (.f64 (sin.f64 b) r) (cos.f64 (+.f64 b a)))) (sqrt.f64 (/.f64 (*.f64 (sin.f64 b) r) (cos.f64 (+.f64 b a)))))
	12.9b	(/.f64 (*.f64 r (sin.f64 b)) (log.f64 (exp.f64 (cos.f64 (+.f64 b a)))))
	37.5b	(/.f64 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 b) r) 3)) (cos.f64 (+.f64 a b)))
▶	0.3b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 b) (cos.f64 a)) (*.f64 (sin.f64 b) (sin.f64 a))))
	12.7b	(/.f64 r (/.f64 (cos.f64 (+.f64 b a)) (sin.f64 b)))
	33.6b	(.f64 (/.f64 r (cos.f64 a)) (+.f64 b (/.f64 (.f64 b (*.f64 b (sin.f64 a))) (cos.f64 a))))
	29.8b	(/.f64 (.f64 r (sin.f64 b)) (.f64 (sqrt.f64 (cos.f64 (+.f64 b a))) (sqrt.f64 (cos.f64 (+.f64 b a)))))
	12.6b	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a))))
	13.1b	(.f64 (/.f64 r (.f64 (cbrt.f64 (cos.f64 (+.f64 b a))) (cbrt.f64 (cos.f64 (+.f64 b a))))) (/.f64 (sin.f64 b) (cbrt.f64 (cos.f64 (+.f64 b a)))))

Compiler

Compiled 1012 to 390 computations (61.5% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite113.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

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

Counts

4 → 76

Calls

4 calls:

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

Compiler

Compiled 1877 to 293 computations (84.4% saved)

series165.0ms (1.8%)

Error

0.1b

Counts

4 → 40

Calls

4 calls:

95.0ms	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 b) (cos.f64 a)) (*.f64 (sin.f64 b) (sin.f64 a))))
21.0ms	(-.f64 (.f64 (cos.f64 b) (cos.f64 a)) (.f64 (sin.f64 b) (sin.f64 a)))
15.0ms	(*.f64 (sin.f64 b) (sin.f64 a))
14.0ms	(*.f64 r (sin.f64 b))

Compiler

Compiled 2079 to 1169 computations (43.8% saved)

simplify105.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

486×	`associate-/r*_binary64`
345×	`associate-/l/_binary64`
304×	`associate-/r/_binary64`
240×	`cancel-sign-sub-inv_binary64`
209×	`distribute-rgt-neg-in_binary64`

Counts

116 → 86

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	213	2556
1	557	2320
2	2120	2118
3	4597	2118
4	5036	2118

prune90.0ms (1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	75	11	86
Fresh	6	2	8
Picked	1	0	1
Done	0	0	0
Total	82	13	95

Error

0.0b

Counts

95 → 13

Alt Table

Status	Error	Program
	0.5b	(.f64 (/.f64 (.f64 (sin.f64 b) r) (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (.f64 (sin.f64 a) (sin.f64 b)) 3))) (+.f64 (.f64 (.f64 (cos.f64 b) (cos.f64 a)) (.f64 (cos.f64 b) (cos.f64 a))) (+.f64 (.f64 (.f64 (sin.f64 b) (sin.f64 a)) (.f64 (sin.f64 b) (sin.f64 a))) (.f64 (.f64 (cos.f64 b) (cos.f64 a)) (*.f64 (sin.f64 b) (sin.f64 a))))))
	34.4b	(.f64 (sqrt.f64 (/.f64 (.f64 (sin.f64 b) r) (cos.f64 (+.f64 b a)))) (sqrt.f64 (/.f64 (*.f64 (sin.f64 b) r) (cos.f64 (+.f64 b a)))))
▶	0.3b	(/.f64 (.f64 r (sin.f64 b)) (/.f64 (-.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2))) (+.f64 (.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (cos.f64 a) (cos.f64 b)))))
	29.5b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 b) (cos.f64 a)) (exp.f64 (log.f64 (*.f64 (sin.f64 a) (sin.f64 b))))))
	0.6b	(/.f64 (.f64 r (sin.f64 b)) (log.f64 (exp.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
	0.4b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
	0.4b	(.f64 r (/.f64 1 (-.f64 (/.f64 (.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (sin.f64 a))))
	1.3b	(/.f64 (.f64 (.f64 (cbrt.f64 r) (cbrt.f64 r)) (.f64 (sin.f64 b) (cbrt.f64 r))) (-.f64 (.f64 (cos.f64 b) (cos.f64 a)) (*.f64 (sin.f64 b) (sin.f64 a))))
	0.4b	(/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (sin.f64 a)))
	0.4b	(/.f64 (.f64 r (sin.f64 b)) (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (.f64 (sin.f64 a) (sin.f64 b)) 3)) (+.f64 (.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2)) (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (+.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (cos.f64 a) (cos.f64 b)))))))
	12.6b	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a))))
	0.4b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 b) (cos.f64 a)) (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 a) (sin.f64 b))) (cbrt.f64 (.f64 (sin.f64 a) (sin.f64 b)))) (cbrt.f64 (*.f64 (sin.f64 a) (sin.f64 b))))))
	0.4b	(.f64 (/.f64 (.f64 (sin.f64 b) r) (-.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2)))) (+.f64 (.f64 (cos.f64 b) (cos.f64 a)) (.f64 (sin.f64 b) (sin.f64 a))))

Compiler

Compiled 2304 to 776 computations (66.3% saved)

localize26.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.2b	(pow.f64 (cos.f64 a) 2)
0.2b	(pow.f64 (sin.f64 b) 2)
0.3b	(pow.f64 (cos.f64 b) 2)
0.4b	(/.f64 (-.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2))) (+.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))))

rewrite277.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

18×	`*-un-lft-identity_binary64`
18×	`add-sqr-sqrt_binary64`
18×	`add-cube-cbrt_binary64`
9×	`pow-unpow_binary64`
9×	`unpow-prod-down_binary64`

Counts

4 → 87

Calls

4 calls:

11.0ms	(/.f64 (-.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2))) (+.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))))
2.0ms	(pow.f64 (sin.f64 b) 2)
2.0ms	(pow.f64 (cos.f64 b) 2)
2.0ms	(pow.f64 (cos.f64 a) 2)

Compiler

Compiled 4137 to 1683 computations (59.3% saved)

series112.0ms (1.2%)

Error

0.0b

Counts

4 → 23

Calls

4 calls:

62.0ms	(/.f64 (-.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2))) (+.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))))
11.0ms	(pow.f64 (cos.f64 a) 2)
10.0ms	(pow.f64 (cos.f64 b) 2)
8.0ms	(pow.f64 (sin.f64 b) 2)

Compiler

Compiled 1858 to 1065 computations (42.7% saved)

simplify88.0ms (1%)

Algorithm

1×	egg-herbie

Rules

648×	`associate-/l*_binary64`
413×	`times-frac_binary64`
232×	`unswap-sqr_binary64`
198×	`distribute-rgt-in_binary64`
184×	`distribute-lft-in_binary64`

Counts

110 → 76

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	186	3335
1	465	3069
2	1595	3049
3	5348	3049

prune121.0ms (1.3%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	73	3	76
Fresh	3	9	12
Picked	1	0	1
Done	0	0	0
Total	77	12	89

Error

0.0b

Counts

89 → 12

Alt Table

Status	Error	Program
	1.0b	(/.f64 (.f64 r (sin.f64 b)) (/.f64 (-.f64 (.f64 (pow.f64 (cos.f64 a) 2) (.f64 (pow.f64 (cbrt.f64 (cos.f64 b)) 4) (pow.f64 (cbrt.f64 (cos.f64 b)) 2))) (.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2))) (+.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (cos.f64 a) (cos.f64 b)))))
	0.4b	(/.f64 (.f64 r (sin.f64 b)) (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (.f64 (sin.f64 a) (sin.f64 b)) 3)) (+.f64 (.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2)) (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (+.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (cos.f64 a) (cos.f64 b)))))))
	0.7b	(/.f64 (.f64 r (sin.f64 b)) (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) 3) (pow.f64 (.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2)) 3)) (.f64 (+.f64 (.f64 (cos.f64 b) (cos.f64 a)) (.f64 (sin.f64 b) (sin.f64 a))) (+.f64 (pow.f64 (.f64 (cos.f64 b) (cos.f64 a)) 4) (+.f64 (pow.f64 (.f64 (sin.f64 b) (sin.f64 a)) 4) (.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (*.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2))))))))
	12.6b	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a))))
	0.5b	(.f64 (/.f64 (.f64 (sin.f64 b) r) (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (.f64 (sin.f64 a) (sin.f64 b)) 3))) (+.f64 (.f64 (.f64 (cos.f64 b) (cos.f64 a)) (.f64 (cos.f64 b) (cos.f64 a))) (+.f64 (.f64 (.f64 (sin.f64 b) (sin.f64 a)) (.f64 (sin.f64 b) (sin.f64 a))) (.f64 (.f64 (cos.f64 b) (cos.f64 a)) (*.f64 (sin.f64 b) (sin.f64 a))))))
	0.6b	(/.f64 (.f64 r (sin.f64 b)) (log.f64 (exp.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
	0.4b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
	29.5b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 b) (cos.f64 a)) (exp.f64 (log.f64 (*.f64 (sin.f64 a) (sin.f64 b))))))
	1.3b	(/.f64 (.f64 (.f64 (cbrt.f64 r) (cbrt.f64 r)) (.f64 (sin.f64 b) (cbrt.f64 r))) (-.f64 (.f64 (cos.f64 b) (cos.f64 a)) (*.f64 (sin.f64 b) (sin.f64 a))))
▶	0.4b	(/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (sin.f64 a)))
	0.4b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 b) (cos.f64 a)) (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 a) (sin.f64 b))) (cbrt.f64 (.f64 (sin.f64 a) (sin.f64 b)))) (cbrt.f64 (*.f64 (sin.f64 a) (sin.f64 b))))))
	0.4b	(/.f64 (.f64 r (sin.f64 b)) (/.f64 1 (/.f64 (+.f64 (.f64 (cos.f64 b) (cos.f64 a)) (.f64 (sin.f64 b) (sin.f64 a))) (-.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (*.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2))))))

Compiler

Compiled 3469 to 1517 computations (56.3% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite126.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

31×	`add-sqr-sqrt_binary64`
29×	`*-un-lft-identity_binary64`
19×	`add-cube-cbrt_binary64`
18×	`times-frac_binary64`
13×	`add-cbrt-cube_binary64`

Counts

4 → 94

Calls

4 calls:

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

Compiler

Compiled 2037 to 382 computations (81.2% saved)

series194.0ms (2.1%)

Error

0.0b

Counts

4 → 43

Calls

4 calls:

103.0ms	(/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (sin.f64 a)))
25.0ms	(-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (sin.f64 a))
23.0ms	(/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b))
16.0ms	(*.f64 (cos.f64 a) (cos.f64 b))

Compiler

Compiled 1882 to 1153 computations (38.7% saved)

simplify140.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

502×	`associate-/r*_binary64`
403×	`associate-*l/_binary64`
394×	`associate-/l/_binary64`
299×	`associate-/r/_binary64`
179×	`cancel-sign-sub-inv_binary64`

Counts

137 → 111

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	241	3174
1	575	3007
2	1878	2951
3	4616	2951
4	4986	2951
5	4977	2951

prune105.0ms (1.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	109	2	111
Fresh	3	8	11
Picked	0	1	1
Done	0	0	0
Total	112	11	123

Error

0.0b

Counts

123 → 11

Alt Table

Status	Error	Program
	1.3b	(/.f64 (.f64 (.f64 (cbrt.f64 r) (cbrt.f64 r)) (.f64 (sin.f64 b) (cbrt.f64 r))) (-.f64 (.f64 (cos.f64 b) (cos.f64 a)) (*.f64 (sin.f64 b) (sin.f64 a))))
	10.7b	(.f64 (/.f64 r (-.f64 (.f64 (/.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (sin.f64 b) 2)) (pow.f64 (cos.f64 b) 2)) (pow.f64 (sin.f64 a) 2))) (+.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (sin.f64 a)))
	0.7b	(/.f64 (.f64 r (sin.f64 b)) (/.f64 (-.f64 (pow.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) 3) (pow.f64 (.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2)) 3)) (.f64 (+.f64 (.f64 (cos.f64 b) (cos.f64 a)) (.f64 (sin.f64 b) (sin.f64 a))) (+.f64 (pow.f64 (.f64 (cos.f64 b) (cos.f64 a)) 4) (+.f64 (pow.f64 (.f64 (sin.f64 b) (sin.f64 a)) 4) (.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (*.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2))))))))
	12.6b	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a))))
	0.5b	(.f64 (/.f64 (.f64 (sin.f64 b) r) (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (.f64 (sin.f64 a) (sin.f64 b)) 3))) (+.f64 (.f64 (.f64 (cos.f64 b) (cos.f64 a)) (.f64 (cos.f64 b) (cos.f64 a))) (+.f64 (.f64 (.f64 (sin.f64 b) (sin.f64 a)) (.f64 (sin.f64 b) (sin.f64 a))) (.f64 (.f64 (cos.f64 b) (cos.f64 a)) (*.f64 (sin.f64 b) (sin.f64 a))))))
	0.6b	(/.f64 (.f64 r (sin.f64 b)) (log.f64 (exp.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
	0.4b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))))
	12.5b	(/.f64 r (-.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (cos.f64 b) (sin.f64 b)) (cos.f64 a)) 3)) (sin.f64 a)))
	0.4b	(/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (sin.f64 a)))
	0.4b	(/.f64 (.f64 r (sin.f64 b)) (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (.f64 (sin.f64 a) (sin.f64 b)) 3)) (+.f64 (.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2)) (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (+.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (cos.f64 a) (cos.f64 b)))))))
	0.4b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 b) (cos.f64 a)) (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 a) (sin.f64 b))) (cbrt.f64 (.f64 (sin.f64 a) (sin.f64 b)))) (cbrt.f64 (*.f64 (sin.f64 a) (sin.f64 b))))))

Compiler

Compiled 2145 to 626 computations (70.8% saved)

regimes2.3s (24.8%)

Accuracy

Total 0.3b remaining (87.1%)

Threshold costs 0.3b (87.1%)

Compiler

Compiled 33190 to 18456 computations (44.4% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	26
1	27	26
2	35	26
3	40	26
4	42	26
5	42	26

end1.0ms (0%)

Compiler: Compiled 19 to 12 computations (36.8% saved)

sample3.2s (34.3%)

Algorithm

1×

intervals

Results

1.7s	3488×	body	1024	valid
369.0ms	1387×	body	512	valid
221.0ms	2368×	body	128	valid
206.0ms	182×	body	2048	valid
105.0ms	575×	body	256	valid

Compiler

Compiled 409 to 233 computations (43% saved)

Details

analyze1.6s (17.3%)

sample95.0ms (1%)

simplify9.0ms (0.1%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite48.0ms (0.5%)

series187.0ms (2%)

simplify88.0ms (1%)

prune46.0ms (0.5%)

localize15.0ms (0.2%)

rewrite113.0ms (1.2%)

series165.0ms (1.8%)

simplify105.0ms (1.1%)

prune90.0ms (1%)

localize26.0ms (0.3%)

rewrite277.0ms (3%)

series112.0ms (1.2%)

simplify88.0ms (1%)

prune121.0ms (1.3%)

localize12.0ms (0.1%)

rewrite126.0ms (1.4%)

series194.0ms (2.1%)

simplify140.0ms (1.5%)

prune105.0ms (1.1%)

regimes2.3s (24.8%)

simplify4.0ms (0%)

end1.0ms (0%)

sample3.2s (34.3%)

Profiling