Details

analyze1.5s (0.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.2%	98.5%	0.3%	13
1.8%	97.9%	0.3%	14

Compiler

Compiled 18 to 18 computations (0% saved)

sample38.0ms (0%)

Algorithm

1×

intervals

Results

13.0ms	256×	body	128	valid
6.0ms	114×	body	128	invalid

Compiler

Compiled 35 to 42 computations (-20% saved)

simplify168.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	937	25
1	937	25

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.0b

Counts

2 → 1

Compiler

Compiled 17 to 17 computations (0% saved)

localize13.0ms (0%)

Local error

Found 6 expressions with local error:

0.0b	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
0.0b	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)

rewrite35.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-log-exp_binary64_8983`
14×	`*-un-lft-identity_binary64_8944` `cancel-sign-sub-inv_binary64_8910`
9×	`associate-+l+_binary64_8877` `add-sqr-sqrt_binary64_8966`
7×	`add-cube-cbrt_binary64_8979`
6×	`times-frac_binary64_8950` `sum-log_binary64_9035`
4×	`diff-log_binary64_9036`
3×	`flip3-+_binary64_8947` `pow1_binary64_9005` `add-cbrt-cube_binary64_8980` `flip-+_binary64_8918` `add-exp-log_binary64_8982`
2×	`+-commutative_binary64_8874` `associate--l+_binary64_8881` `distribute-lft-out--_binary64_8896` `frac-sub_binary64_8953` `distribute-lft-out_binary64_8895` `sub-neg_binary64_8937` `div-inv_binary64_8941`
1×	`flip3--_binary64_8948` `flip--_binary64_8919` `difference-of-squares_binary64_8913` `associate-+l-_binary64_8879`

Counts

3 → 60

Calls

6 calls:

14.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
11.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
5.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)

series1.2s (0.4%)

Counts

3 → 102

Calls

3 calls:

556.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
456.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
198.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))

Compiler

Compiled 2163 to 2332 computations (-7.8% saved)

simplify71.0ms (0%)

Algorithm

1×	egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4985	3050
1	4985	3050

prune327.0ms (0.1%)

Pruning

36 alts after pruning (35 fresh and 1 done)

	Pruned	Kept	Total
New	127	35	162
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	127	36	163

Error

0.0b

Counts

163 → 36

Compiler

Compiled 2260 to 1342 computations (40.6% saved)

localize18.0ms (0%)

Local error

Found 6 expressions with local error:

0.0b	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
0.0b	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)

rewrite37.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-log-exp_binary64_8983`
14×	`*-un-lft-identity_binary64_8944` `cancel-sign-sub-inv_binary64_8910`
9×	`associate-+l+_binary64_8877` `add-sqr-sqrt_binary64_8966`
7×	`add-cube-cbrt_binary64_8979`
6×	`times-frac_binary64_8950` `sum-log_binary64_9035`
4×	`diff-log_binary64_9036`
3×	`flip3-+_binary64_8947` `pow1_binary64_9005` `add-cbrt-cube_binary64_8980` `flip-+_binary64_8918` `add-exp-log_binary64_8982`
2×	`+-commutative_binary64_8874` `associate--l+_binary64_8881` `distribute-lft-out--_binary64_8896` `frac-sub_binary64_8953` `distribute-lft-out_binary64_8895` `sub-neg_binary64_8937` `div-inv_binary64_8941`
1×	`flip3--_binary64_8948` `flip--_binary64_8919` `difference-of-squares_binary64_8913` `associate-+l-_binary64_8879`

Counts

3 → 60

Calls

6 calls:

15.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
11.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
5.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)

series1.2s (0.4%)

Counts

3 → 102

Calls

3 calls:

568.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
449.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
193.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))

Compiler

Compiled 2469 to 2638 computations (-6.8% saved)

simplify73.0ms (0%)

Algorithm

1×	egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4985	3050
1	4985	3050

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

localize10.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (-.f64 c (/.f64 (.f64 a b) 4)) (.f64 (*.f64 z t) 1/16))
0.0b	(+.f64 (-.f64 c (/.f64 (.f64 a b) 4)) (.f64 (*.f64 z t) 1/16))

rewrite12.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`associate-+l+_binary64_8877`
7×	`cancel-sign-sub-inv_binary64_8910`
6×	`add-log-exp_binary64_8983`
3×	`times-frac_binary64_8950` `add-cube-cbrt_binary64_8979` `*-un-lft-identity_binary64_8944` `add-sqr-sqrt_binary64_8966`
2×	`sum-log_binary64_9035`
1×	`flip3-+_binary64_8947` `+-commutative_binary64_8874` `pow1_binary64_9005` `diff-log_binary64_9036` `add-cbrt-cube_binary64_8980` `sub-neg_binary64_8937` `associate-+l-_binary64_8879` `div-inv_binary64_8941` `flip-+_binary64_8918` `add-exp-log_binary64_8982`

Counts

1 → 21

Calls

2 calls:

10.0ms	(+.f64 (-.f64 c (/.f64 (.f64 a b) 4)) (.f64 (*.f64 z t) 1/16))
0.0ms	(+.f64 (-.f64 c (/.f64 (.f64 a b) 4)) (.f64 (*.f64 z t) 1/16))

series331.0ms (0.1%)

Counts

1 → 30

Calls

1 calls:

331.0ms

(+.f64 (-.f64 c (/.f64 (*.f64 a b) 4)) (*.f64 (*.f64 z t) 1/16))

Compiler

Compiled 471 to 602 computations (-27.8% saved)

simplify68.0ms (0%)

Algorithm

1×	egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4976	883
1	4976	883

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

1.0b	(log.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
0.0b	(+.f64 (-.f64 (exp.f64 (log.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))) (/.f64 (*.f64 a b) 4)) c)
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(-.f64 (exp.f64 (log.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))) (/.f64 (*.f64 a b) 4))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(+.f64 (-.f64 (exp.f64 (log.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))) (/.f64 (*.f64 a b) 4)) c)
1.0b	(log.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
2.6b	(exp.f64 (log.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))))

rewrite41.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`*-un-lft-identity_binary64_8944`
11×	`add-log-exp_binary64_8983`
9×	`add-cube-cbrt_binary64_8979` `add-sqr-sqrt_binary64_8966`
8×	`associate-+l+_binary64_8877`
7×	`cancel-sign-sub-inv_binary64_8910`
6×	`pow1_binary64_9005` `log-prod_binary64_9030`
5×	`add-exp-log_binary64_8982`
4×	`flip3-+_binary64_8947` `exp-prod_binary64_8996` `add-cbrt-cube_binary64_8980` `log-div_binary64_9031` `flip-+_binary64_8918`
3×	`times-frac_binary64_8950` `sum-log_binary64_9035` `exp-sum_binary64_8990`
2×	`+-commutative_binary64_8874` `exp-diff_binary64_8992` `distribute-lft-out_binary64_8895` `log-pow_binary64_9033`
1×	`distribute-lft-out--_binary64_8896` `diff-log_binary64_9036` `rem-exp-log_binary64_8984` `sub-neg_binary64_8937` `associate-+l-_binary64_8879` `div-inv_binary64_8941` `rem-log-exp_binary64_8985`

Counts

4 → 65

Calls

8 calls:

16.0ms	(+.f64 (-.f64 (exp.f64 (log.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))) (/.f64 (*.f64 a b) 4)) c)
7.0ms	(exp.f64 (log.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))))
5.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
5.0ms	(log.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
0.0ms	(-.f64 (exp.f64 (log.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))) (/.f64 (*.f64 a b) 4))

series3.3s (1.2%)

Counts

4 → 108

Calls

4 calls:

1.8s	(+.f64 (-.f64 (exp.f64 (log.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))) (/.f64 (*.f64 a b) 4)) c)
1.1s	(exp.f64 (log.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))))
199.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
138.0ms	(log.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))

Compiler

Compiled 3907 to 3710 computations (5% saved)

simplify86.0ms (0%)

Algorithm

1×	egg-herbie

Counts

173 → 173

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5401	3344

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
0.0b	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)))
0.0b	(sqrt.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))))
0.0b	(sqrt.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))))
0.3b	(.f64 (sqrt.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)))) (sqrt.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)))))

rewrite87.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`*-un-lft-identity_binary64_8944`
48×	`sqrt-prod_binary64_8960`
32×	`add-sqr-sqrt_binary64_8966`
22×	`distribute-lft-out_binary64_8895`
21×	`pow1_binary64_9005`
16×	`add-cube-cbrt_binary64_8979` `swap-sqr_binary64_8911` `sqrt-div_binary64_8961`
13×	`add-log-exp_binary64_8983`
11×	`distribute-lft-out--_binary64_8896`
10×	`pow1/2_binary64_9024` `sqrt-pow1_binary64_8962`
9×	`flip3-+_binary64_8947` `associate-+r+_binary64_8876` `flip-+_binary64_8918`
8×	`associate-l_binary64_8885` `associate-r_binary64_8884`
7×	`cancel-sign-sub-inv_binary64_8910`
6×	`add-cbrt-cube_binary64_8980` `add-exp-log_binary64_8982`
5×	`pow-prod-up_binary64_9014`
4×	`frac-times_binary64_8954` `sum-log_binary64_9035` `rem-sqrt-square_binary64_8957` `unswap-sqr_binary64_8912`
3×	`times-frac_binary64_8950` `pow-sqr_binary64_8917` `pow-prod-down_binary64_9015`
2×	`associate-r/_binary64_8886` `associate-l/_binary64_8887` `diff-log_binary64_9036`
1×	`pow2_binary64_9025` `+-commutative_binary64_8874` `sqrt-unprod_binary64_8964` `associate--l+_binary64_8881` `prod-exp_binary64_8993` `*-commutative_binary64_8875` `associate-+r-_binary64_8878` `sqr-abs_binary64_8959` `sub-neg_binary64_8937` `rem-square-sqrt_binary64_8956` `pow-plus_binary64_9007` `div-inv_binary64_8941` `cbrt-unprod_binary64_8977`

Counts

4 → 129

Calls

8 calls:

28.0ms	(.f64 (sqrt.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)))) (sqrt.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)))))
14.0ms	(sqrt.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))))
13.0ms	(+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)))
11.0ms	(sqrt.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))))
0.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))

series1.9s (0.7%)

Counts

4 → 136

Calls

4 calls:

592.0ms	(+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)))
592.0ms	(.f64 (sqrt.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)))) (sqrt.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)))))
350.0ms	(sqrt.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))))
345.0ms	(sqrt.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))))

Compiler

Compiled 7158 to 5757 computations (19.6% saved)

simplify139.0ms (0%)

Algorithm

1×	egg-herbie

Counts

265 → 265

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4937	6659
1	4937	6659

prune5.0s (1.8%)

Pruning

156 alts after pruning (150 fresh and 6 done)

	Pruned	Kept	Total
New	526	125	651
Fresh	5	25	30
Picked	0	0	0
Done	0	6	6
Total	531	156	687

Error

0.0b

Counts

687 → 156

Compiler

Compiled 12787 to 7666 computations (40% saved)

localize16.0ms (0%)

Local error

Found 6 expressions with local error:

0.0b	(+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)))
0.0b	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)))

rewrite35.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-log-exp_binary64_8983`
14×	`*-un-lft-identity_binary64_8944` `cancel-sign-sub-inv_binary64_8910`
9×	`associate-+r+_binary64_8876` `add-sqr-sqrt_binary64_8966`
7×	`add-cube-cbrt_binary64_8979`
6×	`times-frac_binary64_8950` `sum-log_binary64_9035`
4×	`diff-log_binary64_9036`
3×	`flip3-+_binary64_8947` `pow1_binary64_9005` `add-cbrt-cube_binary64_8980` `flip-+_binary64_8918` `add-exp-log_binary64_8982`
2×	`+-commutative_binary64_8874` `associate--l+_binary64_8881` `distribute-lft-out--_binary64_8896` `frac-sub_binary64_8953` `distribute-lft-out_binary64_8895` `sub-neg_binary64_8937` `div-inv_binary64_8941`
1×	`flip3--_binary64_8948` `flip--_binary64_8919` `associate-+r-_binary64_8878` `difference-of-squares_binary64_8913`

Counts

3 → 60

Calls

6 calls:

13.0ms	(+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)))
11.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
5.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))

series1.2s (0.4%)

Counts

3 → 102

Calls

3 calls:

568.0ms	(+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)))
460.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
200.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))

Compiler

Compiled 2622 to 2791 computations (-6.4% saved)

simplify90.0ms (0%)

Algorithm

1×	egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5067	3092

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (*.f64 x y) c)
0.0b	(+.f64 (*.f64 x y) c)

rewrite5.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-log-exp_binary64_8983`
1×	`flip3-+_binary64_8947` `+-commutative_binary64_8874` `add-cube-cbrt_binary64_8979` `*-un-lft-identity_binary64_8944` `pow1_binary64_9005` `add-cbrt-cube_binary64_8980` `sum-log_binary64_9035` `flip-+_binary64_8918` `add-exp-log_binary64_8982` `add-sqr-sqrt_binary64_8966`

Counts

1 → 11

Calls

2 calls:

4.0ms	(+.f64 (*.f64 x y) c)
0.0ms	(+.f64 (*.f64 x y) c)

series73.0ms (0%)

Counts

1 → 18

Calls

1 calls:

73.0ms

(+.f64 (*.f64 x y) c)

Compiler

Compiled 109 to 230 computations (-111% saved)

simplify74.0ms (0%)

Algorithm

1×	egg-herbie

Counts

29 → 29

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5618	226

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(+.f64 (/.f64 (.f64 a b) 4) (+.f64 (.f64 x y) (/.f64 (*.f64 z t) 16)))
0.2b	(.f64 (.f64 a b) (*.f64 a b))
0.3b	(.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (+.f64 (.f64 x y) (/.f64 (*.f64 z t) 16)))
3.2b	(-.f64 (.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (/.f64 (.f64 (.f64 a b) (.f64 a b)) 16))
26.7b	(/.f64 (-.f64 (.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (/.f64 (.f64 (.f64 a b) (.f64 a b)) 16)) (+.f64 (/.f64 (.f64 a b) 4) (+.f64 (.f64 x y) (/.f64 (*.f64 z t) 16))))

rewrite102.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`pow1_binary64_9005`
35×	`add-sqr-sqrt_binary64_8966`
33×	`*-un-lft-identity_binary64_8944`
29×	`times-frac_binary64_8950`
21×	`add-cube-cbrt_binary64_8979`
20×	`flip3-+_binary64_8947` `add-cbrt-cube_binary64_8980` `flip-+_binary64_8918` `add-exp-log_binary64_8982`
18×	`pow-prod-down_binary64_9015`
16×	`frac-sub_binary64_8953`
12×	`frac-times_binary64_8954` `difference-of-squares_binary64_8913`
10×	`associate-/l/_binary64_8891`
9×	`prod-exp_binary64_8993` `cbrt-unprod_binary64_8977`
7×	`cancel-sign-sub-inv_binary64_8910`
6×	`associate-r/_binary64_8886` `associate-l/_binary64_8887` `distribute-lft-out_binary64_8895` `add-log-exp_binary64_8983`
5×	`pow-sqr_binary64_8917` `associate-/l*_binary64_8889` `pow-prod-up_binary64_9014`
4×	`associate-/r/_binary64_8890` `associate-l_binary64_8885` `associate-/r_binary64_8888` `associate-r*_binary64_8884` `swap-sqr_binary64_8911`
3×	`pow-plus_binary64_9007`
2×	`pow2_binary64_9025` `flip3--_binary64_8948` `flip--_binary64_8919` `distribute-rgt-in_binary64_8894` `associate--l+_binary64_8881` `*-commutative_binary64_8875` `frac-add_binary64_8952` `div-inv_binary64_8941` `distribute-lft-in_binary64_8893`
1×	`div-exp_binary64_8995` `div-sub_binary64_8949` `clear-num_binary64_8943` `frac-2neg_binary64_8955` `diff-log_binary64_9036` `sub-neg_binary64_8937` `unswap-sqr_binary64_8912` `cbrt-undiv_binary64_8978`

Counts

4 → 155

Calls

8 calls:

30.0ms	(/.f64 (-.f64 (.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (/.f64 (.f64 (.f64 a b) (.f64 a b)) 16)) (+.f64 (/.f64 (.f64 a b) 4) (+.f64 (.f64 x y) (/.f64 (*.f64 z t) 16))))
17.0ms	(-.f64 (.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (/.f64 (.f64 (.f64 a b) (.f64 a b)) 16))
14.0ms	(.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (+.f64 (.f64 x y) (/.f64 (*.f64 z t) 16)))
7.0ms	(.f64 (.f64 a b) (*.f64 a b))
0.0ms	(+.f64 (/.f64 (.f64 a b) 4) (+.f64 (.f64 x y) (/.f64 (*.f64 z t) 16)))

series3.3s (1.2%)

Counts

4 → 110

Calls

4 calls:

1.6s	(/.f64 (-.f64 (.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (/.f64 (.f64 (.f64 a b) (.f64 a b)) 16)) (+.f64 (/.f64 (.f64 a b) 4) (+.f64 (.f64 x y) (/.f64 (*.f64 z t) 16))))
1.4s	(-.f64 (.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (/.f64 (.f64 (.f64 a b) (.f64 a b)) 16))
272.0ms	(.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (+.f64 (.f64 x y) (/.f64 (*.f64 z t) 16)))
88.0ms	(.f64 (.f64 a b) (*.f64 a b))

Compiler

Compiled 8256 to 6454 computations (21.8% saved)

simplify134.0ms (0%)

Algorithm

1×	egg-herbie

Counts

265 → 265

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4976	12169
1	4976	12169

localize15.0ms (0%)

Local error

Found 4 expressions with local error:

1.0b	(exp.f64 (-.f64 (log.f64 (*.f64 z -1/16)) (log.f64 (/.f64 -1 t))))
0.1b	(-.f64 (log.f64 (*.f64 z -1/16)) (log.f64 (/.f64 -1 t)))
0.1b	(-.f64 (log.f64 (*.f64 z -1/16)) (log.f64 (/.f64 -1 t)))
1.0b	(exp.f64 (-.f64 (log.f64 (*.f64 z -1/16)) (log.f64 (/.f64 -1 t))))

rewrite22.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64_8944` `pow1_binary64_9005`
16×	`log-pow_binary64_9033` `add-sqr-sqrt_binary64_8966`
15×	`log-prod_binary64_9030`
13×	`associate--r+_binary64_8880`
12×	`add-cube-cbrt_binary64_8979` `distribute-lft-out--_binary64_8896`
10×	`exp-prod_binary64_8996`
9×	`times-frac_binary64_8950`
8×	`cancel-sign-sub-inv_binary64_8910`
7×	`exp-sum_binary64_8990`
4×	`pow-prod-down_binary64_9015`
3×	`add-log-exp_binary64_8983`
2×	`associate--r-_binary64_8883` `associate--l+_binary64_8881` `diff-log_binary64_9036` `add-cbrt-cube_binary64_8980` `log-div_binary64_9031` `rem-exp-log_binary64_8984` `sub-neg_binary64_8937` `difference-of-squares_binary64_8913` `add-exp-log_binary64_8982`
1×	`flip3--_binary64_8948` `flip--_binary64_8919` `exp-diff_binary64_8992` `div-inv_binary64_8941`

Counts

2 → 64

Calls

4 calls:

8.0ms	(-.f64 (log.f64 (*.f64 z -1/16)) (log.f64 (/.f64 -1 t)))
8.0ms	(exp.f64 (-.f64 (log.f64 (*.f64 z -1/16)) (log.f64 (/.f64 -1 t))))
0.0ms	(-.f64 (log.f64 (*.f64 z -1/16)) (log.f64 (/.f64 -1 t)))
0.0ms	(exp.f64 (-.f64 (log.f64 (*.f64 z -1/16)) (log.f64 (/.f64 -1 t))))

series492.0ms (0.2%)

Counts

2 → 12

Calls

2 calls:

257.0ms	(exp.f64 (-.f64 (log.f64 (*.f64 z -1/16)) (log.f64 (/.f64 -1 t))))
235.0ms	(-.f64 (log.f64 (*.f64 z -1/16)) (log.f64 (/.f64 -1 t)))

Compiler

Compiled 476 to 524 computations (-10.1% saved)

simplify94.0ms (0%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	4914	800
1	4914	800

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
0.0b	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(sqrt.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))))
0.0b	(sqrt.f64 (exp.f64 (log.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))))))
0.3b	(.f64 (sqrt.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)))) (sqrt.f64 (exp.f64 (log.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)))))))
3.1b	(exp.f64 (log.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)))))

rewrite90.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`*-un-lft-identity_binary64_8944`
33×	`sqrt-prod_binary64_8960`
30×	`add-sqr-sqrt_binary64_8966`
18×	`exp-sum_binary64_8990` `log-prod_binary64_9030`
16×	`sqrt-div_binary64_8961`
15×	`add-cube-cbrt_binary64_8979`
12×	`pow1_binary64_9005`
11×	`associate-r_binary64_8884`
10×	`exp-diff_binary64_8992` `log-div_binary64_9031` `distribute-lft-out_binary64_8895`
9×	`flip3-+_binary64_8947` `flip-+_binary64_8918`
8×	`associate-l_binary64_8885` `exp-prod_binary64_8996` `sqrt-pow1_binary64_8962`
6×	`add-cbrt-cube_binary64_8980` `unswap-sqr_binary64_8912` `add-exp-log_binary64_8982`
5×	`distribute-lft-out--_binary64_8896`
4×	`frac-times_binary64_8954` `pow1/2_binary64_9024` `add-log-exp_binary64_8983`
3×	`rem-sqrt-square_binary64_8957` `pow-prod-down_binary64_9015`
2×	`associate-r/_binary64_8886` `associate-l/_binary64_8887` `log-pow_binary64_9033`
1×	`sqrt-unprod_binary64_8964` `prod-exp_binary64_8993` `*-commutative_binary64_8875` `rem-exp-log_binary64_8984` `cbrt-unprod_binary64_8977`

Counts

4 → 108

Calls

8 calls:

35.0ms	(.f64 (sqrt.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)))) (sqrt.f64 (exp.f64 (log.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)))))))
13.0ms	(sqrt.f64 (exp.f64 (log.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))))))
13.0ms	(exp.f64 (log.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)))))
11.0ms	(sqrt.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))))
0.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))

series39.7s (14.1%)

Counts

4 → 125

Calls

4 calls:

36.1s	(exp.f64 (log.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)))))
2.3s	(.f64 (sqrt.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)))) (sqrt.f64 (exp.f64 (log.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)))))))
874.0ms	(sqrt.f64 (exp.f64 (log.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))))))
350.0ms	(sqrt.f64 (+.f64 c (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))))

Compiler

Compiled 12754 to 9648 computations (24.4% saved)

simplify102.0ms (0%)

Algorithm

1×	egg-herbie

Counts

233 → 233

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	4971	7833
1	4971	7833

prune16.9s (6%)

Pruning

364 alts after pruning (353 fresh and 11 done)

	Pruned	Kept	Total
New	545	220	765
Fresh	12	133	145
Picked	0	0	0
Done	0	11	11
Total	557	364	921

Error

0.0b

Counts

921 → 364

Compiler

Compiled 33633 to 19313 computations (42.6% saved)

localize18.0ms (0%)

Local error

Found 6 expressions with local error:

0.0b	(+.f64 c (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(+.f64 (+.f64 c (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (*.f64 (neg.f64 (/.f64 a (sqrt.f64 4))) (/.f64 b (sqrt.f64 4))))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(+.f64 (+.f64 c (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (*.f64 (neg.f64 (/.f64 a (sqrt.f64 4))) (/.f64 b (sqrt.f64 4))))
0.0b	(+.f64 c (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))

rewrite31.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-log-exp_binary64_8983`
10×	`sum-log_binary64_9035`
6×	`flip3-+_binary64_8947` `frac-add_binary64_8952` `flip-+_binary64_8918`
5×	`*-un-lft-identity_binary64_8944`
4×	`distribute-neg-frac_binary64_8908`
3×	`+-commutative_binary64_8874` `add-cube-cbrt_binary64_8979` `pow1_binary64_9005` `add-cbrt-cube_binary64_8980` `add-exp-log_binary64_8982` `add-sqr-sqrt_binary64_8966`
2×	`associate-r/_binary64_8886` `frac-times_binary64_8954` `associate-l/_binary64_8887`
1×	`unsub-neg_binary64_8938` `associate-+l+_binary64_8877` `distribute-lft-neg-out_binary64_8903` `distribute-lft-out_binary64_8895` `associate-+r+_binary64_8876`

Counts

3 → 46

Calls

6 calls:

11.0ms	(+.f64 (+.f64 c (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (*.f64 (neg.f64 (/.f64 a (sqrt.f64 4))) (/.f64 b (sqrt.f64 4))))
8.0ms	(+.f64 c (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
6.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0ms	(+.f64 (+.f64 c (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (*.f64 (neg.f64 (/.f64 a (sqrt.f64 4))) (/.f64 b (sqrt.f64 4))))
0.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))

series1.1s (0.4%)

Counts

3 → 96

Calls

3 calls:

565.0ms

(+.f64 (+.f64 c (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (*.f64 (neg.f64 (/.f64 a (sqrt.f64 4))) (/.f64 b (sqrt.f64 4))))

279.0ms

(+.f64 c (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)))

209.0ms

(+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))

Compiler

Compiled 2909 to 3059 computations (-5.2% saved)

simplify76.0ms (0%)

Algorithm

1×	egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4984	2907
1	4984	2907

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

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

8.5b	(log.f64 (*.f64 x y))
2.2b	(exp.f64 (log.f64 (*.f64 x y)))
0.0b	(+.f64 (-.f64 (exp.f64 (log.f64 (.f64 x y))) (/.f64 (.f64 a b) 4)) c)
0.0b	(-.f64 (exp.f64 (log.f64 (.f64 x y))) (/.f64 (.f64 a b) 4))
0.0b	(-.f64 (exp.f64 (log.f64 (.f64 x y))) (/.f64 (.f64 a b) 4))
0.0b	(+.f64 (-.f64 (exp.f64 (log.f64 (.f64 x y))) (/.f64 (.f64 a b) 4)) c)
2.2b	(exp.f64 (log.f64 (*.f64 x y)))
8.5b	(log.f64 (*.f64 x y))

rewrite33.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64_8944`
14×	`cancel-sign-sub-inv_binary64_8910`
11×	`add-log-exp_binary64_8983` `add-sqr-sqrt_binary64_8966`
10×	`pow1_binary64_9005`
9×	`add-cube-cbrt_binary64_8979`
8×	`associate-+l+_binary64_8877`
7×	`add-exp-log_binary64_8982`
6×	`times-frac_binary64_8950`
5×	`exp-prod_binary64_8996`
4×	`add-cbrt-cube_binary64_8980` `log-pow_binary64_9033`
2×	`distribute-lft-out--_binary64_8896` `diff-log_binary64_9036` `distribute-lft-out_binary64_8895` `sum-log_binary64_9035` `sub-neg_binary64_8937` `pow-prod-down_binary64_9015` `log-prod_binary64_9030` `div-inv_binary64_8941` `rem-log-exp_binary64_8985`
1×	`flip3-+_binary64_8947` `+-commutative_binary64_8874` `flip3--_binary64_8948` `flip--_binary64_8919` `prod-exp_binary64_8993` `rem-exp-log_binary64_8984` `exp-sum_binary64_8990` `difference-of-squares_binary64_8913` `associate-+l-_binary64_8879` `flip-+_binary64_8918`

Counts

4 → 69

Calls

8 calls:

13.0ms	(+.f64 (-.f64 (exp.f64 (log.f64 (.f64 x y))) (/.f64 (.f64 a b) 4)) c)
9.0ms	(-.f64 (exp.f64 (log.f64 (.f64 x y))) (/.f64 (.f64 a b) 4))
4.0ms	(exp.f64 (log.f64 (*.f64 x y)))
3.0ms	(log.f64 (*.f64 x y))
0.0ms	(-.f64 (exp.f64 (log.f64 (.f64 x y))) (/.f64 (.f64 a b) 4))

series1.2s (0.4%)

Counts

4 → 54

Calls

4 calls:

535.0ms	(+.f64 (-.f64 (exp.f64 (log.f64 (.f64 x y))) (/.f64 (.f64 a b) 4)) c)
413.0ms	(-.f64 (exp.f64 (log.f64 (.f64 x y))) (/.f64 (.f64 a b) 4))
147.0ms	(exp.f64 (log.f64 (*.f64 x y)))
127.0ms	(log.f64 (*.f64 x y))

Compiler

Compiled 1247 to 1470 computations (-17.9% saved)

simplify94.0ms (0%)

Algorithm

1×	egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4897	1458
1	4897	1458

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 c (-.f64 (.f64 (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))) (/.f64 (.f64 a b) 4)))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(-.f64 (.f64 (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))) (/.f64 (.f64 a b) 4))
0.0b	(+.f64 c (-.f64 (.f64 (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))) (/.f64 (.f64 a b) 4)))
0.3b	(.f64 (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (*.f64 z t) 16))))
1.0b	(sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
1.0b	(sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))

rewrite63.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-sqr-sqrt_binary64_8966`
24×	`sqrt-prod_binary64_8960`
21×	`pow1_binary64_9005`
18×	`*-un-lft-identity_binary64_8944`
16×	`add-cube-cbrt_binary64_8979` `sqrt-div_binary64_8961`
10×	`pow1/2_binary64_9024` `sqrt-pow1_binary64_8962`
9×	`flip3-+_binary64_8947` `flip-+_binary64_8918` `add-log-exp_binary64_8983`
8×	`swap-sqr_binary64_8911` `associate-+r+_binary64_8876`
7×	`cancel-sign-sub-inv_binary64_8910`
6×	`associate-l_binary64_8885` `associate-r_binary64_8884` `add-cbrt-cube_binary64_8980` `add-exp-log_binary64_8982`
5×	`pow-prod-up_binary64_9014`
4×	`frac-times_binary64_8954` `rem-sqrt-square_binary64_8957` `unswap-sqr_binary64_8912`
3×	`times-frac_binary64_8950` `pow-sqr_binary64_8917` `pow-prod-down_binary64_9015`
2×	`associate-r/_binary64_8886` `associate-l/_binary64_8887` `sum-log_binary64_9035`
1×	`pow2_binary64_9025` `+-commutative_binary64_8874` `sqrt-unprod_binary64_8964` `prod-exp_binary64_8993` `*-commutative_binary64_8875` `diff-log_binary64_9036` `associate-+r-_binary64_8878` `distribute-lft-out_binary64_8895` `sqr-abs_binary64_8959` `sub-neg_binary64_8937` `rem-square-sqrt_binary64_8956` `pow-plus_binary64_9007` `div-inv_binary64_8941` `cbrt-unprod_binary64_8977`

Counts

4 → 110

Calls

8 calls:

21.0ms	(+.f64 c (-.f64 (.f64 (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))) (/.f64 (.f64 a b) 4)))
16.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (*.f64 z t) 16))))
6.0ms	(sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
6.0ms	(sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
0.0ms	(-.f64 (.f64 (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))) (/.f64 (.f64 a b) 4))

series1.0s (0.4%)

Counts

4 → 94

Calls

4 calls:

572.0ms	(+.f64 c (-.f64 (.f64 (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))) (/.f64 (.f64 a b) 4)))
199.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (*.f64 z t) 16))))
133.0ms	(sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
117.0ms	(sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))

Compiler

Compiled 3582 to 3415 computations (4.7% saved)

simplify93.0ms (0%)

Algorithm

1×	egg-herbie

Counts

204 → 204

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5100	3659

localize29.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.7b	(.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)) (-.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c))
2.8b	(+.f64 (.f64 c c) (.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)) (-.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)) c)))
5.2b	(+.f64 (pow.f64 c 3) (pow.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) 3))
44.0b	(/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)) 3)) (+.f64 (.f64 c c) (.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)) (-.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c))))

rewrite160.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

153×	`*-un-lft-identity_binary64_8944`
51×	`times-frac_binary64_8950`
45×	`distribute-lft-out_binary64_8895`
42×	`add-sqr-sqrt_binary64_8966`
40×	`associate--l+_binary64_8881` `cube-prod_binary64_8972` `unpow-prod-down_binary64_9023` `cancel-sign-sub-inv_binary64_8910`
36×	`add-cube-cbrt_binary64_8979`
26×	`distribute-rgt-in_binary64_8894` `associate-+r+_binary64_8876` `distribute-lft-in_binary64_8893`
24×	`distribute-lft-out--_binary64_8896`
13×	`associate-/l*_binary64_8889`
8×	`flip3--_binary64_8948` `flip--_binary64_8919` `frac-times_binary64_8954` `add-cbrt-cube_binary64_8980` `sub-neg_binary64_8937` `add-log-exp_binary64_8983` `add-exp-log_binary64_8982`
7×	`flip3-+_binary64_8947` `flip-+_binary64_8918`
6×	`pow1_binary64_9005` `associate-r_binary64_8884` `frac-sub_binary64_8953`
5×	`associate-l_binary64_8885` `div-inv_binary64_8941` `sum-cubes_binary64_8945`
4×	`associate-*l/_binary64_8887`
3×	`associate-/r*_binary64_8888`
2×	`associate-*r/_binary64_8886` `associate-/r/_binary64_8890` `+-commutative_binary64_8874` `associate-/l/_binary64_8891` `sum-log_binary64_9035` `difference-of-squares_binary64_8913`
1×	`div-exp_binary64_8995` `clear-num_binary64_8943` `prod-exp_binary64_8993` `frac-2neg_binary64_8955` `*-commutative_binary64_8875` `unswap-sqr_binary64_8912` `pow-prod-down_binary64_9015` `cbrt-undiv_binary64_8978` `cbrt-unprod_binary64_8977`

Counts

4 → 192

Calls

8 calls:

30.0ms	(.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)) (-.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c))
27.0ms	(/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)) 3)) (+.f64 (.f64 c c) (.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)) (-.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c))))
25.0ms	(+.f64 (pow.f64 c 3) (pow.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) 3))
19.0ms	(+.f64 (.f64 c c) (.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)) (-.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)) c)))
0.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))

series1.1min (22.5%)

Counts

4 → 235

Calls

4 calls:

53.4s	(/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)) 3)) (+.f64 (.f64 c c) (.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)) (-.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c))))
4.2s	(+.f64 (.f64 c c) (.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)) (-.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)) c)))
3.7s	(+.f64 (pow.f64 c 3) (pow.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) 3))
1.9s	(.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (.f64 a b) 4)) (-.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c))

Compiler

Compiled 78367 to 48642 computations (37.9% saved)

simplify396.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

427 → 427

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5002	55423

prune31.8s (11.3%)

Pruning

571 alts after pruning (556 fresh and 15 done)

	Pruned	Kept	Total
New	670	226	896
Fresh	18	330	348
Picked	0	0	0
Done	1	15	16
Total	689	571	1260

Error

0.0b

Counts

1260 → 571

Compiler

Compiled 40444 to 16506 computations (59.2% saved)

simplify1.2s (0.4%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5055	94972

regimes55.0s (19.6%)

Compiler: Compiled 986607 to 591981 computations (40% saved)

bsearch0.0ms (0%)

regimes2.1s (0.8%)

Compiler: Compiled 8879 to 11442 computations (-28.9% saved)

bsearch72.0ms (0%)

Steps

Iters	Range		Point
8	3.9207699419836837e+34	5.388337894686765e+38	2.4631870211963303e+35
8	-1.1917978035628923e+140	-4.044799453886052e+136	-4.097095294052888e+136

Compiler

Compiled 1 to 7 computations (-600% saved)

regimes1.7s (0.6%)

Compiler: Compiled 6394 to 8731 computations (-36.5% saved)

bsearch2.0ms (0%)

Compiler: Compiled 3 to 8 computations (-166.7% saved)

regimes1.4s (0.5%)

Compiler: Compiled 3714 to 5642 computations (-51.9% saved)

bsearch60.0ms (0%)

Steps

Iters	Range		Point
9	1.0488995861149775e+49	6.700033605753573e+54	2.465681568524023e+53
8	-1.5918511268889364e-37	-2.016695371024413e-40	-1.5742283487193175e-37

Compiler

Compiled 3 to 8 computations (-166.7% saved)

regimes869.0ms (0.3%)

Compiler: Compiled 1670 to 3136 computations (-87.8% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 8 computations (-166.7% saved)

regimes1.2s (0.4%)

Compiler: Compiled 1549 to 2993 computations (-93.2% saved)

bsearch231.0ms (0.1%)

Steps

Iters	Range		Point
9	1.03134720553203e+44	1.0488995861149775e+49	6.625847781267964e+47
9	1.1550902752942318e-27	2.269227123238355e-22	4.8947229397138957e-23
8	-3.188932336672774e-194	-1.0530101497765937e-197	-3.9565553945991984e-196
9	-1.0717963040917914e-62	-5.071905394323679e-70	-1.75797290123241e-65
8	-1.1204461882812776e-47	-3.0614502046642283e-50	-9.881949301658587e-48
5	-4.105764822644939e-33	-1.4384842683059247e-33	-1.4561202197569419e-33
7	-1165833243.8390148	-27123654.317686286	-130548462.50176886
9	-8.68163232086405e+42	-4.474047145215135e+36	-8.318638720030703e+41
8	-1.5039220057936654e+80	-2.4947957453220996e+75	-2.550944240301187e+75

Compiler

Compiled 3 to 8 computations (-166.7% saved)

regimes1.4s (0.5%)

Compiler: Compiled 1450 to 2861 computations (-97.3% saved)

bsearch182.0ms (0.1%)

Steps

Iters	Range		Point
9	1.03134720553203e+44	1.0488995861149775e+49	3.5542274761333456e+44
9	1.1550902752942318e-27	2.269227123238355e-22	4.087216117940705e-26
8	-3.188932336672774e-194	-1.0530101497765937e-197	-1.3104068625429248e-197
9	-1.0717963040917914e-62	-5.071905394323679e-70	-2.8055470739736502e-64
8	-1.5918511268889364e-37	-2.016695371024413e-40	-1.5742283487193175e-37
5	-4.105764822644939e-33	-1.4384842683059247e-33	-1.4561202197569419e-33
7	-1165833243.8390148	-27123654.317686286	-833050702.3029503

Compiler

Compiled 3 to 8 computations (-166.7% saved)

regimes713.0ms (0.3%)

Compiler: Compiled 790 to 1827 computations (-131.3% saved)

bsearch349.0ms (0.1%)

Steps

Iters	Range		Point
10	8.630253705782463e+132	2.4211518014334904e+150	1.1663949347379813e+134
9	1.482361489952528e+86	5.56556055251538e+91	1.914696444028209e+90
7	1.3778066272148634e-67	2.8231934328332532e-65	6.483263061416549e-67
8	-1.6464589726310399e-280	-5.326152368302381e-285	-4.411124523815241e-281
10	-1.1517441947753606e-234	-4.259148328717748e-249	-1.27554105564082e-248
4	-5.679293215788956e-184	-3.1822258764120647e-184	-5.553614584554773e-184
6	-5.0655727727360195e-171	-6.372359752774532e-172	-1.8121548545790898e-171
10	-1.126841156045549e-21	-1.6053549174418171e-34	-8.036993331051399e-23
10	-1.9200625245426633e+21	-32561151.30890664	-11040621339013.186
8	-6.849778371679844e+171	-6.571236976300563e+168	-6.774063123753827e+171
7	-1.0781604690313902e+248	-1.079304879375562e+246	-1.3306403035146641e+246

Compiler

Compiled 1 to 7 computations (-600% saved)

regimes578.0ms (0.2%)

Compiler: Compiled 642 to 1546 computations (-140.8% saved)

bsearch117.0ms (0%)

Steps

Iters	Range		Point
7	8.731479881233824e+82	6.279174099448878e+84	1.80130722294902e+84
10	3.5710888256119226e-98	4.297077420980546e-88	3.810324525071643e-98
10	1.7585586256194714e-151	1.0436918826810576e-132	1.0222530337866586e-132
8	-6.345787443985314e+98	-5.858704159529157e+95	-2.4665482392456064e+98

Compiler

Compiled 3 to 8 computations (-166.7% saved)

regimes325.0ms (0.1%)

Compiler: Compiled 341 to 994 computations (-191.5% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 8 computations (-166.7% saved)

regimes113.0ms (0%)

Compiler: Compiled 180 to 650 computations (-261.1% saved)

bsearch0.0ms (0%)

regimes266.0ms (0.1%)

Compiler: Compiled 100 to 498 computations (-398% saved)

bsearch48.0ms (0%)

Steps

Iters	Range		Point
8	3.9207699419836837e+34	5.388337894686765e+38	7.776723485219759e+37
5	-6.892824510097883e+21	-2.1738552058020123e+21	-3.359723599938498e+21

Compiler

Compiled 1 to 7 computations (-600% saved)

regimes79.0ms (0%)

Accuracy

Total 0.1b remaining (96.6%)

Threshold costs 0.1b (96.6%)

Compiler

Compiled 63 to 378 computations (-500% saved)

bsearch19.0ms (0%)

Compiler: Compiled 616 to 383 computations (37.8% saved)

simplify13.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	240	837
1	240	837

end0.0ms (0%)

sample35.5s (12.6%)

Algorithm

1×

intervals

Results

434.0ms	8000×	body	128	valid
200.0ms	3890×	body	128	invalid

Compiler

Compiled 61137 to 36396 computations (40.5% saved)

Pareto

0.002469805974991546