Details

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

sample90.0ms (0.9%)

Algorithm

1×

intervals

Results

47.0ms	99×	body	1024	valid
12.0ms	50×	body	512	valid
11.0ms	10×	body	2048	valid
7.0ms	81×	body	128	valid
3.0ms	16×	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

14.3b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 36 to 24 computations (33.3% saved)

localize7.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)))
3.9b	(cos.f64 (+.f64 a b))

rewrite49.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

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:

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

Compiler

Compiled 706 to 152 computations (78.5% saved)

series92.0ms (0.9%)

Error

12.8b

Counts

3 → 34

Calls

3 calls:

48.0ms	(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
14.0ms	(*.f64 r (sin.f64 b))
13.0ms	(cos.f64 (+.f64 a b))

Compiler

Compiled 1428 to 850 computations (40.5% saved)

simplify97.0ms (1%)

Algorithm

1×	egg-herbie

Rules

436×	`associate-/r*_binary64`
361×	`associate-*l/_binary64`
347×	`*-commutative_binary64`
289×	`associate-/l/_binary64`
279×	`associate-*r/_binary64`

Counts

81 → 60

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	171	1453
1	442	1319
2	1644	1294
3	4555	1294
4	4791	1294
5	5011	1294

prune47.0ms (0.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	52	8	60
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	53	8	61

Error

0.2b

Counts

61 → 8

Alt Table

Status	Error	Program
▶	0.3b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 b) (cos.f64 a)) (*.f64 (sin.f64 b) (sin.f64 a))))
	14.4b	(/.f64 r (/.f64 (cos.f64 (+.f64 b a)) (sin.f64 b)))
	14.7b	(/.f64 1 (/.f64 (cos.f64 (+.f64 b a)) (*.f64 (sin.f64 b) r)))
	14.3b	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a))))
	29.8b	(*.f64 (/.f64 r (sqrt.f64 (cos.f64 (+.f64 b a)))) (/.f64 (sin.f64 b) (sqrt.f64 (cos.f64 (+.f64 b a)))))
	14.7b	(.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)))))
	15.0b	(/.f64 (.f64 (.f64 (cbrt.f64 r) (cbrt.f64 r)) (*.f64 (sin.f64 b) (cbrt.f64 r))) (cos.f64 (+.f64 a b)))
	14.5b	(/.f64 (*.f64 r (sin.f64 b)) (log.f64 (exp.f64 (cos.f64 (+.f64 b a)))))

Compiler

Compiled 1074 to 415 computations (61.4% saved)

localize119.0ms (1.2%)

Local error

Found 4 expressions with local error:

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

rewrite111.0ms (1.1%)

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))))
5.0ms	(-.f64 (.f64 (cos.f64 b) (cos.f64 a)) (.f64 (sin.f64 b) (sin.f64 a)))
3.0ms	(*.f64 (sin.f64 b) (sin.f64 a))
3.0ms	(*.f64 r (sin.f64 b))

Compiler

Compiled 1877 to 293 computations (84.4% saved)

series164.0ms (1.6%)

Error

0.2b

Counts

4 → 44

Calls

4 calls:

81.0ms	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 b) (cos.f64 a)) (*.f64 (sin.f64 b) (sin.f64 a))))
24.0ms	(-.f64 (.f64 (cos.f64 b) (cos.f64 a)) (.f64 (sin.f64 b) (sin.f64 a)))
19.0ms	(*.f64 (sin.f64 b) (sin.f64 a))
16.0ms	(*.f64 r (sin.f64 b))

Compiler

Compiled 2314 to 1293 computations (44.1% saved)

simplify146.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

359×	`associate-/l/_binary64`
334×	`associate-/r/_binary64`
327×	`cancel-sign-sub-inv_binary64`
244×	`associate-r_binary64`
225×	`distribute-rgt-neg-in_binary64`

Counts

120 → 81

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	239	2810
1	639	2574
2	2456	2353
3	4571	2353
4	4972	2353

prune76.0ms (0.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	72	9	81
Fresh	7	0	7
Picked	1	0	1
Done	0	0	0
Total	80	9	89

Error

0.0b

Counts

89 → 9

Alt Table

Status	Error	Program
	1.2b	(/.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 (/.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))))
	0.5b	(/.f64 (.f64 r (sin.f64 b)) (log.f64 (exp.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))))
	0.4b	(.f64 (/.f64 (.f64 (sin.f64 b) r) (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (.f64 (sin.f64 b) (sin.f64 a)) 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.4b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 b) (cos.f64 a)) (.f64 (.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (sin.f64 b))) (*.f64 (sin.f64 a) (cbrt.f64 (sin.f64 b))))))
▶	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 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
	22.5b	(.f64 (/.f64 r (sqrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))) (/.f64 (sin.f64 b) (sqrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))))
	0.9b	(.f64 (/.f64 r (.f64 (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))) (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))))) (/.f64 (sin.f64 b) (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.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)))

Compiler

Compiled 2208 to 724 computations (67.2% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(/.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 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
0.3b	(pow.f64 (sin.f64 a) 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 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))

rewrite283.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

43×	`times-frac_binary64`
30×	`*-un-lft-identity_binary64`
30×	`add-sqr-sqrt_binary64`
30×	`add-cube-cbrt_binary64`
20×	`add-exp-log_binary64`

Counts

4 → 121

Calls

4 calls:

13.0ms	(/.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 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
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 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))
2.0ms	(pow.f64 (sin.f64 a) 2)
2.0ms	(pow.f64 (cos.f64 b) 2)

Compiler

Compiled 6860 to 2717 computations (60.4% saved)

series340.0ms (3.3%)

Error

0.0b

Counts

4 → 34

Calls

4 calls:

181.0ms	(/.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 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
100.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 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))
11.0ms	(pow.f64 (sin.f64 a) 2)
9.0ms	(pow.f64 (cos.f64 b) 2)

Compiler

Compiled 2857 to 1623 computations (43.2% saved)

simplify206.0ms (2%)

Algorithm

1×	egg-herbie

Rules

264×	`associate-/l*_binary64`
257×	`associate-r_binary64`
251×	`associate-l_binary64`
233×	`unswap-sqr_binary64`
225×	`cancel-sign-sub-inv_binary64`

Counts

155 → 126

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	328	8332
1	865	7453
2	3511	6630
3	4878	6630
4	5014	6630

prune235.0ms (2.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	123	3	126
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	126	9	135

Error

Counts

135 → 9

Alt Table

Status	Error	Program
	0.9b	(/.f64 (.f64 r (sin.f64 b)) (.f64 (.f64 (cbrt.f64 (-.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)))) (cbrt.f64 (-.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2))))) (/.f64 (cbrt.f64 (-.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2)))) (+.f64 (.f64 (cos.f64 b) (cos.f64 a)) (*.f64 (sin.f64 b) (sin.f64 a))))))
	0.9b	(.f64 (/.f64 r (.f64 (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))) (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))))) (/.f64 (sin.f64 b) (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))))
	0.5b	(/.f64 (.f64 r (sin.f64 b)) (log.f64 (exp.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))))
	0.4b	(.f64 (/.f64 (.f64 (sin.f64 b) r) (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (.f64 (sin.f64 b) (sin.f64 a)) 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.4b	(.f64 (/.f64 r (-.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2)))) (.f64 (sin.f64 b) (+.f64 (.f64 (cos.f64 b) (cos.f64 a)) (.f64 (sin.f64 b) (sin.f64 a)))))
	22.5b	(.f64 (/.f64 r (sqrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))) (/.f64 (sin.f64 b) (sqrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.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)))
	1.2b	(/.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.5b	(/.f64 (.f64 r (sin.f64 b)) (.f64 (/.f64 (-.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2))) (+.f64 (pow.f64 (.f64 (cos.f64 b) (cos.f64 a)) 3) (pow.f64 (.f64 (sin.f64 b) (sin.f64 a)) 3))) (+.f64 (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))) (-.f64 (.f64 (.f64 (sin.f64 b) (sin.f64 a)) (.f64 (sin.f64 b) (sin.f64 a))) (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))))

Compiler

Compiled 5658 to 2275 computations (59.8% 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))

rewrite753.0ms (7.4%)

Algorithm

1×	rewrite-expression-head

Error

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:

8.0ms	(/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (sin.f64 a)))
6.0ms	(-.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))
4.0ms	(*.f64 (cos.f64 a) (cos.f64 b))

Compiler

Compiled 2037 to 382 computations (81.2% saved)

series199.0ms (2%)

Error

Counts

4 → 50

Calls

4 calls:

81.0ms	(/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (sin.f64 a)))
29.0ms	(/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b))
28.0ms	(-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (sin.f64 a))
20.0ms	(*.f64 (cos.f64 a) (cos.f64 b))

Compiler

Compiled 2262 to 1363 computations (39.7% saved)

simplify111.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

600×	`associate-/r*_binary64`
410×	`associate-/l/_binary64`
336×	`associate-/r/_binary64`
304×	`cancel-sign-sub-inv_binary64`
157×	`associate-r_binary64`

Counts

144 → 118

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	285	3578
1	709	3399
2	2380	3330
3	5077	3330

prune111.0ms (1.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	117	1	118
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	118	9	127

Error

Counts

127 → 9

Alt Table

Status	Error	Program
	0.5b	(/.f64 (.f64 r (sin.f64 b)) (log.f64 (exp.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))))
	0.4b	(.f64 (/.f64 (.f64 (sin.f64 b) r) (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (.f64 (sin.f64 b) (sin.f64 a)) 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.5b	(/.f64 r (-.f64 (/.f64 (cbrt.f64 (pow.f64 (*.f64 (cos.f64 b) (cos.f64 a)) 3)) (sin.f64 b)) (sin.f64 a)))
	0.5b	(/.f64 (.f64 r (sin.f64 b)) (.f64 (/.f64 (-.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2))) (+.f64 (pow.f64 (.f64 (cos.f64 b) (cos.f64 a)) 3) (pow.f64 (.f64 (sin.f64 b) (sin.f64 a)) 3))) (+.f64 (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))) (-.f64 (.f64 (.f64 (sin.f64 b) (sin.f64 a)) (.f64 (sin.f64 b) (sin.f64 a))) (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))))
	0.4b	(.f64 (/.f64 r (-.f64 (.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2)))) (.f64 (sin.f64 b) (+.f64 (.f64 (cos.f64 b) (cos.f64 a)) (.f64 (sin.f64 b) (sin.f64 a)))))
	22.5b	(.f64 (/.f64 r (sqrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))) (/.f64 (sin.f64 b) (sqrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))))
	0.9b	(.f64 (/.f64 r (.f64 (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))) (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))))) (/.f64 (sin.f64 b) (cbrt.f64 (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.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)))
	1.2b	(/.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))))

Compiler

Compiled 2385 to 703 computations (70.5% saved)

regimes2.3s (22.1%)

Accuracy

Total 0.3b remaining (85.6%)

Threshold costs 0.3b (85.6%)

Compiler

Compiled 42692 to 23166 computations (45.7% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	26
1	21	26
2	31	26
3	37	26
4	41	26
5	42	26
6	42	26

end1.0ms (0%)

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

sample3.1s (30.5%)

Algorithm

1×

intervals

Results

1.7s	3455×	body	1024	valid
369.0ms	1392×	body	512	valid
227.0ms	200×	body	2048	valid
210.0ms	2369×	body	128	valid
102.0ms	584×	body	256	valid
0.0ms	1×	body	1024	invalid

Compiler

Compiled 373 to 189 computations (49.3% saved)

Details

analyze1.5s (15.2%)

sample90.0ms (0.9%)

simplify9.0ms (0.1%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite49.0ms (0.5%)

series92.0ms (0.9%)

simplify97.0ms (1%)

prune47.0ms (0.5%)

localize119.0ms (1.2%)

rewrite111.0ms (1.1%)

series164.0ms (1.6%)

simplify146.0ms (1.4%)

prune76.0ms (0.7%)

localize24.0ms (0.2%)

rewrite283.0ms (2.8%)

series340.0ms (3.3%)

simplify206.0ms (2%)

prune235.0ms (2.3%)

localize12.0ms (0.1%)

rewrite753.0ms (7.4%)

series199.0ms (2%)

simplify111.0ms (1.1%)

prune111.0ms (1.1%)

regimes2.3s (22.1%)

simplify4.0ms (0%)

end1.0ms (0%)

sample3.1s (30.5%)

Profiling