Details

analyze266.0ms (0.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
6.2%	93.6%	0.1%	6
15.6%	84.3%	0.1%	7
31.2%	68.6%	0.1%	8
39%	56.2%	4.8%	9
50.7%	43.7%	5.6%	10
60.3%	33.7%	6%	11
64.6%	26.5%	8.9%	12
70.5%	20.3%	9.2%	13
74.6%	16.1%	9.4%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample16.0ms (0%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
0.0ms	13×	body	128	invalid

Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify302.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	20	13
1	20	13

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Compiler

Compiled 9 to 8 computations (11.1% saved)

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (/.f64 x 2) (*.f64 y x))
0.0b	(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)
0.0b	(+.f64 (/.f64 x 2) (*.f64 y x))
0.0b	(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)

rewrite17.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-log-exp_binary64_8983`
4×	`*-un-lft-identity_binary64_8944` `sum-log_binary64_9035`
2×	`flip3-+_binary64_8947` `+-commutative_binary64_8874` `add-cube-cbrt_binary64_8979` `pow1_binary64_9005` `add-cbrt-cube_binary64_8980` `flip-+_binary64_8918` `add-exp-log_binary64_8982` `add-sqr-sqrt_binary64_8966`
1×	`associate-+l+_binary64_8877` `distribute-lft-out_binary64_8895`

Counts

2 → 25

Calls

4 calls:

9.0ms	(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)
6.0ms	(+.f64 (/.f64 x 2) (*.f64 y x))
0.0ms	(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)
0.0ms	(+.f64 (/.f64 x 2) (*.f64 y x))

series190.0ms (0.4%)

Counts

2 → 27

Calls

2 calls:

125.0ms	(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)
65.0ms	(+.f64 (/.f64 x 2) (*.f64 y x))

Compiler

Compiled 304 to 292 computations (3.9% saved)

simplify71.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5010	622

prune124.0ms (0.3%)

Pruning

23 alts after pruning (22 fresh and 1 done)

	Pruned	Kept	Total
New	30	22	52
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	30	23	53

Error

0.0b

Counts

53 → 23

Compiler

Compiled 731 to 471 computations (35.6% saved)

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (/.f64 x 2) (*.f64 y x))
0.0b	(+.f64 (pow.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) 1) z)
0.0b	(+.f64 (/.f64 x 2) (*.f64 y x))
0.0b	(+.f64 (pow.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) 1) z)

rewrite18.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-log-exp_binary64_8983`
4×	`*-un-lft-identity_binary64_8944`
2×	`flip3-+_binary64_8947` `+-commutative_binary64_8874` `add-cube-cbrt_binary64_8979` `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`
1×	`distribute-lft-out_binary64_8895`

Counts

2 → 23

Calls

4 calls:

10.0ms	(+.f64 (pow.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) 1) z)
6.0ms	(+.f64 (/.f64 x 2) (*.f64 y x))
0.0ms	(+.f64 (pow.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) 1) z)
0.0ms	(+.f64 (/.f64 x 2) (*.f64 y x))

series203.0ms (0.4%)

Counts

2 → 27

Calls

2 calls:

134.0ms	(+.f64 (pow.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) 1) z)
70.0ms	(+.f64 (/.f64 x 2) (*.f64 y x))

Compiler

Compiled 334 to 322 computations (3.6% saved)

simplify76.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4942	591
1	4942	591

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

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 1 (+.f64 (/.f64 x 2) (.f64 y x))) z)
0.0b	(+.f64 (/.f64 x 2) (*.f64 y x))
0.0b	(+.f64 (.f64 1 (+.f64 (/.f64 x 2) (.f64 y x))) z)
0.0b	(+.f64 (/.f64 x 2) (*.f64 y x))

rewrite18.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-log-exp_binary64_8983`
3×	`*-un-lft-identity_binary64_8944`
2×	`flip3-+_binary64_8947` `+-commutative_binary64_8874` `add-cube-cbrt_binary64_8979` `pow1_binary64_9005` `associate-+l+_binary64_8877` `add-cbrt-cube_binary64_8980` `sum-log_binary64_9035` `flip-+_binary64_8918` `add-exp-log_binary64_8982` `add-sqr-sqrt_binary64_8966`
1×	`distribute-rgt-in_binary64_8894` `distribute-lft-out_binary64_8895` `distribute-lft-in_binary64_8893`

Counts

2 → 25

Calls

4 calls:

9.0ms	(+.f64 (.f64 1 (+.f64 (/.f64 x 2) (.f64 y x))) z)
6.0ms	(+.f64 (/.f64 x 2) (*.f64 y x))
0.0ms	(+.f64 (/.f64 x 2) (*.f64 y x))
0.0ms	(+.f64 (.f64 1 (+.f64 (/.f64 x 2) (.f64 y x))) z)

series192.0ms (0.4%)

Counts

2 → 27

Calls

2 calls:

125.0ms	(+.f64 (.f64 1 (+.f64 (/.f64 x 2) (.f64 y x))) z)
67.0ms	(+.f64 (/.f64 x 2) (*.f64 y x))

Compiler

Compiled 334 to 322 computations (3.6% saved)

simplify78.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5104	533

localize10.0ms (0%)

Local error

Found 6 expressions with local error:

3.5b	(log.f64 (exp.f64 (+.f64 (/.f64 x 2) (*.f64 x y))))
0.0b	(exp.f64 (+.f64 (/.f64 x 2) (*.f64 x y)))
0.0b	(+.f64 (/.f64 x 2) (*.f64 x y))
0.0b	(+.f64 (/.f64 x 2) (*.f64 x y))
0.0b	(exp.f64 (+.f64 (/.f64 x 2) (*.f64 x y)))
3.5b	(log.f64 (exp.f64 (+.f64 (/.f64 x 2) (*.f64 x y))))

rewrite25.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`exp-prod_binary64_8996` `add-log-exp_binary64_8983`
6×	`add-cube-cbrt_binary64_8979` `*-un-lft-identity_binary64_8944` `add-sqr-sqrt_binary64_8966`
5×	`log-pow_binary64_9033`
4×	`pow1_binary64_9005` `log-prod_binary64_9030`
3×	`add-cbrt-cube_binary64_8980` `distribute-lft-out_binary64_8895` `div-inv_binary64_8941` `add-exp-log_binary64_8982`
2×	`sum-log_binary64_9035` `rem-exp-log_binary64_8984` `exp-sum_binary64_8990`
1×	`flip3-+_binary64_8947` `+-commutative_binary64_8874` `flip-+_binary64_8918` `rem-log-exp_binary64_8985`

Counts

3 → 43

Calls

6 calls:

8.0ms	(log.f64 (exp.f64 (+.f64 (/.f64 x 2) (*.f64 x y))))
7.0ms	(exp.f64 (+.f64 (/.f64 x 2) (*.f64 x y)))
6.0ms	(+.f64 (/.f64 x 2) (*.f64 x y))
0.0ms	(+.f64 (/.f64 x 2) (*.f64 x y))
0.0ms	(exp.f64 (+.f64 (/.f64 x 2) (*.f64 x y)))

series366.0ms (0.8%)

Counts

3 → 22

Calls

3 calls:

272.0ms	(log.f64 (exp.f64 (+.f64 (/.f64 x 2) (*.f64 x y))))
57.0ms	(+.f64 (/.f64 x 2) (*.f64 x y))
37.0ms	(exp.f64 (+.f64 (/.f64 x 2) (*.f64 x y)))

Compiler

Compiled 444 to 413 computations (7% saved)

simplify75.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4915	614
1	4915	614

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))
0.0b	(+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))
0.0b	(+.f64 (/.f64 x 2) (*.f64 x y))
0.0b	(+.f64 (/.f64 x 2) (*.f64 x y))
0.0b	(+.f64 (/.f64 x 2) (*.f64 x y))
0.0b	(sqrt.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))))
0.0b	(sqrt.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))))
0.3b	(.f64 (sqrt.f64 (+.f64 z (+.f64 (/.f64 x 2) (.f64 x y)))) (sqrt.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))))

rewrite56.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`sqrt-prod_binary64_8960`
32×	`*-un-lft-identity_binary64_8944`
30×	`add-sqr-sqrt_binary64_8966`
21×	`pow1_binary64_9005`
16×	`sqrt-div_binary64_8961`
14×	`add-cube-cbrt_binary64_8979`
11×	`swap-sqr_binary64_8911`
10×	`pow1/2_binary64_9024` `sqrt-pow1_binary64_8962`
9×	`flip3-+_binary64_8947` `distribute-lft-out_binary64_8895` `flip-+_binary64_8918`
7×	`associate-l_binary64_8885` `associate-r_binary64_8884`
6×	`add-cbrt-cube_binary64_8980` `add-log-exp_binary64_8983` `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×	`pow-sqr_binary64_8917` `pow-prod-down_binary64_9015`
2×	`associate-r/_binary64_8886` `associate-l/_binary64_8887`
1×	`pow2_binary64_9025` `+-commutative_binary64_8874` `sqrt-unprod_binary64_8964` `prod-exp_binary64_8993` `*-commutative_binary64_8875` `sum-log_binary64_9035` `sqr-abs_binary64_8959` `rem-square-sqrt_binary64_8956` `pow-plus_binary64_9007` `div-inv_binary64_8941` `cbrt-unprod_binary64_8977`

Counts

4 → 107

Calls

8 calls:

20.0ms	(.f64 (sqrt.f64 (+.f64 z (+.f64 (/.f64 x 2) (.f64 x y)))) (sqrt.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))))
7.0ms	(sqrt.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))))
7.0ms	(sqrt.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))))
6.0ms	(+.f64 (/.f64 x 2) (*.f64 x y))
0.0ms	(+.f64 (/.f64 x 2) (*.f64 x y))

series432.0ms (0.9%)

Counts

4 → 55

Calls

4 calls:

126.0ms	(.f64 (sqrt.f64 (+.f64 z (+.f64 (/.f64 x 2) (.f64 x y)))) (sqrt.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))))
120.0ms	(sqrt.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))))
114.0ms	(sqrt.f64 (+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y))))
71.0ms	(+.f64 (/.f64 x 2) (*.f64 x y))

Compiler

Compiled 1948 to 1506 computations (22.7% saved)

simplify96.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4969	2865
1	4969	2865

prune2.3s (4.7%)

Pruning

113 alts after pruning (107 fresh and 6 done)

	Pruned	Kept	Total
New	235	94	329
Fresh	4	13	17
Picked	0	0	0
Done	0	6	6
Total	239	113	352

Error

0.0b

Counts

352 → 113

Compiler

Compiled 5851 to 3862 computations (34% saved)

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))
0.0b	(+.f64 (/.f64 x 2) (*.f64 x y))
0.0b	(+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))
0.0b	(+.f64 (/.f64 x 2) (*.f64 x y))

rewrite16.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-log-exp_binary64_8983`
4×	`*-un-lft-identity_binary64_8944` `sum-log_binary64_9035`
2×	`flip3-+_binary64_8947` `+-commutative_binary64_8874` `add-cube-cbrt_binary64_8979` `pow1_binary64_9005` `add-cbrt-cube_binary64_8980` `distribute-lft-out_binary64_8895` `flip-+_binary64_8918` `add-exp-log_binary64_8982` `add-sqr-sqrt_binary64_8966`
1×	`associate-+r+_binary64_8876` `div-inv_binary64_8941`

Counts

2 → 26

Calls

4 calls:

8.0ms	(+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))
6.0ms	(+.f64 (/.f64 x 2) (*.f64 x y))
0.0ms	(+.f64 (/.f64 x 2) (*.f64 x y))
0.0ms	(+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))

series191.0ms (0.4%)

Counts

2 → 27

Calls

2 calls:

124.0ms	(+.f64 z (+.f64 (/.f64 x 2) (*.f64 x y)))
67.0ms	(+.f64 (/.f64 x 2) (*.f64 x y))

Compiler

Compiled 430 to 418 computations (2.8% saved)

simplify71.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4995	544
1	4995	544

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 x (+.f64 y 1/2))
0.0b	(*.f64 x (+.f64 y 1/2))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`*-un-lft-identity_binary64_8944` `add-sqr-sqrt_binary64_8966`
4×	`associate-r_binary64_8884`
3×	`associate-l_binary64_8885` `add-cube-cbrt_binary64_8979` `pow1_binary64_9005` `add-cbrt-cube_binary64_8980` `add-exp-log_binary64_8982`
2×	`associate-*r/_binary64_8886`
1×	`flip3-+_binary64_8947` `distribute-rgt-in_binary64_8894` `prod-exp_binary64_8993` `*-commutative_binary64_8875` `distribute-lft-out_binary64_8895` `unswap-sqr_binary64_8912` `pow-prod-down_binary64_9015` `flip-+_binary64_8918` `add-log-exp_binary64_8983` `cbrt-unprod_binary64_8977` `distribute-lft-in_binary64_8893`

Counts

1 → 23

Calls

2 calls:

6.0ms	(*.f64 x (+.f64 y 1/2))
0.0ms	(*.f64 x (+.f64 y 1/2))

series54.0ms (0.1%)

Counts

1 → 9

Calls

1 calls:

53.0ms

(*.f64 x (+.f64 y 1/2))

Compiler

Compiled 81 to 91 computations (-12.3% saved)

simplify84.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

32 → 32

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4891	266
1	4891	266

localize10.0ms (0%)

Local error

Found 6 expressions with local error:

2.8b	(exp.f64 (log.f64 (+.f64 (/.f64 x 2) (*.f64 x y))))
0.0b	(+.f64 (/.f64 x 2) (*.f64 x y))
0.0b	(+.f64 (exp.f64 (log.f64 (+.f64 (/.f64 x 2) (*.f64 x y)))) z)
0.0b	(+.f64 (exp.f64 (log.f64 (+.f64 (/.f64 x 2) (*.f64 x y)))) z)
0.0b	(+.f64 (/.f64 x 2) (*.f64 x y))
2.8b	(exp.f64 (log.f64 (+.f64 (/.f64 x 2) (*.f64 x y))))

rewrite30.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`*-un-lft-identity_binary64_8944` `add-log-exp_binary64_8983`
5×	`add-cube-cbrt_binary64_8979` `add-sqr-sqrt_binary64_8966`
4×	`pow1_binary64_9005` `exp-prod_binary64_8996` `exp-sum_binary64_8990` `log-prod_binary64_9030`
3×	`flip3-+_binary64_8947` `add-cbrt-cube_binary64_8980` `distribute-lft-out_binary64_8895` `flip-+_binary64_8918` `add-exp-log_binary64_8982`
2×	`+-commutative_binary64_8874` `exp-diff_binary64_8992` `log-div_binary64_9031` `sum-log_binary64_9035` `div-inv_binary64_8941`
1×	`rem-exp-log_binary64_8984` `log-pow_binary64_9033`

Counts

3 → 42

Calls

6 calls:

14.0ms	(+.f64 (exp.f64 (log.f64 (+.f64 (/.f64 x 2) (*.f64 x y)))) z)
7.0ms	(exp.f64 (log.f64 (+.f64 (/.f64 x 2) (*.f64 x y))))
6.0ms	(+.f64 (/.f64 x 2) (*.f64 x y))
0.0ms	(+.f64 (exp.f64 (log.f64 (+.f64 (/.f64 x 2) (*.f64 x y)))) z)
0.0ms	(+.f64 (/.f64 x 2) (*.f64 x y))

series732.0ms (1.5%)

Counts

3 → 33

Calls

3 calls:

389.0ms	(+.f64 (exp.f64 (log.f64 (+.f64 (/.f64 x 2) (*.f64 x y)))) z)
267.0ms	(exp.f64 (log.f64 (+.f64 (/.f64 x 2) (*.f64 x y))))
75.0ms	(+.f64 (/.f64 x 2) (*.f64 x y))

Compiler

Compiled 674 to 629 computations (6.7% saved)

simplify69.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4971	786
1	4971	786

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

40.9b	(cbrt.f64 (pow.f64 (+.f64 (/.f64 x 2) (*.f64 x y)) 3))
0.1b	(pow.f64 (+.f64 (/.f64 x 2) (*.f64 x y)) 3)
0.0b	(+.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (/.f64 x 2) (*.f64 x y)) 3)) 1) z)
0.0b	(+.f64 (/.f64 x 2) (*.f64 x y))
0.0b	(+.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (/.f64 x 2) (*.f64 x y)) 3)) 1) z)
0.0b	(+.f64 (/.f64 x 2) (*.f64 x y))
0.1b	(pow.f64 (+.f64 (/.f64 x 2) (*.f64 x y)) 3)
40.9b	(cbrt.f64 (pow.f64 (+.f64 (/.f64 x 2) (*.f64 x y)) 3))

rewrite47.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`cbrt-prod_binary64_8975`
12×	`*-un-lft-identity_binary64_8944`
10×	`add-cube-cbrt_binary64_8979` `add-sqr-sqrt_binary64_8966`
8×	`cube-prod_binary64_8972` `unpow-prod-down_binary64_9023` `add-log-exp_binary64_8983`
6×	`distribute-lft-out_binary64_8895`
5×	`pow1_binary64_9005` `add-cbrt-cube_binary64_8980` `div-inv_binary64_8941` `add-exp-log_binary64_8982`
4×	`flip3-+_binary64_8947` `cube-div_binary64_8973` `flip-+_binary64_8918`
3×	`pow-unpow_binary64_9021`
2×	`sqr-pow_binary64_8916` `cbrt-div_binary64_8976` `+-commutative_binary64_8874` `cube-mult_binary64_8974` `unpow3_binary64_9010` `sum-log_binary64_9035`
1×	`rem-cube-cbrt_binary64_8967` `pow1/3_binary64_9026` `rem-cbrt-cube_binary64_8968` `pow-pow_binary64_9016` `pow-to-exp_binary64_9013` `pow-exp_binary64_9012`

Counts

4 → 76

Calls

8 calls:

20.0ms	(+.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (/.f64 x 2) (*.f64 x y)) 3)) 1) z)
7.0ms	(pow.f64 (+.f64 (/.f64 x 2) (*.f64 x y)) 3)
7.0ms	(cbrt.f64 (pow.f64 (+.f64 (/.f64 x 2) (*.f64 x y)) 3))
6.0ms	(+.f64 (/.f64 x 2) (*.f64 x y))
0.0ms	(+.f64 (/.f64 x 2) (*.f64 x y))

series395.0ms (0.8%)

Counts

4 → 45

Calls

4 calls:

147.0ms	(+.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (/.f64 x 2) (*.f64 x y)) 3)) 1) z)
102.0ms	(pow.f64 (+.f64 (/.f64 x 2) (*.f64 x y)) 3)
74.0ms	(cbrt.f64 (pow.f64 (+.f64 (/.f64 x 2) (*.f64 x y)) 3))
72.0ms	(+.f64 (/.f64 x 2) (*.f64 x y))

Compiler

Compiled 794 to 765 computations (3.7% saved)

simplify64.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4942	1703
1	4942	1703

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

2.4b	(.f64 x (-.f64 (.f64 1/4 x) (.f64 (.f64 x y) (-.f64 1/2 y))))
0.1b	(.f64 (.f64 x y) (-.f64 1/2 y))
0.0b	(exp.f64 (/.f64 (.f64 (pow.f64 x 3) (+.f64 1/8 (pow.f64 y 3))) (.f64 x (-.f64 (.f64 1/4 x) (.f64 (*.f64 x y) (-.f64 1/2 y))))))
0.0b	(-.f64 (.f64 1/4 x) (.f64 (*.f64 x y) (-.f64 1/2 y)))
2.4b	(.f64 x (-.f64 (.f64 1/4 x) (.f64 (.f64 x y) (-.f64 1/2 y))))
3.5b	(log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 x 3) (+.f64 1/8 (pow.f64 y 3))) (.f64 x (-.f64 (.f64 1/4 x) (.f64 (*.f64 x y) (-.f64 1/2 y)))))))
9.6b	(*.f64 (pow.f64 x 3) (+.f64 1/8 (pow.f64 y 3)))
42.0b	(/.f64 (.f64 (pow.f64 x 3) (+.f64 1/8 (pow.f64 y 3))) (.f64 x (-.f64 (.f64 1/4 x) (.f64 (*.f64 x y) (-.f64 1/2 y)))))

rewrite52.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`add-exp-log_binary64_8982`
21×	`add-sqr-sqrt_binary64_8966`
20×	`add-cbrt-cube_binary64_8980`
15×	`associate-l_binary64_8885`
14×	`*-un-lft-identity_binary64_8944` `prod-exp_binary64_8993`
12×	`add-cube-cbrt_binary64_8979`
10×	`associate-*r/_binary64_8886`
8×	`div-exp_binary64_8995` `log-pow_binary64_9033`
7×	`pow1_binary64_9005` `exp-prod_binary64_8996` `associate-r_binary64_8884`
6×	`cbrt-unprod_binary64_8977`
5×	`unswap-sqr_binary64_8912`
4×	`associate-/r/_binary64_8890` `cube-prod_binary64_8972` `unpow-prod-down_binary64_9023` `cbrt-undiv_binary64_8978` `add-log-exp_binary64_8983`
3×	`flip3--_binary64_8948` `flip--_binary64_8919` `distribute-rgt-in_binary64_8894` `pow-to-exp_binary64_9013` `pow-exp_binary64_9012` `log-prod_binary64_9030` `distribute-lft-in_binary64_8893`
2×	`times-frac_binary64_8950` `sqr-pow_binary64_8916` `flip3-+_binary64_8947` `*-commutative_binary64_8875` `associate-/l/_binary64_8891` `sub-neg_binary64_8937` `cancel-sign-sub-inv_binary64_8910` `div-inv_binary64_8941` `flip-+_binary64_8918`
1×	`clear-num_binary64_8943` `associate-/r_binary64_8888` `frac-2neg_binary64_8955` `associate-/l_binary64_8889` `cube-mult_binary64_8974` `unpow3_binary64_9010` `distribute-lft-out_binary64_8895` `pow-prod-down_binary64_9015` `rem-log-exp_binary64_8985`

Counts

4 → 108

Calls

8 calls:

15.0ms	(/.f64 (.f64 (pow.f64 x 3) (+.f64 1/8 (pow.f64 y 3))) (.f64 x (-.f64 (.f64 1/4 x) (.f64 (*.f64 x y) (-.f64 1/2 y)))))
11.0ms	(*.f64 (pow.f64 x 3) (+.f64 1/8 (pow.f64 y 3)))
7.0ms	(.f64 x (-.f64 (.f64 1/4 x) (.f64 (.f64 x y) (-.f64 1/2 y))))
5.0ms	(log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 x 3) (+.f64 1/8 (pow.f64 y 3))) (.f64 x (-.f64 (.f64 1/4 x) (.f64 (*.f64 x y) (-.f64 1/2 y)))))))
0.0ms	(-.f64 (.f64 1/4 x) (.f64 (*.f64 x y) (-.f64 1/2 y)))

series2.4s (5%)

Counts

4 → 30

Calls

4 calls:

1.9s	(log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 x 3) (+.f64 1/8 (pow.f64 y 3))) (.f64 x (-.f64 (.f64 1/4 x) (.f64 (*.f64 x y) (-.f64 1/2 y)))))))
218.0ms	(/.f64 (.f64 (pow.f64 x 3) (+.f64 1/8 (pow.f64 y 3))) (.f64 x (-.f64 (.f64 1/4 x) (.f64 (*.f64 x y) (-.f64 1/2 y)))))
184.0ms	(.f64 x (-.f64 (.f64 1/4 x) (.f64 (.f64 x y) (-.f64 1/2 y))))
95.0ms	(*.f64 (pow.f64 x 3) (+.f64 1/8 (pow.f64 y 3)))

Compiler

Compiled 1298 to 1118 computations (13.9% saved)

simplify92.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5138	3076

prune6.5s (13.6%)

Pruning

240 alts after pruning (229 fresh and 11 done)

	Pruned	Kept	Total
New	276	143	419
Fresh	16	86	102
Picked	0	0	0
Done	0	11	11
Total	292	240	532

Error

0.0b

Counts

532 → 240

Compiler

Compiled 11081 to 8055 computations (27.3% saved)

localize11.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (/.f64 x 2) (*.f64 y x))
0.0b	(+.f64 (pow.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) 1) z)
0.0b	(+.f64 (/.f64 x 2) (*.f64 y x))
0.0b	(+.f64 (pow.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) 1) z)

rewrite18.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-log-exp_binary64_8983`
4×	`*-un-lft-identity_binary64_8944`
2×	`flip3-+_binary64_8947` `+-commutative_binary64_8874` `add-cube-cbrt_binary64_8979` `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`
1×	`distribute-lft-out_binary64_8895`

Counts

2 → 23

Calls

4 calls:

10.0ms	(+.f64 (pow.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) 1) z)
6.0ms	(+.f64 (/.f64 x 2) (*.f64 y x))
0.0ms	(+.f64 (pow.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) 1) z)
0.0ms	(+.f64 (/.f64 x 2) (*.f64 y x))

series195.0ms (0.4%)

Counts

2 → 27

Calls

2 calls:

123.0ms	(+.f64 (pow.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) 1) z)
72.0ms	(+.f64 (/.f64 x 2) (*.f64 y x))

Compiler

Compiled 418 to 406 computations (2.9% saved)

simplify76.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4942	591
1	4942	591

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

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

9.6b	(.f64 (.f64 x x) (-.f64 1/4 (*.f64 y y)))
3.5b	(log.f64 (exp.f64 (/.f64 (.f64 (.f64 x x) (-.f64 1/4 (.f64 y y))) (.f64 x (-.f64 1/2 y)))))
0.0b	(exp.f64 (/.f64 (.f64 (.f64 x x) (-.f64 1/4 (.f64 y y))) (.f64 x (-.f64 1/2 y))))
0.0b	(*.f64 x (-.f64 1/2 y))
0.0b	(exp.f64 (/.f64 (.f64 (.f64 x x) (-.f64 1/4 (.f64 y y))) (.f64 x (-.f64 1/2 y))))
3.5b	(log.f64 (exp.f64 (/.f64 (.f64 (.f64 x x) (-.f64 1/4 (.f64 y y))) (.f64 x (-.f64 1/2 y)))))
9.6b	(.f64 (.f64 x x) (-.f64 1/4 (*.f64 y y)))
27.1b	(/.f64 (.f64 (.f64 x x) (-.f64 1/4 (.f64 y y))) (.f64 x (-.f64 1/2 y)))

rewrite41.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-cbrt-cube_binary64_8980` `add-exp-log_binary64_8982`
14×	`exp-prod_binary64_8996`
12×	`prod-exp_binary64_8993` `cbrt-unprod_binary64_8977`
10×	`associate-*r/_binary64_8886` `pow1_binary64_9005` `add-sqr-sqrt_binary64_8966`
8×	`add-cube-cbrt_binary64_8979` `*-un-lft-identity_binary64_8944` `log-pow_binary64_9033`
6×	`associate-/r/_binary64_8890` `div-exp_binary64_8995` `cbrt-undiv_binary64_8978`
5×	`flip3--_binary64_8948` `flip--_binary64_8919` `add-log-exp_binary64_8983`
4×	`associate-r_binary64_8884`
3×	`times-frac_binary64_8950` `pow-prod-down_binary64_9015` `log-prod_binary64_9030` `div-inv_binary64_8941`
2×	`distribute-rgt-in_binary64_8894` `associate-/l/_binary64_8891` `sub-neg_binary64_8937` `cancel-sign-sub-inv_binary64_8910` `distribute-lft-in_binary64_8893`
1×	`associate-l_binary64_8885` `clear-num_binary64_8943` `associate-/r_binary64_8888` `frac-2neg_binary64_8955` `associate-/l_binary64_8889` `*-commutative_binary64_8875` `rem-exp-log_binary64_8984` `difference-of-squares_binary64_8913` `unswap-sqr_binary64_8912` `rem-log-exp_binary64_8985`

Counts

4 → 89

Calls

8 calls:

13.0ms	(/.f64 (.f64 (.f64 x x) (-.f64 1/4 (.f64 y y))) (.f64 x (-.f64 1/2 y)))
8.0ms	(.f64 (.f64 x x) (-.f64 1/4 (*.f64 y y)))
4.0ms	(log.f64 (exp.f64 (/.f64 (.f64 (.f64 x x) (-.f64 1/4 (.f64 y y))) (.f64 x (-.f64 1/2 y)))))
3.0ms	(exp.f64 (/.f64 (.f64 (.f64 x x) (-.f64 1/4 (.f64 y y))) (.f64 x (-.f64 1/2 y))))
0.0ms	(*.f64 x (-.f64 1/2 y))

series1.2s (2.6%)

Counts

4 → 28

Calls

4 calls:

985.0ms	(log.f64 (exp.f64 (/.f64 (.f64 (.f64 x x) (-.f64 1/4 (.f64 y y))) (.f64 x (-.f64 1/2 y)))))
100.0ms	(/.f64 (.f64 (.f64 x x) (-.f64 1/4 (.f64 y y))) (.f64 x (-.f64 1/2 y)))
73.0ms	(.f64 (.f64 x x) (-.f64 1/4 (*.f64 y y)))
71.0ms	(exp.f64 (/.f64 (.f64 (.f64 x x) (-.f64 1/4 (.f64 y y))) (.f64 x (-.f64 1/2 y))))

Compiler

Compiled 844 to 770 computations (8.8% saved)

simplify77.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5089	1884

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 y (.f64 x (+.f64 y -1/2)))
0.0b	(+.f64 z (/.f64 (+.f64 (pow.f64 (/.f64 x 2) 3) (pow.f64 (.f64 x y) 3)) (.f64 x (+.f64 (/.f64 x 4) (.f64 y (.f64 x (+.f64 y -1/2)))))))
0.0b	(*.f64 x (+.f64 y -1/2))
0.0b	(+.f64 (/.f64 x 4) (.f64 y (.f64 x (+.f64 y -1/2))))
0.2b	(pow.f64 (*.f64 x y) 3)
2.4b	(.f64 x (+.f64 (/.f64 x 4) (.f64 y (*.f64 x (+.f64 y -1/2)))))
3.5b	(+.f64 (pow.f64 (/.f64 x 2) 3) (pow.f64 (*.f64 x y) 3))
42.0b	(/.f64 (+.f64 (pow.f64 (/.f64 x 2) 3) (pow.f64 (.f64 x y) 3)) (.f64 x (+.f64 (/.f64 x 4) (.f64 y (.f64 x (+.f64 y -1/2))))))

rewrite80.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`associate-*r/_binary64_8886`
15×	`*-un-lft-identity_binary64_8944` `distribute-lft-out_binary64_8895`
14×	`add-cbrt-cube_binary64_8980` `add-exp-log_binary64_8982`
13×	`cube-prod_binary64_8972` `unpow-prod-down_binary64_9023` `div-inv_binary64_8941`
11×	`add-sqr-sqrt_binary64_8966`
9×	`times-frac_binary64_8950` `add-cube-cbrt_binary64_8979` `pow1_binary64_9005` `associate-/l*_binary64_8889`
6×	`flip3-+_binary64_8947` `flip-+_binary64_8918` `add-log-exp_binary64_8983`
4×	`associate-/r/_binary64_8890` `frac-add_binary64_8952`
3×	`associate-l_binary64_8885` `prod-exp_binary64_8993` `associate-r_binary64_8884` `pow-unpow_binary64_9021` `sum-cubes_binary64_8945` `cbrt-unprod_binary64_8977`
2×	`rem-cube-cbrt_binary64_8967` `div-exp_binary64_8995` `pow-pow_binary64_9016` `associate-/l/_binary64_8891` `pow-exp_binary64_9012` `pow-prod-down_binary64_9015` `cbrt-undiv_binary64_8978`
1×	`sqr-pow_binary64_8916` `+-commutative_binary64_8874` `distribute-rgt-in_binary64_8894` `clear-num_binary64_8943` `associate-/r_binary64_8888` `frac-2neg_binary64_8955` `pow-to-exp_binary64_9013` `-commutative_binary64_8875` `cube-mult_binary64_8974` `unpow3_binary64_9010` `sum-log_binary64_9035` `unswap-sqr_binary64_8912` `distribute-lft-in_binary64_8893`

Counts

4 → 102

Calls

8 calls:

30.0ms	(/.f64 (+.f64 (pow.f64 (/.f64 x 2) 3) (pow.f64 (.f64 x y) 3)) (.f64 x (+.f64 (/.f64 x 4) (.f64 y (.f64 x (+.f64 y -1/2))))))
23.0ms	(+.f64 (pow.f64 (/.f64 x 2) 3) (pow.f64 (*.f64 x y) 3))
10.0ms	(.f64 x (+.f64 (/.f64 x 4) (.f64 y (*.f64 x (+.f64 y -1/2)))))
4.0ms	(pow.f64 (*.f64 x y) 3)
0.0ms	(+.f64 (/.f64 x 4) (.f64 y (.f64 x (+.f64 y -1/2))))

series927.0ms (1.9%)

Counts

4 → 36

Calls

4 calls:

413.0ms	(/.f64 (+.f64 (pow.f64 (/.f64 x 2) 3) (pow.f64 (.f64 x y) 3)) (.f64 x (+.f64 (/.f64 x 4) (.f64 y (.f64 x (+.f64 y -1/2))))))
219.0ms	(.f64 x (+.f64 (/.f64 x 4) (.f64 y (*.f64 x (+.f64 y -1/2)))))
208.0ms	(+.f64 (pow.f64 (/.f64 x 2) 3) (pow.f64 (*.f64 x y) 3))
86.0ms	(pow.f64 (*.f64 x y) 3)

Compiler

Compiled 1628 to 1377 computations (15.4% saved)

simplify101.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5013	2997

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(pow.f64 (/.f64 (.f64 (+.f64 1/8 (pow.f64 y 3)) (.f64 x x)) (.f64 x (-.f64 1/4 (.f64 y (-.f64 1/2 y))))) 3)
0.0b	(exp.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 (+.f64 1/8 (pow.f64 y 3)) (.f64 x x)) (.f64 x (-.f64 1/4 (.f64 y (-.f64 1/2 y))))) 3)))
0.0b	(*.f64 y (-.f64 1/2 y))
0.0b	(-.f64 1/4 (*.f64 y (-.f64 1/2 y)))
3.8b	(.f64 x (-.f64 1/4 (.f64 y (-.f64 1/2 y))))
9.1b	(.f64 (+.f64 1/8 (pow.f64 y 3)) (.f64 x x))
29.7b	(/.f64 (.f64 (+.f64 1/8 (pow.f64 y 3)) (.f64 x x)) (.f64 x (-.f64 1/4 (.f64 y (-.f64 1/2 y)))))
40.9b	(cbrt.f64 (pow.f64 (/.f64 (.f64 (+.f64 1/8 (pow.f64 y 3)) (.f64 x x)) (.f64 x (-.f64 1/4 (.f64 y (-.f64 1/2 y))))) 3))

rewrite53.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-cbrt-cube_binary64_8980` `add-exp-log_binary64_8982`
20×	`cbrt-prod_binary64_8975`
13×	`prod-exp_binary64_8993` `cbrt-unprod_binary64_8977` `add-sqr-sqrt_binary64_8966`
12×	`*-un-lft-identity_binary64_8944`
11×	`pow1_binary64_9005`
10×	`add-cube-cbrt_binary64_8979`
8×	`associate-*r/_binary64_8886`
7×	`associate-l_binary64_8885` `cube-prod_binary64_8972` `unpow-prod-down_binary64_9023`
6×	`associate-/r/_binary64_8890` `div-exp_binary64_8995` `cbrt-undiv_binary64_8978`
4×	`flip3--_binary64_8948` `flip--_binary64_8919` `associate-l/_binary64_8887` `associate-r*_binary64_8884` `pow-prod-down_binary64_9015` `add-log-exp_binary64_8983`
3×	`times-frac_binary64_8950` `div-inv_binary64_8941`
2×	`flip3-+_binary64_8947` `distribute-rgt-in_binary64_8894` `*-commutative_binary64_8875` `associate-/l/_binary64_8891` `sub-neg_binary64_8937` `unswap-sqr_binary64_8912` `cancel-sign-sub-inv_binary64_8910` `flip-+_binary64_8918` `distribute-lft-in_binary64_8893`
1×	`sqr-pow_binary64_8916` `pow1/3_binary64_9026` `cbrt-div_binary64_8976` `clear-num_binary64_8943` `associate-/r_binary64_8888` `rem-cbrt-cube_binary64_8968` `frac-2neg_binary64_8955` `associate-/l_binary64_8889` `cube-mult_binary64_8974` `unpow3_binary64_9010` `cube-div_binary64_8973` `distribute-lft-out_binary64_8895`

Counts

4 → 105

Calls

8 calls:

20.0ms	(/.f64 (.f64 (+.f64 1/8 (pow.f64 y 3)) (.f64 x x)) (.f64 x (-.f64 1/4 (.f64 y (-.f64 1/2 y)))))
11.0ms	(.f64 (+.f64 1/8 (pow.f64 y 3)) (.f64 x x))
6.0ms	(.f64 x (-.f64 1/4 (.f64 y (-.f64 1/2 y))))
4.0ms	(cbrt.f64 (pow.f64 (/.f64 (.f64 (+.f64 1/8 (pow.f64 y 3)) (.f64 x x)) (.f64 x (-.f64 1/4 (.f64 y (-.f64 1/2 y))))) 3))
0.0ms	(-.f64 1/4 (*.f64 y (-.f64 1/2 y)))

series578.0ms (1.2%)

Counts

4 → 32

Calls

4 calls:

183.0ms	(cbrt.f64 (pow.f64 (/.f64 (.f64 (+.f64 1/8 (pow.f64 y 3)) (.f64 x x)) (.f64 x (-.f64 1/4 (.f64 y (-.f64 1/2 y))))) 3))
167.0ms	(/.f64 (.f64 (+.f64 1/8 (pow.f64 y 3)) (.f64 x x)) (.f64 x (-.f64 1/4 (.f64 y (-.f64 1/2 y)))))
148.0ms	(.f64 x (-.f64 1/4 (.f64 y (-.f64 1/2 y))))
79.0ms	(.f64 (+.f64 1/8 (pow.f64 y 3)) (.f64 x x))

Compiler

Compiled 1253 to 1103 computations (12% saved)

simplify65.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5009	2804

prune13.5s (28.2%)

Pruning

372 alts after pruning (359 fresh and 13 done)

	Pruned	Kept	Total
New	284	158	442
Fresh	23	201	224
Picked	0	0	0
Done	3	13	16
Total	310	372	682

Error

0.0b

Counts

682 → 372

Compiler

Compiled 7607 to 5051 computations (33.6% saved)

simplify379.0ms (0.8%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	5030	23502

regimes3.0s (6.3%)

Compiler: Compiled 35322 to 27876 computations (21.1% saved)

bsearch0.0ms (0%)

regimes55.0ms (0.1%)

Compiler: Compiled 138 to 201 computations (-45.7% saved)

bsearch0.0ms (0%)

regimes137.0ms (0.3%)

Compiler: Compiled 96 to 159 computations (-65.6% saved)

bsearch30.0ms (0.1%)

Steps

Iters	Range		Point
10	0.1093565891859923	181295455418304.16	0.4988278874837578
7	-1073053787781486.5	-56595887191659.22	-57186541343612.39

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes119.0ms (0.2%)

Compiler: Compiled 51 to 105 computations (-105.9% saved)

bsearch49.0ms (0.1%)

Steps

Iters	Range		Point
7	1.4687888790385947e+136	2.355820504532208e+137	1.7415642758229257e+136
7	-8.230328267953799e-46	-2.864830437294081e-47	-8.09714337546656e-46
4	-2.807242546257342e-27	-1.4782831860521267e-27	-1.5011935502403412e-27
8	-5.928334413152995e+107	-4.4894779540330274e+103	-5.820966759135245e+107

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes152.0ms (0.3%)

Compiler: Compiled 36 to 90 computations (-150% saved)

bsearch131.0ms (0.3%)

Steps

Iters	Range		Point
6	4.9924883872227935e+115	2.1537268951859218e+116	5.315622375114234e+115
10	1.9144173818621378e-84	3.4426502657886133e-65	1.1652345658611517e-80
8	8.872206984104633e-203	2.0156769990943603e-199	3.012511810149545e-200
7	2.527190436723262e-288	1.8506054737632282e-286	1.4332821407900676e-287
7	-7.454169474702068e-275	-3.059055858016599e-276	-4.904274792415923e-275
7	-4.967689784390695e-234	-1.023151220730589e-235	-1.319364071887117e-235
8	-1.7125099776663435e-208	-3.7737929552457107e-212	-1.3483557008359073e-211
7	-1073053787781486.5	-56595887191659.22	-369104715116989.56
9	-1.0856307220917803e+173	-4.824562779179267e+164	-3.0032075688344868e+172
6	-6.350921183093725e+212	-4.25075937989368e+211	-4.0060398078321e+212

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes64.0ms (0.1%)

Compiler: Compiled 27 to 75 computations (-177.8% saved)

bsearch16.0ms (0%)

Steps

Iters	Range		Point
7	2.383144320423542e-110	2.9491560485883357e-108	2.902980193625566e-108
3	-2.9262955763977795e-46	-2.4131126039262908e-46	-2.445186539705759e-46

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes27.0ms (0.1%)

Accuracy

Total 0.0b remaining (89.8%)

Threshold costs 0.0b (89.8%)

Compiler

Compiled 18 to 63 computations (-250% saved)

bsearch9.0ms (0%)

Compiler: Compiled 151 to 105 computations (30.5% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	105	198
1	105	198

end0.0ms (0%)

sample11.0s (22.8%)

Algorithm

1×

intervals

Results

246.0ms	7999×	body	128	valid
12.0ms	283×	body	128	invalid
0.0ms	1×	body	512	valid

Compiler

Compiled 12196 to 9610 computations (21.2% saved)

Pareto

-0.1395395588794688