Details

analyze7.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	50%	50%	0
0%	50%	50%	1
0%	50%	50%	2
0%	50%	50%	3
37.5%	12.5%	50%	4
43.7%	6.2%	50%	5
46.9%	3.1%	50%	6
48.4%	1.6%	50%	7
49.2%	0.8%	50%	8
49.6%	0.4%	50%	9
49.8%	0.2%	50%	10
49.9%	0.1%	50%	11
49.9%	0%	50%	12
50%	0%	50%	13
50%	0%	50%	14

Compiler

Compiled 29 to 20 computations (31% saved)

sample22.0ms (0%)

Algorithm

1×

intervals

Results

13.0ms	256×	body	128	valid
3.0ms	256×	pre	128	true

Compiler

Compiled 54 to 38 computations (29.6% saved)

simplify145.0ms (0%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5047	13

prune3.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.2b

Counts

2 → 2

Compiler

Compiled 9 to 8 computations (11.1% saved)

localize14.0ms (0%)

Local error

Found 6 expressions with local error:

44.0b	(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 2 i) (.f64 2 i)))
15.8b	(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 2 i) (.f64 2 i))) (-.f64 (.f64 (.f64 2 i) (*.f64 2 i)) 1))
0.1b	(.f64 (.f64 i i) (*.f64 i i))
0.1b	(.f64 (.f64 i i) (*.f64 i i))
15.8b	(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 2 i) (.f64 2 i))) (-.f64 (.f64 (.f64 2 i) (*.f64 2 i)) 1))
44.0b	(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 2 i) (.f64 2 i)))

rewrite115.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

302×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
168×	`prod-exp_binary64_468` `cbrt-unprod_binary64_452`
114×	`pow1_binary64_480`
76×	`div-exp_binary64_470` `cbrt-undiv_binary64_453`
38×	`times-frac_binary64_425`
36×	`pow-prod-up_binary64_489`
23×	`pow-prod-down_binary64_490`
22×	`*-un-lft-identity_binary64_419` `add-sqr-sqrt_binary64_441` `pow-sqr_binary64_392`
18×	`pow-plus_binary64_482`
16×	`add-cube-cbrt_binary64_454`
13×	`pow2_binary64_500`
12×	`difference-of-squares_binary64_388`
9×	`div-inv_binary64_416`
7×	`associate-/r*_binary64_363`
6×	`difference-of-sqr-1_binary64_389` `associate-/l*_binary64_364`
3×	`add-log-exp_binary64_458`
2×	`clear-num_binary64_418` `associate-/r/_binary64_365` `frac-2neg_binary64_430`
1×	`associate-r_binary64_359` `unswap-sqr_binary64_387` `flip3--_binary64_423` `-commutative_binary64_350` `swap-sqr_binary64_386` `associate-l*_binary64_360` `flip--_binary64_394` `associate-/l/_binary64_366`

Counts

3 → 232

Calls

6 calls:

38.0ms	(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 2 i) (.f64 2 i))) (-.f64 (.f64 (.f64 2 i) (*.f64 2 i)) 1))
26.0ms	(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 2 i) (.f64 2 i)))
9.0ms	(.f64 (.f64 i i) (*.f64 i i))
0.0ms	(.f64 (.f64 i i) (*.f64 i i))
0.0ms	(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 2 i) (.f64 2 i))) (-.f64 (.f64 (.f64 2 i) (*.f64 2 i)) 1))

series129.0ms (0%)

Counts

3 → 16

Calls

3 calls:

70.0ms

(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i))) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))

29.0ms

(*.f64 (*.f64 i i) (*.f64 i i))

29.0ms

(/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i)))

Compiler

Compiled 351 to 308 computations (12.3% saved)

simplify110.0ms (0%)

Algorithm

1×	egg-herbie

Counts

248 → 248

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4846	3530
1	4846	3530

localize6.0ms (0%)

Local error

Found 6 expressions with local error:

0.3b	(/.f64 1 (*.f64 i i))
0.2b	(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
0.0b	(-.f64 4 (/.f64 1 (*.f64 i i)))
0.0b	(-.f64 4 (/.f64 1 (*.f64 i i)))
0.2b	(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
0.3b	(/.f64 1 (*.f64 i i))

rewrite27.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

45×	`add-sqr-sqrt_binary64_441`
40×	`*-un-lft-identity_binary64_419` `times-frac_binary64_425`
20×	`add-cube-cbrt_binary64_454`
16×	`add-exp-log_binary64_457`
15×	`difference-of-squares_binary64_388`
11×	`pow1_binary64_480`
10×	`distribute-lft-out--_binary64_371` `add-cbrt-cube_binary64_455`
9×	`associate-/r*_binary64_363`
8×	`div-inv_binary64_416`
7×	`cancel-sign-sub-inv_binary64_385`
6×	`pow-flip_binary64_493` `associate-/l*_binary64_364`
5×	`add-log-exp_binary64_458` `div-exp_binary64_470`
3×	`prod-exp_binary64_468` `cbrt-undiv_binary64_453`
2×	`clear-num_binary64_418` `1-exp_binary64_463` `flip3--_binary64_423` `associate-/r/_binary64_365` `rec-exp_binary64_469` `frac-2neg_binary64_430` `flip--_binary64_394`
1×	`pow-prod-down_binary64_490` `sub-neg_binary64_412` `inv-pow_binary64_504` `cbrt-unprod_binary64_452` `pow-plus_binary64_482` `diff-log_binary64_511` `pow-sqr_binary64_392` `pow-prod-up_binary64_489` `pow2_binary64_500`

Counts

3 → 104

Calls

6 calls:

8.0ms	(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
6.0ms	(-.f64 4 (/.f64 1 (*.f64 i i)))
5.0ms	(/.f64 1 (*.f64 i i))
0.0ms	(-.f64 4 (/.f64 1 (*.f64 i i)))
0.0ms	(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))

series93.0ms (0%)

Counts

3 → 19

Calls

3 calls:

44.0ms	(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
31.0ms	(-.f64 4 (/.f64 1 (*.f64 i i)))
19.0ms	(/.f64 1 (*.f64 i i))

Compiler

Compiled 256 to 251 computations (2% saved)

simplify72.0ms (0%)

Algorithm

1×	egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4829	1609
1	4829	1609

prune1.5s (0.5%)

Pruning

100 alts after pruning (98 fresh and 2 done)

	Pruned	Kept	Total
New	273	98	371
Fresh	0	0	0
Picked	0	0	0
Done	0	2	2
Total	273	100	373

Error

Counts

373 → 100

Compiler

Compiled 4758 to 3619 computations (23.9% saved)

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 (/.f64 (/.f64 i 2) (+.f64 (.f64 i 2) 1)) (/.f64 (/.f64 i 2) (-.f64 (*.f64 i 2) 1)))
0.0b	(/.f64 (/.f64 i 2) (+.f64 (*.f64 i 2) 1))
0.0b	(/.f64 (/.f64 i 2) (+.f64 (*.f64 i 2) 1))
0.0b	(.f64 (/.f64 (/.f64 i 2) (+.f64 (.f64 i 2) 1)) (/.f64 (/.f64 i 2) (-.f64 (*.f64 i 2) 1)))

rewrite93.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

225×	`times-frac_binary64_425`
150×	`add-sqr-sqrt_binary64_441`
114×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
45×	`associate-r_binary64_359` `associate-l_binary64_360`
43×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
21×	`div-exp_binary64_470` `cbrt-undiv_binary64_453`
13×	`div-inv_binary64_416` `associate-/l*_binary64_364`
9×	`unswap-sqr_binary64_387` `prod-exp_binary64_468` `cbrt-unprod_binary64_452`
6×	`associate-/r/_binary64_365`
4×	`pow1_binary64_480`
3×	`associate-/r*_binary64_363`
2×	`flip3-+_binary64_422` `add-log-exp_binary64_458` `flip-+_binary64_393`
1×	`associate-l/_binary64_362` `pow-prod-down_binary64_490` `clear-num_binary64_418` `frac-times_binary64_429` `flip3--_binary64_423` `associate-r/_binary64_361` `*-commutative_binary64_350` `frac-2neg_binary64_430` `flip--_binary64_394` `associate-/l/_binary64_366`

Counts

2 → 201

Calls

4 calls:

59.0ms	(.f64 (/.f64 (/.f64 i 2) (+.f64 (.f64 i 2) 1)) (/.f64 (/.f64 i 2) (-.f64 (*.f64 i 2) 1)))
9.0ms	(/.f64 (/.f64 i 2) (+.f64 (*.f64 i 2) 1))
0.0ms	(/.f64 (/.f64 i 2) (+.f64 (*.f64 i 2) 1))
0.0ms	(.f64 (/.f64 (/.f64 i 2) (+.f64 (.f64 i 2) 1)) (/.f64 (/.f64 i 2) (-.f64 (*.f64 i 2) 1)))

series162.0ms (0.1%)

Counts

2 → 22

Calls

2 calls:

89.0ms	(.f64 (/.f64 (/.f64 i 2) (+.f64 (.f64 i 2) 1)) (/.f64 (/.f64 i 2) (-.f64 (*.f64 i 2) 1)))
73.0ms	(/.f64 (/.f64 i 2) (+.f64 (*.f64 i 2) 1))

Compiler

Compiled 389 to 348 computations (10.5% saved)

simplify119.0ms (0%)

Algorithm

1×	egg-herbie

Counts

223 → 223

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4963	5879
1	4963	5879

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

localize8.0ms (0%)

Local error

Found 6 expressions with local error:

0.1b	(/.f64 1/4 (+.f64 2 (/.f64 1 i)))
0.1b	(/.f64 (/.f64 1/4 (+.f64 2 (/.f64 1 i))) (-.f64 (sqrt.f64 4) (/.f64 1 i)))
0.0b	(-.f64 (sqrt.f64 4) (/.f64 1 i))
0.0b	(-.f64 (sqrt.f64 4) (/.f64 1 i))
0.1b	(/.f64 (/.f64 1/4 (+.f64 2 (/.f64 1 i))) (-.f64 (sqrt.f64 4) (/.f64 1 i)))
0.1b	(/.f64 1/4 (+.f64 2 (/.f64 1 i)))

rewrite99.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

527×	`times-frac_binary64_425`
472×	`add-sqr-sqrt_binary64_441`
385×	`*-un-lft-identity_binary64_419`
150×	`add-cube-cbrt_binary64_454`
138×	`difference-of-squares_binary64_388`
80×	`distribute-lft-out_binary64_370`
78×	`div-inv_binary64_416`
69×	`sqrt-prod_binary64_435`
46×	`distribute-lft-out--_binary64_371`
28×	`associate-/r/_binary64_365`
24×	`associate-/l*_binary64_364`
16×	`associate-/r*_binary64_363`
13×	`flip3-+_binary64_422` `flip-+_binary64_393` `cancel-sign-sub-inv_binary64_385`
10×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
5×	`add-log-exp_binary64_458`
4×	`div-exp_binary64_470` `cbrt-undiv_binary64_453`
3×	`pow1_binary64_480`
2×	`clear-num_binary64_418` `flip3--_binary64_423` `frac-2neg_binary64_430` `flip--_binary64_394`
1×	`sub-neg_binary64_412` `diff-log_binary64_511` `associate-/l/_binary64_366`

Counts

3 → 349

Calls

6 calls:

25.0ms	(/.f64 (/.f64 1/4 (+.f64 2 (/.f64 1 i))) (-.f64 (sqrt.f64 4) (/.f64 1 i)))
10.0ms	(-.f64 (sqrt.f64 4) (/.f64 1 i))
8.0ms	(/.f64 1/4 (+.f64 2 (/.f64 1 i)))
0.0ms	(-.f64 (sqrt.f64 4) (/.f64 1 i))
0.0ms	(/.f64 (/.f64 1/4 (+.f64 2 (/.f64 1 i))) (-.f64 (sqrt.f64 4) (/.f64 1 i)))

series101.0ms (0%)

Counts

3 → 28

Calls

3 calls:

53.0ms	(/.f64 (/.f64 1/4 (+.f64 2 (/.f64 1 i))) (-.f64 (sqrt.f64 4) (/.f64 1 i)))
31.0ms	(/.f64 1/4 (+.f64 2 (/.f64 1 i)))
17.0ms	(-.f64 (sqrt.f64 4) (/.f64 1 i))

Compiler

Compiled 462 to 426 computations (7.8% saved)

simplify155.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

377 → 377

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5231	12116

localize13.0ms (0%)

Local error

Found 6 expressions with local error:

0.2b	(/.f64 1/4 (*.f64 (+.f64 2 (fabs.f64 (/.f64 1 i))) (-.f64 2 (fabs.f64 (/.f64 1 i)))))
0.1b	(*.f64 (+.f64 2 (fabs.f64 (/.f64 1 i))) (-.f64 2 (fabs.f64 (/.f64 1 i))))
0.0b	(-.f64 2 (fabs.f64 (/.f64 1 i)))
0.0b	(-.f64 2 (fabs.f64 (/.f64 1 i)))
0.1b	(*.f64 (+.f64 2 (fabs.f64 (/.f64 1 i))) (-.f64 2 (fabs.f64 (/.f64 1 i))))
0.2b	(/.f64 1/4 (*.f64 (+.f64 2 (fabs.f64 (/.f64 1 i))) (-.f64 2 (fabs.f64 (/.f64 1 i)))))

rewrite31.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64_419` `add-sqr-sqrt_binary64_441`
10×	`add-cube-cbrt_binary64_454` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
9×	`cancel-sign-sub-inv_binary64_385`
8×	`frac-times_binary64_429` `associate-/r/_binary64_365`
7×	`flip3--_binary64_423` `flip--_binary64_394`
6×	`flip3-+_binary64_422` `flip-+_binary64_393`
5×	`add-log-exp_binary64_458` `associate-r_binary64_359` `pow1_binary64_480`
4×	`associate-l/_binary64_362` `distribute-rgt-in_binary64_369` `associate-r/_binary64_361` `distribute-lft-in_binary64_368` `associate-l_binary64_360`
3×	`times-frac_binary64_425` `sub-neg_binary64_412` `associate-/l*_binary64_364`
2×	`difference-of-squares_binary64_388` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `distribute-lft-out--_binary64_371` `div-exp_binary64_470` `cbrt-undiv_binary64_453`
1×	`pow-prod-down_binary64_490` `clear-num_binary64_418` `div-inv_binary64_416` `unswap-sqr_binary64_387` `distribute-lft-out_binary64_370` `-commutative_binary64_350` `frac-2neg_binary64_430` `diff-log_binary64_511` `associate-/r_binary64_363`

Counts

3 → 82

Calls

6 calls:

11.0ms	(*.f64 (+.f64 2 (fabs.f64 (/.f64 1 i))) (-.f64 2 (fabs.f64 (/.f64 1 i))))
9.0ms	(/.f64 1/4 (*.f64 (+.f64 2 (fabs.f64 (/.f64 1 i))) (-.f64 2 (fabs.f64 (/.f64 1 i)))))
4.0ms	(-.f64 2 (fabs.f64 (/.f64 1 i)))
0.0ms	(-.f64 2 (fabs.f64 (/.f64 1 i)))
0.0ms	(*.f64 (+.f64 2 (fabs.f64 (/.f64 1 i))) (-.f64 2 (fabs.f64 (/.f64 1 i))))

series142.0ms (0%)

Counts

3 → 9

Calls

3 calls:

85.0ms	(/.f64 1/4 (*.f64 (+.f64 2 (fabs.f64 (/.f64 1 i))) (-.f64 2 (fabs.f64 (/.f64 1 i)))))
40.0ms	(*.f64 (+.f64 2 (fabs.f64 (/.f64 1 i))) (-.f64 2 (fabs.f64 (/.f64 1 i))))
16.0ms	(-.f64 2 (fabs.f64 (/.f64 1 i)))

Compiler

Compiled 270 to 252 computations (6.7% saved)

simplify92.0ms (0%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4896	2135
1	4896	2135

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

30.6b	(/.f64 (log.f64 (exp.f64 (pow.f64 i 4))) (.f64 (.f64 2 i) (*.f64 2 i)))
13.0b	(/.f64 (/.f64 (log.f64 (exp.f64 (pow.f64 i 4))) (.f64 (.f64 2 i) (.f64 2 i))) (-.f64 (.f64 (.f64 2 i) (.f64 2 i)) 1))
1.0b	(log.f64 (exp.f64 (pow.f64 i 4)))
0.0b	(exp.f64 (pow.f64 i 4))
0.0b	(exp.f64 (pow.f64 i 4))
1.0b	(log.f64 (exp.f64 (pow.f64 i 4)))
13.0b	(/.f64 (/.f64 (log.f64 (exp.f64 (pow.f64 i 4))) (.f64 (.f64 2 i) (.f64 2 i))) (-.f64 (.f64 (.f64 2 i) (.f64 2 i)) 1))
30.6b	(/.f64 (log.f64 (exp.f64 (pow.f64 i 4))) (.f64 (.f64 2 i) (*.f64 2 i)))

rewrite72.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

178×	`times-frac_binary64_425`
80×	`log-pow_binary64_508`
77×	`exp-prod_binary64_471`
75×	`*-un-lft-identity_binary64_419` `add-sqr-sqrt_binary64_441`
59×	`add-cube-cbrt_binary64_454`
47×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
33×	`unpow-prod-down_binary64_498`
32×	`difference-of-squares_binary64_388`
26×	`associate-/l*_binary64_364`
16×	`difference-of-sqr-1_binary64_389` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `div-exp_binary64_470` `cbrt-undiv_binary64_453`
14×	`pow1_binary64_480`
11×	`sqr-pow_binary64_391`
9×	`div-inv_binary64_416`
7×	`associate-/r*_binary64_363`
5×	`add-log-exp_binary64_458`
3×	`log-prod_binary64_505`
2×	`clear-num_binary64_418` `associate-/r/_binary64_365` `frac-2neg_binary64_430`
1×	`rem-log-exp_binary64_460` `flip3--_binary64_423` `flip--_binary64_394` `rem-exp-log_binary64_459` `associate-/l/_binary64_366`

Counts

4 → 213

Calls

8 calls:

27.0ms	(/.f64 (/.f64 (log.f64 (exp.f64 (pow.f64 i 4))) (.f64 (.f64 2 i) (.f64 2 i))) (-.f64 (.f64 (.f64 2 i) (.f64 2 i)) 1))
12.0ms	(/.f64 (log.f64 (exp.f64 (pow.f64 i 4))) (.f64 (.f64 2 i) (*.f64 2 i)))
3.0ms	(log.f64 (exp.f64 (pow.f64 i 4)))
3.0ms	(exp.f64 (pow.f64 i 4))
0.0ms	(exp.f64 (pow.f64 i 4))

series464.0ms (0.2%)

Counts

4 → 22

Calls

4 calls:

182.0ms	(/.f64 (/.f64 (log.f64 (exp.f64 (pow.f64 i 4))) (.f64 (.f64 2 i) (.f64 2 i))) (-.f64 (.f64 (.f64 2 i) (.f64 2 i)) 1))
149.0ms	(/.f64 (log.f64 (exp.f64 (pow.f64 i 4))) (.f64 (.f64 2 i) (*.f64 2 i)))
104.0ms	(log.f64 (exp.f64 (pow.f64 i 4)))
28.0ms	(exp.f64 (pow.f64 i 4))

Compiler

Compiled 713 to 604 computations (15.3% saved)

simplify128.0ms (0%)

Algorithm

1×	egg-herbie

Counts

235 → 235

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4923	5701
1	4923	5701

prune17.9s (5.8%)

Pruning

387 alts after pruning (381 fresh and 6 done)

	Pruned	Kept	Total
New	618	308	926
Fresh	20	73	93
Picked	0	0	0
Done	1	6	7
Total	639	387	1026

Error

Counts

1026 → 387

Compiler

Compiled 25620 to 20982 computations (18.1% saved)

localize11.0ms (0%)

Local error

Found 6 expressions with local error:

0.0b	(.f64 (/.f64 i 2) (/.f64 i (+.f64 2 (.f64 4 i))))
0.0b	(/.f64 (.f64 (/.f64 i 2) (/.f64 i (+.f64 2 (.f64 4 i)))) (-.f64 (*.f64 i 2) 1))
0.0b	(/.f64 i (+.f64 2 (*.f64 4 i)))
0.0b	(/.f64 i (+.f64 2 (*.f64 4 i)))
0.0b	(/.f64 (.f64 (/.f64 i 2) (/.f64 i (+.f64 2 (.f64 4 i)))) (-.f64 (*.f64 i 2) 1))
0.0b	(.f64 (/.f64 i 2) (/.f64 i (+.f64 2 (.f64 4 i))))

rewrite46.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

39×	`add-sqr-sqrt_binary64_441`
35×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
34×	`times-frac_binary64_425`
27×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
15×	`associate-r_binary64_359`
14×	`div-exp_binary64_470` `cbrt-undiv_binary64_453`
13×	`associate-l_binary64_360`
8×	`prod-exp_binary64_468` `cbrt-unprod_binary64_452`
6×	`associate-/r/_binary64_365` `associate-/r*_binary64_363`
5×	`pow1_binary64_480`
4×	`div-inv_binary64_416` `unswap-sqr_binary64_387` `associate-/l*_binary64_364`
3×	`add-log-exp_binary64_458` `associate-/l/_binary64_366`
2×	`flip3-+_binary64_422` `associate-l/_binary64_362` `clear-num_binary64_418` `frac-times_binary64_429` `associate-r/_binary64_361` `frac-2neg_binary64_430` `flip-+_binary64_393`
1×	`pow-prod-down_binary64_490` `flip3--_binary64_423` `*-commutative_binary64_350` `flip--_binary64_394`

Counts

3 → 113

Calls

6 calls:

15.0ms	(.f64 (/.f64 i 2) (/.f64 i (+.f64 2 (.f64 4 i))))
13.0ms	(/.f64 (.f64 (/.f64 i 2) (/.f64 i (+.f64 2 (.f64 4 i)))) (-.f64 (*.f64 i 2) 1))
7.0ms	(/.f64 i (+.f64 2 (*.f64 4 i)))
0.0ms	(/.f64 i (+.f64 2 (*.f64 4 i)))
0.0ms	(/.f64 (.f64 (/.f64 i 2) (/.f64 i (+.f64 2 (.f64 4 i)))) (-.f64 (*.f64 i 2) 1))

series162.0ms (0.1%)

Counts

3 → 34

Calls

3 calls:

84.0ms	(/.f64 (.f64 (/.f64 i 2) (/.f64 i (+.f64 2 (.f64 4 i)))) (-.f64 (*.f64 i 2) 1))
39.0ms	(/.f64 i (+.f64 2 (*.f64 4 i)))
39.0ms	(.f64 (/.f64 i 2) (/.f64 i (+.f64 2 (.f64 4 i))))

Compiler

Compiled 589 to 524 computations (11% saved)

simplify89.0ms (0%)

Algorithm

1×	egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4955	2671
1	4955	2671

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

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

15.2b	(sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))
0.0b	(.f64 (/.f64 (/.f64 i 2) (sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))) (/.f64 (/.f64 i 2) (sqrt.f64 (+.f64 (.f64 i (*.f64 i 4)) -1))))
0.0b	(/.f64 (/.f64 i 2) (sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1)))
0.0b	(/.f64 (/.f64 i 2) (sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1)))
0.0b	(/.f64 (/.f64 i 2) (sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1)))
0.0b	(.f64 (/.f64 (/.f64 i 2) (sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))) (/.f64 (/.f64 i 2) (sqrt.f64 (+.f64 (.f64 i (*.f64 i 4)) -1))))
15.2b	(sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))
15.2b	(sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))

rewrite259.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

817×	`times-frac_binary64_425`
551×	`add-sqr-sqrt_binary64_441`
387×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
250×	`sqrt-prod_binary64_435`
110×	`swap-sqr_binary64_386`
84×	`associate-r_binary64_359` `associate-l_binary64_360`
45×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
40×	`div-inv_binary64_416`
25×	`unswap-sqr_binary64_387`
21×	`div-exp_binary64_470` `cbrt-undiv_binary64_453`
14×	`sqrt-div_binary64_436`
13×	`pow1_binary64_480` `associate-/l*_binary64_364`
10×	`associate-/r/_binary64_365`
9×	`prod-exp_binary64_468` `cbrt-unprod_binary64_452`
7×	`flip3-+_binary64_422` `flip-+_binary64_393`
6×	`associate-/r*_binary64_363`
4×	`add-log-exp_binary64_458`
2×	`pow1/2_binary64_499` `sqrt-pow1_binary64_437` `rem-sqrt-square_binary64_432`
1×	`associate-l/_binary64_362` `pow-prod-down_binary64_490` `clear-num_binary64_418` `frac-times_binary64_429` `associate-r/_binary64_361` `pow-plus_binary64_482` `*-commutative_binary64_350` `frac-2neg_binary64_430` `pow-sqr_binary64_392` `pow-prod-up_binary64_489` `pow2_binary64_500` `associate-/l/_binary64_366`

Counts

4 → 481

Calls

8 calls:

136.0ms	(.f64 (/.f64 (/.f64 i 2) (sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))) (/.f64 (/.f64 i 2) (sqrt.f64 (+.f64 (.f64 i (*.f64 i 4)) -1))))
13.0ms	(/.f64 (/.f64 i 2) (sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1)))
6.0ms	(sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))
6.0ms	(sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))
0.0ms	(/.f64 (/.f64 i 2) (sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1)))

series191.0ms (0.1%)

Counts

4 → 28

Calls

4 calls:

66.0ms	(.f64 (/.f64 (/.f64 i 2) (sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))) (/.f64 (/.f64 i 2) (sqrt.f64 (+.f64 (.f64 i (*.f64 i 4)) -1))))
53.0ms	(/.f64 (/.f64 i 2) (sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1)))
38.0ms	(sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))
34.0ms	(sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))

Compiler

Compiled 751 to 642 computations (14.5% saved)

simplify250.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

509 → 509

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4949	23708
1	4949	23708

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.5b	(cbrt.f64 i)
0.5b	(pow.f64 (cbrt.f64 i) 8)
0.3b	(/.f64 4 (/.f64 (pow.f64 (cbrt.f64 i) 8) (*.f64 i i)))
0.2b	(/.f64 (pow.f64 (cbrt.f64 i) 4) (/.f64 4 (/.f64 (pow.f64 (cbrt.f64 i) 8) (*.f64 i i))))
0.5b	(cbrt.f64 i)
0.6b	(pow.f64 (cbrt.f64 i) 4)
15.8b	(/.f64 (/.f64 (pow.f64 (cbrt.f64 i) 4) (/.f64 4 (/.f64 (pow.f64 (cbrt.f64 i) 8) (.f64 i i)))) (-.f64 (.f64 (.f64 2 i) (.f64 2 i)) 1))
39.5b	(/.f64 (pow.f64 (cbrt.f64 i) 8) (*.f64 i i))

rewrite1.3s (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

11190×	`times-frac_binary64_425`
3850×	`*-un-lft-identity_binary64_419` `add-sqr-sqrt_binary64_441`
3374×	`add-cube-cbrt_binary64_454`
3252×	`unpow-prod-down_binary64_498`
1629×	`cbrt-prod_binary64_450`
952×	`difference-of-squares_binary64_388`
542×	`sqr-pow_binary64_391`
485×	`associate-/l*_binary64_364`
476×	`difference-of-sqr-1_binary64_389`
289×	`div-inv_binary64_416`
126×	`add-exp-log_binary64_457`
94×	`div-exp_binary64_470`
79×	`associate-/r/_binary64_365`
29×	`add-cbrt-cube_binary64_455`
17×	`pow-exp_binary64_487` `pow-to-exp_binary64_488`
16×	`cbrt-undiv_binary64_453`
12×	`prod-exp_binary64_468`
7×	`associate-/r*_binary64_363`
5×	`pow1_binary64_480`
4×	`add-log-exp_binary64_458`
3×	`pow-unpow_binary64_496`
2×	`clear-num_binary64_418` `pow1/3_binary64_501` `cbrt-unprod_binary64_452` `frac-2neg_binary64_430` `pow-pow_binary64_491`
1×	`flip3--_binary64_423` `flip--_binary64_394` `associate-/l/_binary64_366`

Counts

4 → 1000

Calls

8 calls:

173.0ms	(/.f64 (/.f64 (pow.f64 (cbrt.f64 i) 4) (/.f64 4 (/.f64 (pow.f64 (cbrt.f64 i) 8) (.f64 i i)))) (-.f64 (.f64 (.f64 2 i) (.f64 2 i)) 1))
7.0ms	(/.f64 (pow.f64 (cbrt.f64 i) 8) (*.f64 i i))
3.0ms	(pow.f64 (cbrt.f64 i) 4)
1.0ms	(cbrt.f64 i)
0.0ms	(/.f64 (pow.f64 (cbrt.f64 i) 4) (/.f64 4 (/.f64 (pow.f64 (cbrt.f64 i) 8) (*.f64 i i))))

series428.0ms (0.1%)

Counts

4 → 19

Calls

4 calls:

117.0ms	(/.f64 (/.f64 (pow.f64 (cbrt.f64 i) 4) (/.f64 4 (/.f64 (pow.f64 (cbrt.f64 i) 8) (.f64 i i)))) (-.f64 (.f64 (.f64 2 i) (.f64 2 i)) 1))
117.0ms	(/.f64 (pow.f64 (cbrt.f64 i) 8) (*.f64 i i))
115.0ms	(pow.f64 (cbrt.f64 i) 4)
78.0ms	(cbrt.f64 i)

Compiler

Compiled 647 to 562 computations (13.1% saved)

simplify630.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1019 → 1019

Iterations

Useful iterations: 0 (104.0ms)

Iter	Nodes	Cost
0	4936	67673
1	4936	67673

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(/.f64 (+.f64 (*.f64 i 2) 1) (/.f64 (cbrt.f64 i) (cbrt.f64 2)))
0.3b	(/.f64 (cbrt.f64 i) (cbrt.f64 2))
0.2b	(/.f64 (/.f64 (.f64 (cbrt.f64 i) (cbrt.f64 i)) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (/.f64 (+.f64 (*.f64 i 2) 1) (/.f64 (cbrt.f64 i) (cbrt.f64 2))))
0.0b	(.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 i) (cbrt.f64 i)) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (/.f64 (+.f64 (.f64 i 2) 1) (/.f64 (cbrt.f64 i) (cbrt.f64 2)))) (/.f64 (/.f64 i 2) (-.f64 (*.f64 i 2) 1)))
0.5b	(cbrt.f64 i)
1.0b	(cbrt.f64 2)
1.0b	(cbrt.f64 2)
1.0b	(cbrt.f64 2)

rewrite15.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cbrt-prod_binary64_450`
8×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
4×	`pow1/3_binary64_501` `add-log-exp_binary64_458` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480`

Counts

4 → 44

Calls

8 calls:

7.0ms	(cbrt.f64 2)
1.0ms	(cbrt.f64 2)
1.0ms	(cbrt.f64 2)
1.0ms	(cbrt.f64 i)
0.0ms	(.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 i) (cbrt.f64 i)) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (/.f64 (+.f64 (.f64 i 2) 1) (/.f64 (cbrt.f64 i) (cbrt.f64 2)))) (/.f64 (/.f64 i 2) (-.f64 (*.f64 i 2) 1)))

series78.0ms (0%)

Counts

4 → 3

Calls

4 calls:

78.0ms	(cbrt.f64 i)
0.0ms	(cbrt.f64 2)
0.0ms	(cbrt.f64 2)
0.0ms	(cbrt.f64 2)

Compiler

Compiled 214 to 178 computations (16.8% saved)

simplify52.0ms (0%)

Algorithm

1×	egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5040	288

prune1.4min (26.7%)

Pruning

1127 alts after pruning (1117 fresh and 10 done)

	Pruned	Kept	Total
New	954	768	1722
Fresh	27	349	376
Picked	0	0	0
Done	1	10	11
Total	982	1127	2109

Error

Counts

2109 → 1127

Compiler

Compiled 91351 to 66770 computations (26.9% saved)

localize9.0ms (0%)

Local error

Found 6 expressions with local error:

0.0b	(.f64 i (/.f64 i (+.f64 2 (.f64 4 i))))
0.0b	(/.f64 (.f64 i (/.f64 i (+.f64 2 (.f64 4 i)))) (+.f64 (*.f64 i 4) -2))
0.0b	(/.f64 i (+.f64 2 (*.f64 4 i)))
0.0b	(/.f64 i (+.f64 2 (*.f64 4 i)))
0.0b	(/.f64 (.f64 i (/.f64 i (+.f64 2 (.f64 4 i)))) (+.f64 (*.f64 i 4) -2))
0.0b	(.f64 i (/.f64 i (+.f64 2 (.f64 4 i))))

rewrite32.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 89

Calls

6 calls:

10.0ms	(/.f64 (.f64 i (/.f64 i (+.f64 2 (.f64 4 i)))) (+.f64 (*.f64 i 4) -2))
9.0ms	(.f64 i (/.f64 i (+.f64 2 (.f64 4 i))))
5.0ms	(/.f64 i (+.f64 2 (*.f64 4 i)))
0.0ms	(/.f64 i (+.f64 2 (*.f64 4 i)))
0.0ms	(/.f64 (.f64 i (/.f64 i (+.f64 2 (.f64 4 i)))) (+.f64 (*.f64 i 4) -2))

series159.0ms (0.1%)

Counts

3 → 34

Calls

3 calls:

80.0ms	(/.f64 (.f64 i (/.f64 i (+.f64 2 (.f64 4 i)))) (+.f64 (*.f64 i 4) -2))
39.0ms	(.f64 i (/.f64 i (+.f64 2 (.f64 4 i))))
39.0ms	(/.f64 i (+.f64 2 (*.f64 4 i)))

Compiler

Compiled 563 to 498 computations (11.5% saved)

simplify80.0ms (0%)

Algorithm

1×	egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4888	2120
1	4888	2120

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.3b	(/.f64 1/64 (*.f64 i i))
0.3b	(/.f64 1/64 (*.f64 i i))

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-/l_binary64_364`
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` `associate-/r*_binary64_363` `pow1_binary64_480`

Counts

1 → 21

Calls

2 calls:

4.0ms	(/.f64 1/64 (*.f64 i i))
0.0ms	(/.f64 1/64 (*.f64 i i))

series23.0ms (0%)

Counts

1 → 3

Calls

1 calls:

23.0ms

(/.f64 1/64 (*.f64 i i))

Compiler

Compiled 42 to 42 computations (0% saved)

simplify88.0ms (0%)

Algorithm

1×	egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4677	206
1	4677	206

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (/.f64 (.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (sqrt.f64 (+.f64 2 (/.f64 1 i)))) (/.f64 (/.f64 (cbrt.f64 1/4) (sqrt.f64 (+.f64 2 (/.f64 1 i)))) (-.f64 2 (/.f64 1 i))))
0.1b	(sqrt.f64 (+.f64 2 (/.f64 1 i)))
0.1b	(sqrt.f64 (+.f64 2 (/.f64 1 i)))
0.0b	(-.f64 2 (/.f64 1 i))
0.1b	(.f64 (/.f64 (.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (sqrt.f64 (+.f64 2 (/.f64 1 i)))) (/.f64 (/.f64 (cbrt.f64 1/4) (sqrt.f64 (+.f64 2 (/.f64 1 i)))) (-.f64 2 (/.f64 1 i))))
0.1b	(/.f64 (cbrt.f64 1/4) (sqrt.f64 (+.f64 2 (/.f64 1 i))))
0.2b	(/.f64 (/.f64 (cbrt.f64 1/4) (sqrt.f64 (+.f64 2 (/.f64 1 i)))) (-.f64 2 (/.f64 1 i)))
0.3b	(/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (sqrt.f64 (+.f64 2 (/.f64 1 i))))

rewrite515.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

2001×	`times-frac_binary64_425`
1472×	`add-sqr-sqrt_binary64_441`
1418×	`*-un-lft-identity_binary64_419`
646×	`add-cube-cbrt_binary64_454`
572×	`sqrt-prod_binary64_435`
441×	`cbrt-prod_binary64_450`
438×	`associate-r_binary64_359`
327×	`difference-of-squares_binary64_388`
243×	`div-inv_binary64_416`
224×	`distribute-lft-out_binary64_370`
218×	`distribute-lft-out--_binary64_371`
61×	`associate-/l*_binary64_364`
52×	`add-exp-log_binary64_457`
44×	`associate-/r/_binary64_365`
40×	`sqrt-div_binary64_436`
39×	`add-cbrt-cube_binary64_455`
24×	`associate-/r*_binary64_363`
21×	`div-exp_binary64_470` `cbrt-undiv_binary64_453`
20×	`flip3-+_binary64_422` `flip-+_binary64_393`
18×	`unswap-sqr_binary64_387`
14×	`associate-l_binary64_360`
13×	`prod-exp_binary64_468` `cbrt-unprod_binary64_452`
6×	`pow1_binary64_480`
4×	`add-log-exp_binary64_458`
3×	`clear-num_binary64_418` `frac-2neg_binary64_430`
2×	`flip3--_binary64_423` `flip--_binary64_394`
1×	`associate-l/_binary64_362` `pow-prod-down_binary64_490` `frac-times_binary64_429` `associate-r/_binary64_361` `*-commutative_binary64_350` `associate-/l/_binary64_366`

Counts

4 → 1000

Calls

8 calls:

204.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (sqrt.f64 (+.f64 2 (/.f64 1 i)))) (/.f64 (/.f64 (cbrt.f64 1/4) (sqrt.f64 (+.f64 2 (/.f64 1 i)))) (-.f64 2 (/.f64 1 i))))
34.0ms	(/.f64 (/.f64 (cbrt.f64 1/4) (sqrt.f64 (+.f64 2 (/.f64 1 i)))) (-.f64 2 (/.f64 1 i)))
13.0ms	(/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (sqrt.f64 (+.f64 2 (/.f64 1 i))))
11.0ms	(/.f64 (cbrt.f64 1/4) (sqrt.f64 (+.f64 2 (/.f64 1 i))))
0.0ms	(-.f64 2 (/.f64 1 i))

series741.0ms (0.2%)

Counts

4 → 37

Calls

4 calls:

415.0ms	(/.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (sqrt.f64 (+.f64 2 (/.f64 1 i))))
116.0ms	(/.f64 (/.f64 (cbrt.f64 1/4) (sqrt.f64 (+.f64 2 (/.f64 1 i)))) (-.f64 2 (/.f64 1 i)))
115.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (sqrt.f64 (+.f64 2 (/.f64 1 i)))) (/.f64 (/.f64 (cbrt.f64 1/4) (sqrt.f64 (+.f64 2 (/.f64 1 i)))) (-.f64 2 (/.f64 1 i))))
95.0ms	(/.f64 (cbrt.f64 1/4) (sqrt.f64 (+.f64 2 (/.f64 1 i))))

Compiler

Compiled 1846 to 1733 computations (6.1% saved)

simplify410.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1037 → 1037

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4950	44429
1	4950	44429

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(*.f64 (pow.f64 (cbrt.f64 (/.f64 i 2)) 4) (cbrt.f64 (/.f64 i 2)))
0.1b	(/.f64 (cbrt.f64 (/.f64 i 2)) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))))
0.1b	(sqrt.f64 (cbrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1)))
0.1b	(.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))) (sqrt.f64 (+.f64 (.f64 i (*.f64 i 4)) -1)))
13.0b	(/.f64 (.f64 (pow.f64 (cbrt.f64 (/.f64 i 2)) 4) (cbrt.f64 (/.f64 i 2))) (.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))) (sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))))
15.2b	(sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))
15.7b	(cbrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))
15.7b	(cbrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))

rewrite53.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-exp-log_binary64_457`
14×	`add-cbrt-cube_binary64_455`
10×	`prod-exp_binary64_468`
8×	`add-sqr-sqrt_binary64_441` `div-exp_binary64_470`
7×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
6×	`cbrt-prod_binary64_450`
5×	`cbrt-div_binary64_451` `pow1_binary64_480`
4×	`flip3-+_binary64_422` `sqrt-div_binary64_436` `add-log-exp_binary64_458` `cbrt-unprod_binary64_452` `flip-+_binary64_393` `cbrt-undiv_binary64_453`
3×	`associate-*r/_binary64_361` `sqrt-prod_binary64_435`
2×	`pow1/3_binary64_501` `pow-exp_binary64_487` `associate-/r/_binary64_365` `pow-to-exp_binary64_488`
1×	`clear-num_binary64_418` `times-frac_binary64_425` `pow1/2_binary64_499` `div-inv_binary64_416` `frac-2neg_binary64_430` `sqrt-pow1_binary64_437` `associate-/r_binary64_363` `rem-sqrt-square_binary64_432` `associate-/l_binary64_364` `associate-/l/_binary64_366`

Counts

4 → 69

Calls

8 calls:

19.0ms	(/.f64 (.f64 (pow.f64 (cbrt.f64 (/.f64 i 2)) 4) (cbrt.f64 (/.f64 i 2))) (.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))) (sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))))
6.0ms	(sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))
6.0ms	(cbrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))
5.0ms	(cbrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))
0.0ms	(.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))) (sqrt.f64 (+.f64 (.f64 i (*.f64 i 4)) -1)))

series468.0ms (0.2%)

Counts

4 → 24

Calls

4 calls:

248.0ms	(/.f64 (.f64 (pow.f64 (cbrt.f64 (/.f64 i 2)) 4) (cbrt.f64 (/.f64 i 2))) (.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))) (sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))))
93.0ms	(cbrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))
86.0ms	(cbrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))
40.0ms	(sqrt.f64 (+.f64 (.f64 i (.f64 i 4)) -1))

Compiler

Compiled 1929 to 1681 computations (12.9% saved)

simplify87.0ms (0%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4973	2575
1	4973	2575

localize31.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(/.f64 (/.f64 (pow.f64 (cbrt.f64 (sqrt.f64 i)) 4) (.f64 (cbrt.f64 4) (cbrt.f64 4))) (sqrt.f64 (-.f64 (.f64 (*.f64 i i) 4) 1)))
0.1b	(.f64 (/.f64 (/.f64 (pow.f64 (cbrt.f64 (sqrt.f64 i)) 4) (.f64 (cbrt.f64 4) (cbrt.f64 4))) (sqrt.f64 (-.f64 (.f64 (.f64 i i) 4) 1))) (/.f64 (/.f64 (pow.f64 (cbrt.f64 (sqrt.f64 i)) 4) (.f64 (/.f64 (cbrt.f64 4) (/.f64 (pow.f64 (cbrt.f64 i) 8) i)) i)) (sqrt.f64 (-.f64 (.f64 (*.f64 i i) 4) 1))))
0.0b	(.f64 (.f64 i i) 4)
0.0b	(.f64 (.f64 i i) 4)
12.5b	(/.f64 (pow.f64 (cbrt.f64 i) 8) i)
15.2b	(sqrt.f64 (-.f64 (.f64 (.f64 i i) 4) 1))
15.2b	(sqrt.f64 (-.f64 (.f64 (.f64 i i) 4) 1))
26.4b	(*.f64 (/.f64 (cbrt.f64 4) (/.f64 (pow.f64 (cbrt.f64 i) 8) i)) i)

rewrite145.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

432×	`times-frac_binary64_425`
259×	`add-sqr-sqrt_binary64_441`
219×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
209×	`associate-l_binary64_360`
175×	`cbrt-prod_binary64_450`
136×	`unpow-prod-down_binary64_498`
25×	`add-exp-log_binary64_457`
24×	`sqr-pow_binary64_391`
13×	`add-cbrt-cube_binary64_455`
11×	`unswap-sqr_binary64_387`
10×	`div-exp_binary64_470` `associate-/l*_binary64_364`
8×	`div-inv_binary64_416` `pow1_binary64_480`
6×	`sqrt-prod_binary64_435`
5×	`prod-exp_binary64_468`
4×	`sqrt-div_binary64_436` `add-log-exp_binary64_458` `cbrt-undiv_binary64_453`
3×	`associate-r_binary64_359` `cbrt-unprod_binary64_452` `associate-/r*_binary64_363`
2×	`pow1/2_binary64_499` `pow-exp_binary64_487` `flip3--_binary64_423` `pow-to-exp_binary64_488` `sqrt-pow1_binary64_437` `flip--_binary64_394` `rem-sqrt-square_binary64_432`
1×	`associate-l/_binary64_362` `pow-prod-down_binary64_490` `clear-num_binary64_418` `associate-/r/_binary64_365` `-commutative_binary64_350` `frac-2neg_binary64_430`

Counts

4 → 328

Calls

8 calls:

50.0ms	(*.f64 (/.f64 (cbrt.f64 4) (/.f64 (pow.f64 (cbrt.f64 i) 8) i)) i)
7.0ms	(sqrt.f64 (-.f64 (.f64 (.f64 i i) 4) 1))
6.0ms	(/.f64 (pow.f64 (cbrt.f64 i) 8) i)
6.0ms	(sqrt.f64 (-.f64 (.f64 (.f64 i i) 4) 1))
0.0ms	(.f64 (.f64 i i) 4)

series373.0ms (0.1%)

Counts

4 → 18

Calls

4 calls:

149.0ms	(*.f64 (/.f64 (cbrt.f64 4) (/.f64 (pow.f64 (cbrt.f64 i) 8) i)) i)
137.0ms	(/.f64 (pow.f64 (cbrt.f64 i) 8) i)
45.0ms	(sqrt.f64 (-.f64 (.f64 (.f64 i i) 4) 1))
41.0ms	(sqrt.f64 (-.f64 (.f64 (.f64 i i) 4) 1))

Compiler

Compiled 1362 to 1092 computations (19.8% saved)

simplify116.0ms (0%)

Algorithm

1×	egg-herbie

Counts

346 → 346

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4994	6641
1	4994	6641

prune2.9min (55.9%)

Pruning

1583 alts after pruning (1570 fresh and 13 done)

	Pruned	Kept	Total
New	948	675	1623
Fresh	217	895	1112
Picked	0	0	0
Done	2	13	15
Total	1167	1583	2750

Error

Counts

2750 → 1583

Compiler

Compiled 45852 to 35698 computations (22.1% saved)

simplify3.0s (1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	8630	167852

regimes18.2s (5.9%)

Compiler: Compiled 205145 to 164677 computations (19.7% saved)

bsearch0.0ms (0%)

regimes107.0ms (0%)

Compiler: Compiled 757 to 675 computations (10.8% saved)

bsearch0.0ms (0%)

regimes102.0ms (0%)

Compiler: Compiled 712 to 636 computations (10.7% saved)

bsearch0.0ms (0%)

regimes65.0ms (0%)

Compiler: Compiled 409 to 369 computations (9.8% saved)

bsearch0.0ms (0%)

regimes33.0ms (0%)

Compiler: Compiled 84 to 78 computations (7.1% saved)

bsearch22.0ms (0%)

Steps

Iters	Range		Point
9	9.515986402199573e-06	1.2240593645196924	0.5069003172104452

Compiler

Compiled 1 to 1 computations (0% saved)

regimes22.0ms (0%)

Compiler: Compiled 35 to 35 computations (0% saved)

bsearch19.0ms (0%)

Steps

Iters	Range		Point
9	9.515986402199573e-06	1.2240593645196924	0.5069003172104452

Compiler

Compiled 1 to 1 computations (0% saved)

regimes17.0ms (0%)

Compiler: Compiled 6 to 10 computations (-66.7% saved)

bsearch19.0ms (0%)

Steps

Iters	Range		Point
9	9.515986402199573e-06	1.2240593645196924	0.5069003172104452

Compiler

Compiled 1 to 1 computations (0% saved)

regimes7.0ms (0%)

Compiler: Compiled 4 to 6 computations (-50% saved)

bsearch6.0ms (0%)

Compiler: Compiled 85 to 74 computations (12.9% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	64	122
1	64	122

end0.0ms (0%)

sample2.7s (0.9%)

Algorithm

1×

intervals

Results

408.0ms	8000×	body	128	valid
101.0ms	8000×	pre	128	true

Compiler

Compiled 102679 to 82441 computations (19.7% saved)