Details

analyze18.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	25%	75%	0
0%	25%	75%	1
12.5%	12.5%	75%	2
12.5%	12.5%	75%	3
18.7%	6.2%	75%	4
21.8%	3.1%	75%	5
23.4%	1.6%	75%	6
23.4%	1.6%	75%	7
24.2%	0.8%	75%	8
24.2%	0.8%	75%	9
24.6%	0.4%	75%	10
24.6%	0.4%	75%	11
24.8%	0.2%	75%	12
24.8%	0.2%	75%	13
24.9%	0.1%	75%	14

Compiler

Compiled 15 to 12 computations (20% saved)

sample50.0ms (0.1%)

Algorithm

1×

intervals

Results

18.0ms	64×	body	1024	valid
10.0ms	149×	body	128	valid
5.0ms	27×	body	512	valid
5.0ms	256×	pre	128	true
2.0ms	16×	body	256	valid

Compiler

Compiled 26 to 23 computations (11.5% saved)

simplify103.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	24	17
1	24	17

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

2 → 1

Compiler

Compiled 11 to 9 computations (18.2% saved)

localize8.0ms (0%)

Local error

Found 6 expressions with local error:

0.2b	(*.f64 e (cos.f64 v))
0.1b	(*.f64 e (sin.f64 v))
0.0b	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
0.0b	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
0.1b	(*.f64 e (sin.f64 v))
0.2b	(*.f64 e (cos.f64 v))

rewrite19.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_441`
12×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
9×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
7×	`pow1_binary64_480`
6×	`associate-r_binary64_359` `associate-l_binary64_360`
3×	`times-frac_binary64_425` `add-log-exp_binary64_458` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `associate-/r*_binary64_363`
2×	`pow-prod-down_binary64_490` `unswap-sqr_binary64_387` `associate-/r/_binary64_365` `*-commutative_binary64_350` `div-exp_binary64_470` `cbrt-undiv_binary64_453`
1×	`flip3-+_binary64_422` `clear-num_binary64_418` `div-inv_binary64_416` `frac-2neg_binary64_430` `flip-+_binary64_393` `associate-/l*_binary64_364`

Counts

3 → 59

Calls

6 calls:

6.0ms	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
4.0ms	(*.f64 e (cos.f64 v))
4.0ms	(*.f64 e (sin.f64 v))
0.0ms	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
0.0ms	(*.f64 e (cos.f64 v))

series322.0ms (0.4%)

Counts

3 → 27

Calls

3 calls:

181.0ms	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
78.0ms	(*.f64 e (sin.f64 v))
63.0ms	(*.f64 e (cos.f64 v))

Compiler

Compiled 758 to 597 computations (21.2% saved)

simplify65.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4963	1464
1	4963	1464

prune301.0ms (0.4%)

Pruning

46 alts after pruning (46 fresh and 0 done)

	Pruned	Kept	Total
New	40	46	86
Fresh	0	0	0
Picked	0	0	0
Done	1	0	1
Total	41	46	87

Error

0.0b

Counts

87 → 46

Compiler

Compiled 2207 to 1279 computations (42% saved)

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 (.f64 e (*.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v)))) (cbrt.f64 (cos.f64 v)))
0.1b	(*.f64 e (sin.f64 v))
0.1b	(.f64 e (.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v))))
0.0b	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (.f64 e (.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v)))) (cbrt.f64 (cos.f64 v)))))
0.2b	(*.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v)))
0.3b	(cbrt.f64 (cos.f64 v))
0.3b	(cbrt.f64 (cos.f64 v))
0.3b	(cbrt.f64 (cos.f64 v))

rewrite17.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_450`
23×	`add-sqr-sqrt_binary64_441`
15×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
11×	`pow1_binary64_480`
9×	`pow1/3_binary64_501`
6×	`associate-r_binary64_359` `swap-sqr_binary64_386` `associate-l_binary64_360` `add-exp-log_binary64_457`
4×	`add-log-exp_binary64_458` `unswap-sqr_binary64_387` `add-cbrt-cube_binary64_455`
2×	`pow-prod-down_binary64_490` `pow-sqr_binary64_392` `pow-prod-up_binary64_489`
1×	`prod-exp_binary64_468` `cbrt-unprod_binary64_452` `pow-plus_binary64_482` `*-commutative_binary64_350` `pow2_binary64_500`

Counts

4 → 73

Calls

8 calls:

7.0ms	(*.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v)))
1.0ms	(cbrt.f64 (cos.f64 v))
1.0ms	(cbrt.f64 (cos.f64 v))
1.0ms	(cbrt.f64 (cos.f64 v))
0.0ms	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 (.f64 e (.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v)))) (cbrt.f64 (cos.f64 v)))))

series268.0ms (0.4%)

Counts

4 → 12

Calls

4 calls:

84.0ms	(*.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v)))
66.0ms	(cbrt.f64 (cos.f64 v))
62.0ms	(cbrt.f64 (cos.f64 v))
56.0ms	(cbrt.f64 (cos.f64 v))

Compiler

Compiled 488 to 350 computations (28.3% saved)

simplify78.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4825	700
1	4825	700

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (*.f64 e v) (+.f64 e 1))
0.0b	(/.f64 (*.f64 e v) (+.f64 e 1))

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`*-un-lft-identity_binary64_419`
6×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
4×	`times-frac_binary64_425` `associate-/r*_binary64_363`
3×	`add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
2×	`distribute-lft-out_binary64_370` `associate-/r/_binary64_365` `div-exp_binary64_470` `cbrt-undiv_binary64_453`
1×	`flip3-+_binary64_422` `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` `flip-+_binary64_393` `pow1_binary64_480` `associate-/l*_binary64_364`

Counts

1 → 25

Calls

2 calls:

6.0ms	(/.f64 (*.f64 e v) (+.f64 e 1))
0.0ms	(/.f64 (*.f64 e v) (+.f64 e 1))

series76.0ms (0.1%)

Counts

1 → 11

Calls

1 calls:

76.0ms

(/.f64 (*.f64 e v) (+.f64 e 1))

Compiler

Compiled 124 to 100 computations (19.4% saved)

simplify79.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5819	404

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

4.3b	(.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))
0.2b	(*.f64 e (cos.f64 v))
0.1b	(*.f64 1/6 (pow.f64 v 3))
0.0b	(/.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))) (+.f64 1 (*.f64 e (cos.f64 v))))
0.0b	(/.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))) (+.f64 1 (*.f64 e (cos.f64 v))))
0.1b	(*.f64 1/6 (pow.f64 v 3))
0.2b	(*.f64 e (cos.f64 v))
4.3b	(.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))

rewrite37.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64_441`
18×	`associate-r_binary64_359` `add-exp-log_binary64_457`
15×	`add-cbrt-cube_binary64_455`
14×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
9×	`associate-l_binary64_360`
8×	`pow1_binary64_480`
6×	`unswap-sqr_binary64_387` `prod-exp_binary64_468`
4×	`unpow-prod-down_binary64_498` `add-log-exp_binary64_458` `cbrt-unprod_binary64_452` `associate-*r/_binary64_361` `cube-prod_binary64_447`
3×	`times-frac_binary64_425` `-commutative_binary64_350` `associate-/r_binary64_363`
2×	`pow-prod-down_binary64_490` `sub-neg_binary64_412` `distribute-rgt-in_binary64_369` `sqr-pow_binary64_391` `flip3--_binary64_423` `associate-/r/_binary64_365` `distribute-lft-in_binary64_368` `flip--_binary64_394` `cancel-sign-sub-inv_binary64_385` `div-exp_binary64_470` `cbrt-undiv_binary64_453` `associate-/l/_binary64_366`
1×	`flip3-+_binary64_422` `clear-num_binary64_418` `unpow3_binary64_485` `cube-mult_binary64_449` `div-inv_binary64_416` `pow-exp_binary64_487` `pow-to-exp_binary64_488` `frac-2neg_binary64_430` `flip-+_binary64_393` `associate-/l*_binary64_364`

Counts

4 → 98

Calls

8 calls:

9.0ms	(/.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))) (+.f64 1 (*.f64 e (cos.f64 v))))
7.0ms	(*.f64 1/6 (pow.f64 v 3))
6.0ms	(.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))
4.0ms	(*.f64 e (cos.f64 v))
0.0ms	(/.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))) (+.f64 1 (*.f64 e (cos.f64 v))))

series547.0ms (0.7%)

Counts

4 → 35

Calls

4 calls:

293.0ms	(/.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))) (+.f64 1 (*.f64 e (cos.f64 v))))
147.0ms	(.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))
77.0ms	(*.f64 e (cos.f64 v))
29.0ms	(*.f64 1/6 (pow.f64 v 3))

Compiler

Compiled 1233 to 946 computations (23.3% saved)

simplify84.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4998	2257
1	4998	2257

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(*.f64 (sqrt.f64 e) (sin.f64 v))
0.3b	(.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v)))
0.2b	(*.f64 e (cos.f64 v))
0.0b	(/.f64 (.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v))) (+.f64 1 (*.f64 e (cos.f64 v))))
0.0b	(/.f64 (.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v))) (+.f64 1 (*.f64 e (cos.f64 v))))
0.2b	(*.f64 e (cos.f64 v))
0.3b	(.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v)))
0.3b	(*.f64 (sqrt.f64 e) (sin.f64 v))

rewrite35.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
19×	`add-sqr-sqrt_binary64_441`
15×	`associate-l_binary64_360`
13×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `pow1_binary64_480`
8×	`prod-exp_binary64_468` `cbrt-unprod_binary64_452`
7×	`associate-r_binary64_359` `sqrt-prod_binary64_435`
5×	`pow-prod-down_binary64_490`
4×	`add-log-exp_binary64_458`
3×	`times-frac_binary64_425` `unswap-sqr_binary64_387` `-commutative_binary64_350` `associate-/r_binary64_363` `div-exp_binary64_470` `cbrt-undiv_binary64_453`
2×	`associate-/r/_binary64_365`
1×	`flip3-+_binary64_422` `clear-num_binary64_418` `div-inv_binary64_416` `frac-2neg_binary64_430` `flip-+_binary64_393` `associate-/l*_binary64_364`

Counts

4 → 86

Calls

8 calls:

10.0ms	(/.f64 (.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v))) (+.f64 1 (*.f64 e (cos.f64 v))))
7.0ms	(.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v)))
6.0ms	(*.f64 (sqrt.f64 e) (sin.f64 v))
4.0ms	(*.f64 e (cos.f64 v))
0.0ms	(/.f64 (.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v))) (+.f64 1 (*.f64 e (cos.f64 v))))

series387.0ms (0.5%)

Counts

4 → 36

Calls

4 calls:

188.0ms	(/.f64 (.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v))) (+.f64 1 (*.f64 e (cos.f64 v))))
70.0ms	(.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v)))
64.0ms	(*.f64 (sqrt.f64 e) (sin.f64 v))
64.0ms	(*.f64 e (cos.f64 v))

Compiler

Compiled 1142 to 870 computations (23.8% saved)

simplify71.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4970	1947
1	4970	1947

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 e (sin.f64 v))
0.1b	(*.f64 e (sin.f64 v))
0.0b	(/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1))
0.0b	(/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1))
0.2b	(*.f64 e (cos.f64 v))
0.2b	(.f64 (sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1))) (sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (*.f64 e (cos.f64 v)) 1))))
12.9b	(sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1)))
12.9b	(sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1)))

rewrite57.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`sqrt-prod_binary64_435`
40×	`add-sqr-sqrt_binary64_441`
23×	`pow1_binary64_480`
22×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
18×	`times-frac_binary64_425`
15×	`associate-r_binary64_359` `associate-l_binary64_360`
14×	`swap-sqr_binary64_386`
12×	`associate-/r/_binary64_365`
10×	`pow1/2_binary64_499` `sqrt-pow1_binary64_437`
8×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
6×	`flip3-+_binary64_422` `sqrt-div_binary64_436` `div-inv_binary64_416` `flip-+_binary64_393`
5×	`unswap-sqr_binary64_387` `pow-prod-up_binary64_489`
4×	`pow-prod-down_binary64_490` `add-log-exp_binary64_458` `rem-sqrt-square_binary64_432`
3×	`pow-sqr_binary64_392`
2×	`prod-exp_binary64_468` `cbrt-unprod_binary64_452` `*-commutative_binary64_350`
1×	`associate-l/_binary64_362` `sqrt-unprod_binary64_439` `rem-square-sqrt_binary64_431` `sqr-abs_binary64_434` `frac-times_binary64_429` `associate-r/_binary64_361` `pow-plus_binary64_482` `pow2_binary64_500`

Counts

4 → 129

Calls

8 calls:

25.0ms	(.f64 (sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1))) (sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (*.f64 e (cos.f64 v)) 1))))
6.0ms	(sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1)))
6.0ms	(sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1)))
4.0ms	(*.f64 e (cos.f64 v))
0.0ms	(/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1))

series512.0ms (0.7%)

Counts

4 → 30

Calls

4 calls:

196.0ms	(.f64 (sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1))) (sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (*.f64 e (cos.f64 v)) 1))))
128.0ms	(sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1)))
122.0ms	(sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1)))
65.0ms	(*.f64 e (cos.f64 v))

Compiler

Compiled 1390 to 961 computations (30.9% saved)

simplify84.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4963	3627
1	4963	3627

prune7.4s (10%)

Pruning

213 alts after pruning (209 fresh and 4 done)

	Pruned	Kept	Total
New	357	178	535
Fresh	10	31	41
Picked	0	0	0
Done	1	4	5
Total	368	213	581

Error

0.0b

Counts

581 → 213

Compiler

Compiled 13185 to 7172 computations (45.6% saved)

localize11.0ms (0%)

Local error

Found 6 expressions with local error:

0.2b	(*.f64 e (cos.f64 v))
0.1b	(*.f64 e (sin.f64 v))
0.0b	(/.f64 (neg.f64 (.f64 e (sin.f64 v))) (-.f64 -1 (.f64 e (cos.f64 v))))
0.0b	(/.f64 (neg.f64 (.f64 e (sin.f64 v))) (-.f64 -1 (.f64 e (cos.f64 v))))
0.1b	(*.f64 e (sin.f64 v))
0.2b	(*.f64 e (cos.f64 v))

rewrite23.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64_441`
18×	`*-un-lft-identity_binary64_419` `times-frac_binary64_425` `add-cube-cbrt_binary64_454`
9×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
7×	`pow1_binary64_480`
6×	`associate-r_binary64_359` `associate-l_binary64_360` `associate-/l*_binary64_364`
4×	`distribute-lft-neg-in_binary64_376` `neg-mul-1_binary64_415` `distribute-rgt-neg-in_binary64_377`
3×	`add-log-exp_binary64_458` `associate-/r*_binary64_363`
2×	`pow-prod-down_binary64_490` `unswap-sqr_binary64_387` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `associate-/r/_binary64_365` `*-commutative_binary64_350`
1×	`clear-num_binary64_418` `div-inv_binary64_416` `distribute-frac-neg_binary64_382` `flip3--_binary64_423` `frac-2neg_binary64_430` `flip--_binary64_394` `div-exp_binary64_470` `cbrt-undiv_binary64_453` `div-sub_binary64_424` `neg-sub0_binary64_414`

Counts

3 → 79

Calls

6 calls:

6.0ms	(/.f64 (neg.f64 (.f64 e (sin.f64 v))) (-.f64 -1 (.f64 e (cos.f64 v))))
4.0ms	(*.f64 e (cos.f64 v))
4.0ms	(*.f64 e (sin.f64 v))
0.0ms	(/.f64 (neg.f64 (.f64 e (sin.f64 v))) (-.f64 -1 (.f64 e (cos.f64 v))))
0.0ms	(*.f64 e (sin.f64 v))

series324.0ms (0.4%)

Counts

3 → 27

Calls

3 calls:

190.0ms	(/.f64 (neg.f64 (.f64 e (sin.f64 v))) (-.f64 -1 (.f64 e (cos.f64 v))))
68.0ms	(*.f64 e (sin.f64 v))
65.0ms	(*.f64 e (cos.f64 v))

Compiler

Compiled 784 to 623 computations (20.5% saved)

simplify72.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4971	2192
1	4971	2192

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

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(/.f64 (*.f64 e v) (+.f64 e 1))
0.0b	(/.f64 (*.f64 e (pow.f64 v 3)) (+.f64 e 1))
0.0b	(/.f64 (.f64 e (.f64 e (pow.f64 v 3))) (pow.f64 (+.f64 e 1) 2))
0.0b	(.f64 1/2 (/.f64 (.f64 e (*.f64 e (pow.f64 v 3))) (pow.f64 (+.f64 e 1) 2)))
4.3b	(*.f64 e (pow.f64 v 3))
4.3b	(*.f64 e (pow.f64 v 3))
5.7b	(.f64 e (.f64 e (pow.f64 v 3)))
9.1b	(-.f64 (+.f64 (/.f64 (.f64 e v) (+.f64 e 1)) (.f64 1/2 (/.f64 (.f64 e (.f64 e (pow.f64 v 3))) (pow.f64 (+.f64 e 1) 2)))) (.f64 1/6 (/.f64 (.f64 e (pow.f64 v 3)) (+.f64 e 1))))

rewrite49.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-sqr-sqrt_binary64_441`
25×	`associate-r_binary64_359`
24×	`add-exp-log_binary64_457`
13×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `prod-exp_binary64_468` `add-cbrt-cube_binary64_455`
9×	`add-log-exp_binary64_458` `associate-l_binary64_360`
8×	`unpow-prod-down_binary64_498` `unswap-sqr_binary64_387` `cube-prod_binary64_447`
6×	`pow1_binary64_480`
5×	`cbrt-unprod_binary64_452`
4×	`sqr-pow_binary64_391` `associate-*r/_binary64_361`
3×	`pow-exp_binary64_487` `pow-to-exp_binary64_488` `*-commutative_binary64_350` `frac-sub_binary64_428`
2×	`unpow3_binary64_485` `cube-mult_binary64_449` `diff-log_binary64_511`
1×	`flip3-+_binary64_422` `pow-prod-down_binary64_490` `frac-add_binary64_427` `associate--l+_binary64_356` `sub-neg_binary64_412` `sum-log_binary64_510` `flip3--_binary64_423` `flip-+_binary64_393` `flip--_binary64_394` `cancel-sign-sub-inv_binary64_385`

Counts

4 → 98

Calls

8 calls:

17.0ms	(-.f64 (+.f64 (/.f64 (.f64 e v) (+.f64 e 1)) (.f64 1/2 (/.f64 (.f64 e (.f64 e (pow.f64 v 3))) (pow.f64 (+.f64 e 1) 2)))) (.f64 1/6 (/.f64 (.f64 e (pow.f64 v 3)) (+.f64 e 1))))
7.0ms	(*.f64 e (pow.f64 v 3))
7.0ms	(*.f64 e (pow.f64 v 3))
6.0ms	(.f64 e (.f64 e (pow.f64 v 3)))
0.0ms	(.f64 1/2 (/.f64 (.f64 e (*.f64 e (pow.f64 v 3))) (pow.f64 (+.f64 e 1) 2)))

series671.0ms (0.9%)

Counts

4 → 32

Calls

4 calls:

408.0ms	(-.f64 (+.f64 (/.f64 (.f64 e v) (+.f64 e 1)) (.f64 1/2 (/.f64 (.f64 e (.f64 e (pow.f64 v 3))) (pow.f64 (+.f64 e 1) 2)))) (.f64 1/6 (/.f64 (.f64 e (pow.f64 v 3)) (+.f64 e 1))))
98.0ms	(.f64 e (.f64 e (pow.f64 v 3)))
89.0ms	(*.f64 e (pow.f64 v 3))
76.0ms	(*.f64 e (pow.f64 v 3))

Compiler

Compiled 1785 to 1405 computations (21.3% saved)

simplify84.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5165	2865

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 1/6 (pow.f64 v 3))
0.1b	(*.f64 1/6 (pow.f64 v 3))
0.1b	(.f64 (sqrt.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))) (sqrt.f64 (.f64 e (-.f64 v (*.f64 1/6 (pow.f64 v 3))))))
0.0b	(/.f64 (.f64 (sqrt.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))) (sqrt.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))))) (+.f64 1 (.f64 e (cos.f64 v))))
4.3b	(.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))
4.3b	(.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))
18.6b	(sqrt.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))))
18.6b	(sqrt.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))))

rewrite30.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`pow1_binary64_480`
12×	`add-sqr-sqrt_binary64_441`
8×	`-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `associate-r/_binary64_361` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
6×	`associate-r_binary64_359` `associate-l_binary64_360`
4×	`pow-prod-down_binary64_490` `sqrt-div_binary64_436` `sub-neg_binary64_412` `add-log-exp_binary64_458` `distribute-rgt-in_binary64_369` `flip3--_binary64_423` `distribute-lft-in_binary64_368` `sqrt-pow1_binary64_437` `flip--_binary64_394` `cancel-sign-sub-inv_binary64_385`
2×	`pow1/2_binary64_499` `unswap-sqr_binary64_387` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `*-commutative_binary64_350` `sqrt-prod_binary64_435`

Counts

4 → 74

Calls

8 calls:

7.0ms	(.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))
6.0ms	(.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))
5.0ms	(sqrt.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))))
4.0ms	(sqrt.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))))
0.0ms	(/.f64 (.f64 (sqrt.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))) (sqrt.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))))) (+.f64 1 (.f64 e (cos.f64 v))))

series455.0ms (0.6%)

Counts

4 → 30

Calls

4 calls:

160.0ms	(.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))
148.0ms	(.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))
74.0ms	(sqrt.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))))
73.0ms	(sqrt.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))))

Compiler

Compiled 1744 to 1358 computations (22.1% saved)

simplify80.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5310	1568

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 e (sin.f64 v))
0.1b	(*.f64 e (sin.f64 v))
0.0b	(/.f64 (.f64 e (sin.f64 v)) (+.f64 (log.f64 (exp.f64 (.f64 e (cos.f64 v)))) 1))
0.0b	(/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1))
0.2b	(.f64 (sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1))) (sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (log.f64 (exp.f64 (*.f64 e (cos.f64 v)))) 1))))
5.3b	(log.f64 (exp.f64 (*.f64 e (cos.f64 v))))
12.9b	(sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1)))
12.9b	(sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (log.f64 (exp.f64 (.f64 e (cos.f64 v)))) 1)))

rewrite52.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

44×	`sqrt-prod_binary64_435`
25×	`add-sqr-sqrt_binary64_441`
21×	`*-un-lft-identity_binary64_419`
16×	`times-frac_binary64_425`
15×	`add-cube-cbrt_binary64_454`
14×	`associate-r_binary64_359`
13×	`pow1_binary64_480`
12×	`associate-l_binary64_360`
8×	`associate-/r/_binary64_365`
6×	`sqrt-div_binary64_436` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
5×	`add-log-exp_binary64_458` `log-pow_binary64_508`
4×	`flip3-+_binary64_422` `pow1/2_binary64_499` `div-inv_binary64_416` `unswap-sqr_binary64_387` `distribute-lft-out_binary64_370` `flip-+_binary64_393` `sqrt-pow1_binary64_437`
3×	`pow-prod-down_binary64_490` `log-prod_binary64_505`
2×	`rem-sqrt-square_binary64_432`
1×	`associate-l/_binary64_362` `sqrt-unprod_binary64_439` `rem-log-exp_binary64_460` `exp-to-pow_binary64_481` `frac-times_binary64_429` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `exp-prod_binary64_471` `associate-r/_binary64_361` `*-commutative_binary64_350`

Counts

4 → 103

Calls

8 calls:

22.0ms	(.f64 (sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1))) (sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (log.f64 (exp.f64 (*.f64 e (cos.f64 v)))) 1))))
9.0ms	(sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1)))
7.0ms	(sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (log.f64 (exp.f64 (.f64 e (cos.f64 v)))) 1)))
2.0ms	(log.f64 (exp.f64 (*.f64 e (cos.f64 v))))
0.0ms	(/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1))

series4.5s (6%)

Counts

4 → 30

Calls

4 calls:

3.9s	(.f64 (sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1))) (sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (log.f64 (exp.f64 (*.f64 e (cos.f64 v)))) 1))))
201.0ms	(sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (log.f64 (exp.f64 (.f64 e (cos.f64 v)))) 1)))
189.0ms	(log.f64 (exp.f64 (*.f64 e (cos.f64 v))))
128.0ms	(sqrt.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 (.f64 e (cos.f64 v)) 1)))

Compiler

Compiled 3645 to 2609 computations (28.4% saved)

simplify114.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4964	5138
1	4964	5138

prune13.6s (18.4%)

Pruning

343 alts after pruning (335 fresh and 8 done)

	Pruned	Kept	Total
New	328	145	473
Fresh	14	190	204
Picked	0	0	0
Done	1	8	9
Total	343	343	686

Error

0.0b

Counts

686 → 343

Compiler

Compiled 22469 to 14578 computations (35.1% saved)

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 (.f64 e (*.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v)))) (cbrt.f64 (cos.f64 v)))
0.1b	(*.f64 e (sin.f64 v))
0.1b	(.f64 e (.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v))))
0.0b	(/.f64 (neg.f64 (.f64 e (sin.f64 v))) (-.f64 -1 (.f64 (.f64 e (.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v)))) (cbrt.f64 (cos.f64 v)))))
0.2b	(*.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v)))
0.3b	(cbrt.f64 (cos.f64 v))
0.3b	(cbrt.f64 (cos.f64 v))
0.3b	(cbrt.f64 (cos.f64 v))

rewrite18.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_450`
23×	`add-sqr-sqrt_binary64_441`
15×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
11×	`pow1_binary64_480`
9×	`pow1/3_binary64_501`
6×	`associate-r_binary64_359` `swap-sqr_binary64_386` `associate-l_binary64_360` `add-exp-log_binary64_457`
4×	`add-log-exp_binary64_458` `unswap-sqr_binary64_387` `add-cbrt-cube_binary64_455`
2×	`pow-prod-down_binary64_490` `pow-sqr_binary64_392` `pow-prod-up_binary64_489`
1×	`prod-exp_binary64_468` `cbrt-unprod_binary64_452` `pow-plus_binary64_482` `*-commutative_binary64_350` `pow2_binary64_500`

Counts

4 → 73

Calls

8 calls:

7.0ms	(*.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v)))
1.0ms	(cbrt.f64 (cos.f64 v))
1.0ms	(cbrt.f64 (cos.f64 v))
1.0ms	(cbrt.f64 (cos.f64 v))
0.0ms	(/.f64 (neg.f64 (.f64 e (sin.f64 v))) (-.f64 -1 (.f64 (.f64 e (.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v)))) (cbrt.f64 (cos.f64 v)))))

series267.0ms (0.4%)

Counts

4 → 12

Calls

4 calls:

80.0ms	(*.f64 (cbrt.f64 (cos.f64 v)) (cbrt.f64 (cos.f64 v)))
66.0ms	(cbrt.f64 (cos.f64 v))
61.0ms	(cbrt.f64 (cos.f64 v))
60.0ms	(cbrt.f64 (cos.f64 v))

Compiler

Compiled 512 to 374 computations (27% saved)

simplify77.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4825	700
1	4825	700

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 v (/.f64 v e))
0.0b	(-.f64 v (/.f64 v e))

rewrite10.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_441` `cancel-sign-sub-inv_binary64_385`
10×	`*-un-lft-identity_binary64_419` `times-frac_binary64_425`
8×	`add-cube-cbrt_binary64_454`
3×	`add-log-exp_binary64_458`
2×	`difference-of-squares_binary64_388`
1×	`sub-neg_binary64_412` `div-inv_binary64_416` `flip3--_binary64_423` `distribute-lft-out--_binary64_371` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `diff-log_binary64_511` `flip--_binary64_394` `pow1_binary64_480`

Counts

1 → 27

Calls

2 calls:

7.0ms	(-.f64 v (/.f64 v e))
0.0ms	(-.f64 v (/.f64 v e))

series59.0ms (0.1%)

Counts

1 → 8

Calls

1 calls:

58.0ms

(-.f64 v (/.f64 v e))

Compiler

Compiled 78 to 75 computations (3.8% saved)

simplify58.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5000	318

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(*.f64 e (cos.f64 v))
0.1b	(*.f64 1/6 (pow.f64 v 3))
0.1b	(pow.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))) 3)
0.0b	(/.f64 (cbrt.f64 (pow.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))) 3)) (+.f64 1 (*.f64 e (cos.f64 v))))
0.1b	(*.f64 1/6 (pow.f64 v 3))
0.2b	(*.f64 e (cos.f64 v))
4.3b	(.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))
24.0b	(cbrt.f64 (pow.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))) 3))

rewrite27.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64_441`
18×	`associate-r_binary64_359`
13×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `add-exp-log_binary64_457`
10×	`add-cbrt-cube_binary64_455`
9×	`associate-l_binary64_360`
8×	`cbrt-prod_binary64_450` `pow1_binary64_480`
6×	`unswap-sqr_binary64_387`
5×	`unpow-prod-down_binary64_498` `prod-exp_binary64_468` `cube-prod_binary64_447`
4×	`add-log-exp_binary64_458` `associate-*r/_binary64_361`
3×	`cbrt-unprod_binary64_452` `sqr-pow_binary64_391` `*-commutative_binary64_350`
2×	`pow-prod-down_binary64_490` `sub-neg_binary64_412` `cbrt-div_binary64_451` `distribute-rgt-in_binary64_369` `unpow3_binary64_485` `cube-mult_binary64_449` `cube-div_binary64_448` `flip3--_binary64_423` `distribute-lft-in_binary64_368` `flip--_binary64_394` `cancel-sign-sub-inv_binary64_385`
1×	`pow1/3_binary64_501` `pow-exp_binary64_487` `rem-cbrt-cube_binary64_443` `pow-to-exp_binary64_488`

Counts

4 → 92

Calls

8 calls:

7.0ms	(*.f64 1/6 (pow.f64 v 3))
6.0ms	(.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))
4.0ms	(*.f64 e (cos.f64 v))
2.0ms	(cbrt.f64 (pow.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))) 3))
0.0ms	(/.f64 (cbrt.f64 (pow.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))) 3)) (+.f64 1 (*.f64 e (cos.f64 v))))

series427.0ms (0.6%)

Counts

4 → 30

Calls

4 calls:

155.0ms	(cbrt.f64 (pow.f64 (.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3)))) 3))
152.0ms	(.f64 e (-.f64 v (.f64 1/6 (pow.f64 v 3))))
85.0ms	(*.f64 e (cos.f64 v))
35.0ms	(*.f64 1/6 (pow.f64 v 3))

Compiler

Compiled 955 to 791 computations (17.2% saved)

simplify79.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4923	1583
1	4923	1583

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(pow.f64 (*.f64 e (cos.f64 v)) 3)
0.1b	(*.f64 e (sin.f64 v))
0.0b	(.f64 (/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (pow.f64 (.f64 e (cos.f64 v)) 3))) (+.f64 (.f64 1 1) (-.f64 (.f64 (.f64 e (cos.f64 v)) (.f64 e (cos.f64 v))) (.f64 1 (*.f64 e (cos.f64 v))))))
0.0b	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (pow.f64 (.f64 e (cos.f64 v)) 3)))
0.2b	(*.f64 e (cos.f64 v))
0.2b	(*.f64 e (cos.f64 v))
0.2b	(*.f64 e (cos.f64 v))
0.2b	(*.f64 e (cos.f64 v))

rewrite25.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64_441`
12×	`-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `associate-r_binary64_359` `associate-l*_binary64_360` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480`
4×	`pow-prod-down_binary64_490` `add-log-exp_binary64_458` `unswap-sqr_binary64_387` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `*-commutative_binary64_350`

Counts

4 → 72

Calls

8 calls:

5.0ms	(*.f64 e (cos.f64 v))
4.0ms	(*.f64 e (cos.f64 v))
4.0ms	(*.f64 e (cos.f64 v))
4.0ms	(*.f64 e (cos.f64 v))
0.0ms	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (pow.f64 (.f64 e (cos.f64 v)) 3)))

series293.0ms (0.4%)

Counts

4 → 24

Calls

4 calls:

79.0ms	(*.f64 e (cos.f64 v))
75.0ms	(*.f64 e (cos.f64 v))
71.0ms	(*.f64 e (cos.f64 v))
68.0ms	(*.f64 e (cos.f64 v))

Compiler

Compiled 1640 to 984 computations (40% saved)

simplify75.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4971	748
1	4971	748

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(*.f64 e (cos.f64 v))
0.2b	(*.f64 e (cos.f64 v))
0.2b	(*.f64 e (cos.f64 v))
0.0b	(/.f64 (.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v))) (+.f64 1 (.f64 (.f64 (cbrt.f64 (.f64 e (cos.f64 v))) (cbrt.f64 (.f64 e (cos.f64 v)))) (cbrt.f64 (*.f64 e (cos.f64 v))))))
0.5b	(.f64 (cbrt.f64 (.f64 e (cos.f64 v))) (cbrt.f64 (*.f64 e (cos.f64 v))))
0.6b	(cbrt.f64 (*.f64 e (cos.f64 v)))
0.6b	(cbrt.f64 (*.f64 e (cos.f64 v)))
0.6b	(cbrt.f64 (*.f64 e (cos.f64 v)))

rewrite19.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`pow1_binary64_480`
10×	`add-sqr-sqrt_binary64_441`
9×	`pow1/3_binary64_501`
8×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
7×	`cbrt-prod_binary64_450`
6×	`add-exp-log_binary64_457`
4×	`add-log-exp_binary64_458` `associate-r_binary64_359` `swap-sqr_binary64_386` `associate-l_binary64_360` `add-cbrt-cube_binary64_455`
2×	`pow-prod-down_binary64_490` `pow-sqr_binary64_392` `pow-prod-up_binary64_489`
1×	`unswap-sqr_binary64_387` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `pow-plus_binary64_482` `*-commutative_binary64_350` `pow2_binary64_500`

Counts

4 → 58

Calls

8 calls:

6.0ms	(.f64 (cbrt.f64 (.f64 e (cos.f64 v))) (cbrt.f64 (*.f64 e (cos.f64 v))))
2.0ms	(cbrt.f64 (*.f64 e (cos.f64 v)))
2.0ms	(cbrt.f64 (*.f64 e (cos.f64 v)))
2.0ms	(cbrt.f64 (*.f64 e (cos.f64 v)))
0.0ms	(/.f64 (.f64 (sqrt.f64 e) (.f64 (sqrt.f64 e) (sin.f64 v))) (+.f64 1 (.f64 (.f64 (cbrt.f64 (.f64 e (cos.f64 v))) (cbrt.f64 (.f64 e (cos.f64 v)))) (cbrt.f64 (*.f64 e (cos.f64 v))))))

series945.0ms (1.3%)

Counts

4 → 24

Calls

4 calls:

302.0ms	(.f64 (cbrt.f64 (.f64 e (cos.f64 v))) (cbrt.f64 (*.f64 e (cos.f64 v))))
225.0ms	(cbrt.f64 (*.f64 e (cos.f64 v)))
214.0ms	(cbrt.f64 (*.f64 e (cos.f64 v)))
204.0ms	(cbrt.f64 (*.f64 e (cos.f64 v)))

Compiler

Compiled 1514 to 994 computations (34.3% saved)

simplify62.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5948	745

prune17.3s (23.4%)

Pruning

431 alts after pruning (418 fresh and 13 done)

	Pruned	Kept	Total
New	321	99	420
Fresh	11	319	330
Picked	0	0	0
Done	0	13	13
Total	332	431	763

Error

0.0b

Counts

763 → 431

Compiler

Compiled 7067 to 2808 computations (60.3% saved)

simplify522.0ms (0.7%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5096	38432

regimes4.9s (6.7%)

Compiler: Compiled 54854 to 38246 computations (30.3% saved)

bsearch0.0ms (0%)

regimes115.0ms (0.2%)

Compiler: Compiled 696 to 586 computations (15.8% saved)

bsearch0.0ms (0%)

regimes75.0ms (0.1%)

Compiler: Compiled 270 to 234 computations (13.3% saved)

bsearch40.0ms (0.1%)

Steps

Iters	Range		Point
9	1.0115566888146013e-142	1.1790148553006266e-137	1.0333955396779683e-140
7	-1.1234996570361803e-07	-1.0514106243673801e-09	-2.525009993185636e-08

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes51.0ms (0.1%)

Compiler: Compiled 248 to 212 computations (14.5% saved)

bsearch0.0ms (0%)

regimes27.0ms (0%)

Compiler: Compiled 64 to 74 computations (-15.6% saved)

bsearch0.0ms (0%)

regimes27.0ms (0%)

Compiler: Compiled 50 to 62 computations (-24% saved)

bsearch0.0ms (0%)

regimes24.0ms (0%)

Compiler: Compiled 36 to 52 computations (-44.4% saved)

bsearch0.0ms (0%)

regimes20.0ms (0%)

Compiler: Compiled 12 to 30 computations (-150% saved)

bsearch0.0ms (0%)

regimes13.0ms (0%)

Accuracy

Total 0.1b remaining (97.8%)

Threshold costs 0.1b (97.8%)

Compiler

Compiled 8 to 18 computations (-125% saved)

bsearch6.0ms (0%)

Compiler: Compiled 68 to 55 computations (19.1% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	60	95
1	60	95

end0.0ms (0%)

sample17.4s (23.6%)

Algorithm

1×

intervals

Results

574.0ms	1951×	body	1024	valid
312.0ms	4476×	body	128	valid
221.0ms	1018×	body	512	valid
168.0ms	8000×	pre	128	true
82.0ms	552×	body	256	valid
2.0ms	3×	body	2048	valid

Compiler

Compiled 18486 to 12922 computations (30.1% saved)

Pareto

0.7049742047335927