Details

analyze1.1s (1.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 10 to 9 computations (10% saved)

sample77.0ms (0.1%)

Algorithm

1×

intervals

Results

41.0ms	124×	body	1024	valid
9.0ms	42×	body	512	valid
5.0ms	69×	body	128	valid
3.0ms	6×	body	2048	valid
2.0ms	15×	body	256	valid

Compiler

Compiled 22 to 26 computations (-18.2% saved)

simplify100.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

4 → 4

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	24	17
1	24	17

prune3.0ms (0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	1	3	4
Fresh	0	4	4
Picked	0	0	0
Done	0	0	0
Total	1	7	8

Error

15.2b

Counts

8 → 4

Compiler

Compiled 12 to 11 computations (8.3% saved)

localize13.0ms (0%)

Local error

Found 6 expressions with local error:

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

rewrite16.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
9×	`add-sqr-sqrt_binary64_441`
7×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
5×	`pow1_binary64_480`
3×	`times-frac_binary64_425` `add-log-exp_binary64_458` `associate-r_binary64_359` `associate-l_binary64_360` `associate-/r*_binary64_363`
2×	`prod-exp_binary64_468` `cbrt-unprod_binary64_452` `div-exp_binary64_470` `cbrt-undiv_binary64_453`
1×	`pow-prod-down_binary64_490` `clear-num_binary64_418` `cos-sum_binary64_553` `div-inv_binary64_416` `unswap-sqr_binary64_387` `-commutative_binary64_350` `frac-2neg_binary64_430` `associate-/l_binary64_364`

Counts

3 → 47

Calls

6 calls:

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

series418.0ms (0.5%)

Counts

3 → 34

Calls

3 calls:

305.0ms	(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
68.0ms	(*.f64 r (sin.f64 b))
45.0ms	(cos.f64 (+.f64 a b))

Compiler

Compiled 792 to 617 computations (22.1% saved)

simplify58.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5028	1388

prune259.0ms (0.3%)

Pruning

49 alts after pruning (48 fresh and 1 done)

	Pruned	Kept	Total
New	36	45	81
Fresh	0	3	3
Picked	0	0	0
Done	0	1	1
Total	36	49	85

Error

0.2b

Counts

85 → 49

Compiler

Compiled 1885 to 907 computations (51.9% saved)

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite31.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_441`
13×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
10×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
8×	`pow1_binary64_480`
6×	`add-log-exp_binary64_458` `associate-r_binary64_359` `associate-l_binary64_360`
5×	`sin-mult_binary64_574`
4×	`associate-/r/_binary64_365` `cos-mult_binary64_573`
3×	`times-frac_binary64_425` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `associate-/r*_binary64_363`
2×	`pow-prod-down_binary64_490` `unswap-sqr_binary64_387` `flip3--_binary64_423` `*-commutative_binary64_350` `flip--_binary64_394` `sub-div_binary64_426` `div-exp_binary64_470` `frac-sub_binary64_428` `cbrt-undiv_binary64_453`
1×	`clear-num_binary64_418` `sub-neg_binary64_412` `div-inv_binary64_416` `frac-2neg_binary64_430` `diff-log_binary64_511` `cancel-sign-sub-inv_binary64_385` `associate-/l*_binary64_364`

Counts

4 → 76

Calls

8 calls:

9.0ms	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
6.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))
5.0ms	(*.f64 (sin.f64 a) (sin.f64 b))
4.0ms	(*.f64 r (sin.f64 b))
0.0ms	(*.f64 (cos.f64 a) (cos.f64 b))

series961.0ms (1.1%)

Counts

4 → 45

Calls

4 calls:

615.0ms	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
164.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))
104.0ms	(*.f64 (sin.f64 a) (sin.f64 b))
77.0ms	(*.f64 r (sin.f64 b))

Compiler

Compiled 1390 to 1020 computations (26.6% saved)

simplify74.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5120	2474

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.1b	(/.f64 (*.f64 b r) (cos.f64 a))
0.1b	(/.f64 (*.f64 b r) (cos.f64 a))

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
3×	`-un-lft-identity_binary64_419` `times-frac_binary64_425` `add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441` `associate-/r_binary64_363`
2×	`div-exp_binary64_470` `cbrt-undiv_binary64_453`
1×	`clear-num_binary64_418` `add-log-exp_binary64_458` `div-inv_binary64_416` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `frac-2neg_binary64_430` `pow1_binary64_480` `associate-/l*_binary64_364`

Counts

1 → 21

Calls

2 calls:

4.0ms	(/.f64 (*.f64 b r) (cos.f64 a))
0.0ms	(/.f64 (*.f64 b r) (cos.f64 a))

series184.0ms (0.2%)

Counts

1 → 12

Calls

1 calls:

184.0ms

(/.f64 (*.f64 b r) (cos.f64 a))

Compiler

Compiled 168 to 148 computations (11.9% saved)

simplify71.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4926	399
1	4926	399

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite25.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_441`
13×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
10×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
8×	`pow1_binary64_480`
6×	`add-log-exp_binary64_458` `associate-r_binary64_359` `associate-l_binary64_360`
3×	`times-frac_binary64_425` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `associate-/r*_binary64_363`
2×	`pow-prod-down_binary64_490` `unswap-sqr_binary64_387` `flip3--_binary64_423` `associate-/r/_binary64_365` `*-commutative_binary64_350` `flip--_binary64_394` `div-exp_binary64_470` `cbrt-undiv_binary64_453`
1×	`clear-num_binary64_418` `sub-neg_binary64_412` `div-inv_binary64_416` `frac-2neg_binary64_430` `diff-log_binary64_511` `cancel-sign-sub-inv_binary64_385` `associate-/l*_binary64_364`

Counts

4 → 71

Calls

8 calls:

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

series606.0ms (0.7%)

Counts

4 → 42

Calls

4 calls:

347.0ms	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (cos.f64 b) (.f64 a (sin.f64 b))))
108.0ms	(-.f64 (cos.f64 b) (*.f64 a (sin.f64 b)))
77.0ms	(*.f64 r (sin.f64 b))
74.0ms	(*.f64 a (sin.f64 b))

Compiler

Compiled 1030 to 789 computations (23.4% saved)

simplify62.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4960	1525
1	4960	1525

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 r (sin.f64 b))
0.1b	(.f64 a (+.f64 (sin.f64 b) (.f64 (*.f64 (cos.f64 b) 1/2) a)))
0.0b	(+.f64 (sin.f64 b) (.f64 (.f64 (cos.f64 b) 1/2) a))
0.0b	(-.f64 (cos.f64 b) (.f64 a (+.f64 (sin.f64 b) (.f64 (*.f64 (cos.f64 b) 1/2) a))))
0.1b	(.f64 a (+.f64 (sin.f64 b) (.f64 (*.f64 (cos.f64 b) 1/2) a)))
0.1b	(*.f64 r (sin.f64 b))
0.1b	(.f64 (.f64 (cos.f64 b) 1/2) a)
2.0b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (cos.f64 b) (.f64 a (+.f64 (sin.f64 b) (.f64 (.f64 (cos.f64 b) 1/2) a)))))

rewrite30.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
15×	`add-sqr-sqrt_binary64_441`
13×	`pow1_binary64_480`
11×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
9×	`associate-r_binary64_359`
7×	`associate-l_binary64_360`
6×	`prod-exp_binary64_468` `cbrt-unprod_binary64_452`
5×	`pow-prod-down_binary64_490`
4×	`add-log-exp_binary64_458`
3×	`times-frac_binary64_425` `-commutative_binary64_350` `associate-/r_binary64_363`
2×	`unswap-sqr_binary64_387` `associate-*r/_binary64_361` `associate-/r/_binary64_365` `div-exp_binary64_470` `cbrt-undiv_binary64_453`
1×	`flip3-+_binary64_422` `clear-num_binary64_418` `distribute-rgt-in_binary64_369` `div-inv_binary64_416` `flip3--_binary64_423` `distribute-lft-in_binary64_368` `frac-2neg_binary64_430` `flip-+_binary64_393` `flip--_binary64_394` `associate-/l*_binary64_364`

Counts

4 → 81

Calls

8 calls:

6.0ms	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (cos.f64 b) (.f64 a (+.f64 (sin.f64 b) (.f64 (.f64 (cos.f64 b) 1/2) a)))))
6.0ms	(.f64 a (+.f64 (sin.f64 b) (.f64 (*.f64 (cos.f64 b) 1/2) a)))
5.0ms	(.f64 (.f64 (cos.f64 b) 1/2) a)
4.0ms	(*.f64 r (sin.f64 b))
0.0ms	(-.f64 (cos.f64 b) (.f64 a (+.f64 (sin.f64 b) (.f64 (*.f64 (cos.f64 b) 1/2) a))))

series916.0ms (1.1%)

Counts

4 → 39

Calls

4 calls:

577.0ms	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (cos.f64 b) (.f64 a (+.f64 (sin.f64 b) (.f64 (.f64 (cos.f64 b) 1/2) a)))))
176.0ms	(.f64 a (+.f64 (sin.f64 b) (.f64 (*.f64 (cos.f64 b) 1/2) a)))
94.0ms	(.f64 (.f64 (cos.f64 b) 1/2) a)
70.0ms	(*.f64 r (sin.f64 b))

Compiler

Compiled 1494 to 1076 computations (28% saved)

simplify89.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4968	2463
1	4968	2463

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b)))
0.1b	(/.f64 (.f64 (.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))) (*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b)))) (cos.f64 (+.f64 a b)))
0.0b	(sqrt.f64 (sin.f64 b))
0.0b	(sqrt.f64 (sin.f64 b))
0.1b	(*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b)))
0.1b	(*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b)))
0.1b	(.f64 (.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))) (*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))))
2.9b	(cos.f64 (+.f64 a b))

rewrite44.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

67×	`pow1_binary64_480`
41×	`pow-prod-down_binary64_490`
28×	`add-sqr-sqrt_binary64_441`
20×	`pow1/2_binary64_499` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `sqrt-pow1_binary64_437` `sqrt-prod_binary64_435`
13×	`associate-r_binary64_359` `associate-l_binary64_360`
12×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
10×	`prod-exp_binary64_468` `cbrt-unprod_binary64_452`
8×	`unswap-sqr_binary64_387` `pow-prod-up_binary64_489`
7×	`sqrt-unprod_binary64_439`
6×	`pow-sqr_binary64_392`
4×	`add-log-exp_binary64_458`
3×	`*-commutative_binary64_350`
2×	`pow-plus_binary64_482`
1×	`cos-sum_binary64_553` `rem-square-sqrt_binary64_431` `swap-sqr_binary64_386` `pow2_binary64_500`

Counts

4 → 112

Calls

8 calls:

12.0ms	(.f64 (.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))) (*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))))
10.0ms	(*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b)))
7.0ms	(*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b)))
4.0ms	(cos.f64 (+.f64 a b))
0.0ms	(sqrt.f64 (sin.f64 b))

series225.0ms (0.3%)

Counts

4 → 29

Calls

4 calls:

65.0ms	(.f64 (.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))) (*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))))
59.0ms	(*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b)))
56.0ms	(*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b)))
45.0ms	(cos.f64 (+.f64 a b))

Compiler

Compiled 1009 to 731 computations (27.6% saved)

simplify100.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4853	1354
1	4853	1354

prune6.0s (7%)

Pruning

266 alts after pruning (260 fresh and 6 done)

	Pruned	Kept	Total
New	308	220	528
Fresh	3	40	43
Picked	0	0	0
Done	0	6	6
Total	311	266	577

Error

0.0b

Counts

577 → 266

Compiler

Compiled 12813 to 5733 computations (55.3% saved)

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite46.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64_441`
22×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
20×	`associate-r_binary64_359`
19×	`times-frac_binary64_425`
13×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
8×	`associate-/r/_binary64_365` `pow1_binary64_480`
7×	`sin-mult_binary64_574`
6×	`add-log-exp_binary64_458` `cos-mult_binary64_573` `associate-l_binary64_360`
3×	`unswap-sqr_binary64_387` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `flip3--_binary64_423` `flip--_binary64_394` `associate-/r_binary64_363` `sub-div_binary64_426` `frac-sub_binary64_428` `associate-/l_binary64_364`
2×	`pow-prod-down_binary64_490` `div-inv_binary64_416` `*-commutative_binary64_350` `div-exp_binary64_470` `cbrt-undiv_binary64_453`
1×	`clear-num_binary64_418` `sub-neg_binary64_412` `associate-*r/_binary64_361` `frac-2neg_binary64_430` `diff-log_binary64_511` `cancel-sign-sub-inv_binary64_385`

Counts

4 → 100

Calls

8 calls:

13.0ms	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
12.0ms	(/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))
5.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))
5.0ms	(*.f64 (sin.f64 b) (sin.f64 a))
0.0ms	(*.f64 (cos.f64 a) (cos.f64 b))

series1.2s (1.4%)

Counts

4 → 49

Calls

4 calls:

596.0ms	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
321.0ms	(/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))
160.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))
98.0ms	(*.f64 (sin.f64 b) (sin.f64 a))

Compiler

Compiled 1530 to 1109 computations (27.5% saved)

simplify106.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4957	4096
1	4957	4096

localize3.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(pow.f64 (/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a)) 3)
0.1b	(/.f64 (cos.f64 b) (sin.f64 b))
0.1b	(/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a))
0.0b	(-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a)
0.1b	(/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a))
0.1b	(/.f64 (cos.f64 b) (sin.f64 b))
0.2b	(pow.f64 (/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a)) 3)
32.5b	(cbrt.f64 (pow.f64 (/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a)) 3))

rewrite66.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

145×	`add-sqr-sqrt_binary64_441`
115×	`times-frac_binary64_425`
97×	`*-un-lft-identity_binary64_419`
65×	`add-cube-cbrt_binary64_454`
54×	`cbrt-prod_binary64_450`
48×	`unpow-prod-down_binary64_498` `cube-prod_binary64_447`
32×	`difference-of-squares_binary64_388`
16×	`distribute-lft-out--_binary64_371`
11×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
10×	`associate-/r/_binary64_365`
9×	`associate-/r*_binary64_363`
6×	`div-inv_binary64_416` `associate-/l*_binary64_364`
5×	`flip3--_binary64_423` `flip--_binary64_394` `pow1_binary64_480`
4×	`add-log-exp_binary64_458`
3×	`pow-unpow_binary64_496` `div-exp_binary64_470` `cbrt-undiv_binary64_453`
2×	`clear-num_binary64_418` `unpow3_binary64_485` `cube-mult_binary64_449` `rem-cube-cbrt_binary64_442` `pow-exp_binary64_487` `sqr-pow_binary64_391` `cube-div_binary64_448` `frac-2neg_binary64_430`
1×	`pow1/3_binary64_501` `cbrt-div_binary64_451` `rem-cbrt-cube_binary64_443` `pow-to-exp_binary64_488` `pow-pow_binary64_491`

Counts

4 → 200

Calls

8 calls:

16.0ms	(cbrt.f64 (pow.f64 (/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a)) 3))
14.0ms	(pow.f64 (/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a)) 3)
9.0ms	(/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a))
4.0ms	(/.f64 (cos.f64 b) (sin.f64 b))
0.0ms	(-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a)

series1.0s (1.2%)

Counts

4 → 45

Calls

4 calls:

447.0ms	(pow.f64 (/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a)) 3)
301.0ms	(cbrt.f64 (pow.f64 (/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a)) 3))
246.0ms	(/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a))
37.0ms	(/.f64 (cos.f64 b) (sin.f64 b))

Compiler

Compiled 1404 to 1181 computations (15.9% saved)

simplify113.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

245 → 245

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5284	6060

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 a (.f64 (cos.f64 b) 1/2))
0.1b	(*.f64 r (sin.f64 b))
0.0b	(.f64 a (+.f64 (sin.f64 b) (exp.f64 (log.f64 (.f64 a (*.f64 (cos.f64 b) 1/2))))))
0.0b	(+.f64 (sin.f64 b) (exp.f64 (log.f64 (.f64 a (.f64 (cos.f64 b) 1/2)))))
0.1b	(*.f64 r (sin.f64 b))
0.1b	(.f64 a (.f64 (cos.f64 b) 1/2))
1.5b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (cos.f64 b) (.f64 a (+.f64 (sin.f64 b) (exp.f64 (log.f64 (.f64 a (.f64 (cos.f64 b) 1/2))))))))
2.7b	(exp.f64 (log.f64 (.f64 a (.f64 (cos.f64 b) 1/2))))

rewrite32.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`pow1_binary64_480`
16×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
12×	`add-sqr-sqrt_binary64_441`
10×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
7×	`pow-prod-down_binary64_490`
6×	`exp-prod_binary64_471` `associate-l_binary64_360`
5×	`prod-exp_binary64_468` `cbrt-unprod_binary64_452`
4×	`add-log-exp_binary64_458` `associate-r_binary64_359`
3×	`times-frac_binary64_425` `log-pow_binary64_508` `associate-/r*_binary64_363`
2×	`associate-/r/_binary64_365` `*-commutative_binary64_350` `div-exp_binary64_470` `cbrt-undiv_binary64_453`
1×	`clear-num_binary64_418` `div-inv_binary64_416` `unswap-sqr_binary64_387` `log-prod_binary64_505` `flip3--_binary64_423` `frac-2neg_binary64_430` `exp-sum_binary64_465` `flip--_binary64_394` `rem-exp-log_binary64_459` `associate-/l*_binary64_364`

Counts

4 → 74

Calls

8 calls:

8.0ms	(exp.f64 (log.f64 (.f64 a (.f64 (cos.f64 b) 1/2))))
6.0ms	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (cos.f64 b) (.f64 a (+.f64 (sin.f64 b) (exp.f64 (log.f64 (.f64 a (.f64 (cos.f64 b) 1/2))))))))
6.0ms	(.f64 a (.f64 (cos.f64 b) 1/2))
4.0ms	(*.f64 r (sin.f64 b))
0.0ms	(+.f64 (sin.f64 b) (exp.f64 (log.f64 (.f64 a (.f64 (cos.f64 b) 1/2)))))

series1.2s (1.4%)

Counts

4 → 32

Calls

4 calls:

823.0ms	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (cos.f64 b) (.f64 a (+.f64 (sin.f64 b) (exp.f64 (log.f64 (.f64 a (.f64 (cos.f64 b) 1/2))))))))
203.0ms	(exp.f64 (log.f64 (.f64 a (.f64 (cos.f64 b) 1/2))))
89.0ms	(.f64 a (.f64 (cos.f64 b) 1/2))
76.0ms	(*.f64 r (sin.f64 b))

Compiler

Compiled 1654 to 1177 computations (28.8% saved)

simplify63.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5146	2240

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(pow.f64 (*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))) 3)
0.1b	(/.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))) 3)) (*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b)))) (cos.f64 (+.f64 a b)))
0.0b	(sqrt.f64 (sin.f64 b))
0.0b	(sqrt.f64 (sin.f64 b))
0.1b	(*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b)))
0.1b	(.f64 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))) 3)) (*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))))
2.9b	(cos.f64 (+.f64 a b))
7.5b	(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))) 3))

rewrite36.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64_441`
17×	`associate-l_binary64_360`
16×	`cbrt-prod_binary64_450`
13×	`pow1_binary64_480`
11×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `add-exp-log_binary64_457`
10×	`sqrt-prod_binary64_435`
9×	`add-cbrt-cube_binary64_455`
7×	`associate-r_binary64_359`
6×	`pow-prod-down_binary64_490`
4×	`add-log-exp_binary64_458` `unswap-sqr_binary64_387` `prod-exp_binary64_468` `cbrt-unprod_binary64_452`
2×	`unpow-prod-down_binary64_498` `pow1/2_binary64_499` `unpow3_binary64_485` `cube-mult_binary64_449` `sqr-pow_binary64_391` `*-commutative_binary64_350` `cube-prod_binary64_447` `sqrt-pow1_binary64_437`
1×	`cos-sum_binary64_553` `pow1/3_binary64_501` `sqrt-unprod_binary64_439` `rem-cbrt-cube_binary64_443`

Counts

4 → 81

Calls

8 calls:

11.0ms	(.f64 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))) 3)) (*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))))
7.0ms	(*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b)))
4.0ms	(cos.f64 (+.f64 a b))
3.0ms	(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))) 3))
0.0ms	(sqrt.f64 (sin.f64 b))

series228.0ms (0.3%)

Counts

4 → 27

Calls

4 calls:

69.0ms	(.f64 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))) 3)) (*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))))
60.0ms	(*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b)))
59.0ms	(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))) 3))
40.0ms	(cos.f64 (+.f64 a b))

Compiler

Compiled 1018 to 765 computations (24.9% saved)

simplify106.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4842	1254
1	4842	1254

prune14.8s (17.3%)

Pruning

508 alts after pruning (498 fresh and 10 done)

	Pruned	Kept	Total
New	331	277	608
Fresh	34	221	255
Picked	0	0	0
Done	1	10	11
Total	366	508	874

Error

0.0b

Counts

874 → 508

Compiler

Compiled 22020 to 10952 computations (50.3% saved)

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite46.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64_441`
22×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
20×	`associate-r_binary64_359`
19×	`times-frac_binary64_425`
13×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
8×	`associate-/r/_binary64_365` `pow1_binary64_480`
7×	`sin-mult_binary64_574`
6×	`add-log-exp_binary64_458` `cos-mult_binary64_573` `associate-l_binary64_360`
3×	`unswap-sqr_binary64_387` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `flip3--_binary64_423` `flip--_binary64_394` `associate-/r_binary64_363` `sub-div_binary64_426` `frac-sub_binary64_428` `associate-/l_binary64_364`
2×	`pow-prod-down_binary64_490` `div-inv_binary64_416` `*-commutative_binary64_350` `div-exp_binary64_470` `cbrt-undiv_binary64_453`
1×	`clear-num_binary64_418` `sub-neg_binary64_412` `associate-*r/_binary64_361` `frac-2neg_binary64_430` `diff-log_binary64_511` `cancel-sign-sub-inv_binary64_385`

Counts

4 → 100

Calls

8 calls:

13.0ms	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
11.0ms	(/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))
6.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))
5.0ms	(*.f64 (sin.f64 b) (sin.f64 a))
0.0ms	(*.f64 (cos.f64 a) (cos.f64 b))

series1.2s (1.4%)

Counts

4 → 49

Calls

4 calls:

595.0ms	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
318.0ms	(/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))
157.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))
96.0ms	(*.f64 (sin.f64 b) (sin.f64 a))

Compiler

Compiled 1668 to 1247 computations (25.2% saved)

simplify108.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4957	4096
1	4957	4096

localize3.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(pow.f64 (pow.f64 (/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a)) 1) 3)
0.1b	(/.f64 (cos.f64 b) (sin.f64 b))
0.1b	(/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a))
0.0b	(-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a)
0.1b	(/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a))
0.1b	(/.f64 (cos.f64 b) (sin.f64 b))
0.2b	(pow.f64 (pow.f64 (/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a)) 1) 3)
32.5b	(cbrt.f64 (pow.f64 (pow.f64 (/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a)) 1) 3))

rewrite75.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

152×	`unpow-prod-down_binary64_498`
149×	`add-sqr-sqrt_binary64_441`
115×	`times-frac_binary64_425`
101×	`*-un-lft-identity_binary64_419`
69×	`add-cube-cbrt_binary64_454`
62×	`cbrt-prod_binary64_450`
56×	`cube-prod_binary64_447`
32×	`difference-of-squares_binary64_388`
16×	`distribute-lft-out--_binary64_371`
12×	`add-exp-log_binary64_457`
10×	`associate-/r/_binary64_365`
9×	`add-cbrt-cube_binary64_455` `associate-/r*_binary64_363`
6×	`div-inv_binary64_416` `pow-exp_binary64_487` `sqr-pow_binary64_391` `associate-/l*_binary64_364`
5×	`flip3--_binary64_423` `flip--_binary64_394`
4×	`add-log-exp_binary64_458` `pow1_binary64_480`
3×	`pow-unpow_binary64_496` `div-exp_binary64_470`
2×	`clear-num_binary64_418` `unpow3_binary64_485` `cube-mult_binary64_449` `pow-to-exp_binary64_488` `frac-2neg_binary64_430` `cbrt-undiv_binary64_453`
1×	`pow1/3_binary64_501` `rem-cube-cbrt_binary64_442` `rem-cbrt-cube_binary64_443` `pow-pow_binary64_491`

Counts

4 → 215

Calls

8 calls:

17.0ms	(cbrt.f64 (pow.f64 (pow.f64 (/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a)) 1) 3))
16.0ms	(pow.f64 (pow.f64 (/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a)) 1) 3)
10.0ms	(/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a))
4.0ms	(/.f64 (cos.f64 b) (sin.f64 b))
0.0ms	(-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a)

series1.1s (1.3%)

Counts

4 → 45

Calls

4 calls:

456.0ms	(pow.f64 (pow.f64 (/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a)) 1) 3)
314.0ms	(cbrt.f64 (pow.f64 (pow.f64 (/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a)) 1) 3))
259.0ms	(/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a))
41.0ms	(/.f64 (cos.f64 b) (sin.f64 b))

Compiler

Compiled 1462 to 1239 computations (15.3% saved)

simplify123.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

260 → 260

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5124	6555

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 r (sin.f64 b))
0.1b	(*.f64 (sin.f64 b) a)
0.0b	(-.f64 (pow.f64 (cos.f64 b) 2) (.f64 (pow.f64 (sin.f64 b) 2) (.f64 a a)))
0.0b	(+.f64 (cos.f64 b) (*.f64 (sin.f64 b) a))
0.2b	(pow.f64 (cos.f64 b) 2)
0.3b	(pow.f64 (sin.f64 b) 2)
6.2b	(.f64 (pow.f64 (sin.f64 b) 2) (.f64 a a))
11.0b	(/.f64 (-.f64 (pow.f64 (cos.f64 b) 2) (.f64 (pow.f64 (sin.f64 b) 2) (.f64 a a))) (+.f64 (cos.f64 b) (*.f64 (sin.f64 b) a)))

rewrite33.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-exp-log_binary64_457`
20×	`add-sqr-sqrt_binary64_441`
18×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
11×	`add-cbrt-cube_binary64_455`
10×	`unpow-prod-down_binary64_498`
9×	`times-frac_binary64_425` `prod-exp_binary64_468`
8×	`associate-l_binary64_360`
6×	`pow-unpow_binary64_496` `pow1_binary64_480`
4×	`add-log-exp_binary64_458` `unswap-sqr_binary64_387` `pow-exp_binary64_487` `sqr-pow_binary64_391` `pow-to-exp_binary64_488` `unpow2_binary64_484`
3×	`cbrt-unprod_binary64_452` `associate-/r_binary64_363` `associate-/l_binary64_364`
2×	`associate-/r/_binary64_365` `pow-pow_binary64_491` `associate-/l/_binary64_366`
1×	`flip3-+_binary64_422` `pow-prod-down_binary64_490` `clear-num_binary64_418` `div-inv_binary64_416` `associate-r_binary64_359` `flip3--_binary64_423` `*-commutative_binary64_350` `frac-2neg_binary64_430` `flip-+_binary64_393` `flip--_binary64_394` `pow2_binary64_500` `div-exp_binary64_470` `cbrt-undiv_binary64_453` `div-sub_binary64_424`

Counts

4 → 98

Calls

8 calls:

9.0ms	(/.f64 (-.f64 (pow.f64 (cos.f64 b) 2) (.f64 (pow.f64 (sin.f64 b) 2) (.f64 a a))) (+.f64 (cos.f64 b) (*.f64 (sin.f64 b) a)))
8.0ms	(.f64 (pow.f64 (sin.f64 b) 2) (.f64 a a))
3.0ms	(pow.f64 (sin.f64 b) 2)
2.0ms	(pow.f64 (cos.f64 b) 2)
0.0ms	(+.f64 (cos.f64 b) (*.f64 (sin.f64 b) a))

series509.0ms (0.6%)

Counts

4 → 26

Calls

4 calls:

341.0ms	(/.f64 (-.f64 (pow.f64 (cos.f64 b) 2) (.f64 (pow.f64 (sin.f64 b) 2) (.f64 a a))) (+.f64 (cos.f64 b) (*.f64 (sin.f64 b) a)))
119.0ms	(.f64 (pow.f64 (sin.f64 b) 2) (.f64 a a))
25.0ms	(pow.f64 (sin.f64 b) 2)
24.0ms	(pow.f64 (cos.f64 b) 2)

Compiler

Compiled 1010 to 720 computations (28.7% saved)

simplify90.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4942	2069
1	4942	2069

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(exp.f64 (log.f64 (cos.f64 (+.f64 b a))))
0.0b	(/.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))) 3)) (*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b)))) (exp.f64 (log.f64 (cos.f64 (+.f64 b a)))))
0.0b	(sqrt.f64 (sin.f64 b))
0.0b	(sqrt.f64 (sin.f64 b))
0.1b	(.f64 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))) 3)) (*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))))
2.9b	(cos.f64 (+.f64 b a))
3.3b	(log.f64 (cos.f64 (+.f64 b a)))
7.5b	(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))) 3))

rewrite28.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`cbrt-prod_binary64_450`
11×	`associate-l_binary64_360`
10×	`add-exp-log_binary64_457` `pow1_binary64_480`
8×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
7×	`add-cbrt-cube_binary64_455`
4×	`add-log-exp_binary64_458`
3×	`pow-prod-down_binary64_490` `log-prod_binary64_505` `prod-exp_binary64_468` `cbrt-unprod_binary64_452`
2×	`unpow-prod-down_binary64_498` `unpow3_binary64_485` `cube-mult_binary64_449` `sqr-pow_binary64_391` `cube-prod_binary64_447`
1×	`cos-sum_binary64_553` `pow1/3_binary64_501` `rem-log-exp_binary64_460` `associate-r_binary64_359` `rem-cbrt-cube_binary64_443` `log-pow_binary64_508` `*-commutative_binary64_350`

Counts

4 → 63

Calls

8 calls:

12.0ms	(.f64 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))) 3)) (*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))))
4.0ms	(cos.f64 (+.f64 b a))
3.0ms	(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))) 3))
2.0ms	(log.f64 (cos.f64 (+.f64 b a)))
0.0ms	(sqrt.f64 (sin.f64 b))

series306.0ms (0.4%)

Counts

4 → 30

Calls

4 calls:

119.0ms	(log.f64 (cos.f64 (+.f64 b a)))
68.0ms	(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))) 3))
67.0ms	(.f64 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))) 3)) (*.f64 (sqrt.f64 r) (sqrt.f64 (sin.f64 b))))
51.0ms	(cos.f64 (+.f64 b a))

Compiler

Compiled 1173 to 866 computations (26.2% saved)

simplify104.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	4854	1057
1	4854	1057

prune23.3s (27.4%)

Pruning

745 alts after pruning (732 fresh and 13 done)

	Pruned	Kept	Total
New	365	261	626
Fresh	22	471	493
Picked	0	0	0
Done	2	13	15
Total	389	745	1134

Error

0.0b

Counts

1134 → 745

Compiler

Compiled 10512 to 3356 computations (68.1% saved)

simplify618.0ms (0.7%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5010	41380

regimes5.9s (7%)

Compiler: Compiled 52212 to 33480 computations (35.9% saved)

bsearch0.0ms (0%)

regimes794.0ms (0.9%)

Compiler: Compiled 6228 to 5163 computations (17.1% saved)

bsearch0.0ms (0%)

regimes523.0ms (0.6%)

Compiler: Compiled 3891 to 3360 computations (13.6% saved)

bsearch0.0ms (0%)

regimes468.0ms (0.5%)

Compiler: Compiled 3399 to 2940 computations (13.5% saved)

bsearch0.0ms (0%)

regimes208.0ms (0.2%)

Compiler: Compiled 588 to 600 computations (-2% saved)

bsearch91.0ms (0.1%)

Steps

Iters	Range		Point
9	1.1241052610292282e+52	1.9656918355222116e+60	1.1400914348472507e+52
11	-1.6834688190526377e+29	-6379936364.588924	-6447650229.15258

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes206.0ms (0.2%)

Compiler: Compiled 567 to 579 computations (-2.1% saved)

bsearch94.0ms (0.1%)

Steps

Iters	Range		Point
9	1.1241052610292282e+52	1.9656918355222116e+60	1.1400914348472507e+52
11	-1.6834688190526377e+29	-6379936364.588924	-6447650229.15258

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes107.0ms (0.1%)

Compiler: Compiled 525 to 537 computations (-2.3% saved)

bsearch0.0ms (0%)

regimes156.0ms (0.2%)

Compiler: Compiled 504 to 516 computations (-2.4% saved)

bsearch86.0ms (0.1%)

Steps

Iters	Range		Point
9	28017255422.10288	2799369124833722.0	582574895630.2306
10	-1233449824.6021726	-0.0004274588863929668	-10.923607995985302

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes51.0ms (0.1%)

Compiler: Compiled 174 to 198 computations (-13.8% saved)

bsearch0.0ms (0%)

regimes52.0ms (0.1%)

Compiler: Compiled 162 to 183 computations (-13% saved)

bsearch0.0ms (0%)

regimes26.0ms (0%)

Accuracy

Total 0.3b remaining (97.2%)

Threshold costs 0.3b (97.2%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch11.0ms (0%)

Compiler: Compiled 149 to 116 computations (22.1% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	95	218
1	95	218

end0.0ms (0%)

sample18.2s (21.4%)

Algorithm

1×

intervals

Results

1.1s	3487×	body	1024	valid
295.0ms	1361×	body	512	valid
176.0ms	2372×	body	128	valid
131.0ms	204×	body	2048	valid
89.0ms	576×	body	256	valid
1.0ms	2×	body	1024	invalid

Compiler

Compiled 17692 to 11402 computations (35.6% saved)

Pareto

0.44490408644185725