Details

analyze124.0ms (0.1%)

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
25%	74.9%	0.1%	5
25%	68.7%	6.3%	6
25%	56.2%	18.8%	7
25%	48.4%	26.6%	8
25%	35.1%	39.9%	9
28.1%	18.3%	53.6%	10
31.6%	12.3%	56.1%	11
33.4%	5.9%	60.8%	12
35.2%	3.8%	61%	13
36.1%	2.9%	61%	14

Compiler

Compiled 32 to 22 computations (31.3% saved)

sample29.0ms (0%)

Algorithm

1×

intervals

Results

15.0ms

256×

body

128

valid

Compiler

Compiled 66 to 50 computations (24.2% saved)

simplify154.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

3 → 3

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5029	48

prune3.0ms (0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	1	2	3
Fresh	0	3	3
Picked	0	0	0
Done	0	0	0
Total	1	5	6

Error

0.2b

Counts

6 → 3

Compiler

Compiled 33 to 23 computations (30.3% saved)

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))
0.0b	(+.f64 (.f64 a a) (.f64 b b))
0.0b	(+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (*.f64 3 a))))
0.0b	(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))) 1)
0.0b	(-.f64 1 (*.f64 3 a))
0.1b	(.f64 (.f64 a a) (+.f64 1 a))
0.4b	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
1.0b	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))

rewrite37.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`pow1_binary64_2185` `add-exp-log_binary64_2162`
14×	`add-cbrt-cube_binary64_2160`
10×	`add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
8×	`add-cube-cbrt_binary64_2159`
7×	`associate-r_binary64_2064`
6×	`pow-prod-down_binary64_2195` `add-log-exp_binary64_2163` `prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
4×	`associate-*r/_binary64_2066`
3×	`cancel-sign-sub-inv_binary64_2090` `pow-unpow_binary64_2201` `unpow-prod-down_binary64_2203` `distribute-rgt-in_binary64_2074` `sub-neg_binary64_2117` `distribute-lft-in_binary64_2073`
2×	`flip--_binary64_2099` `flip3--_binary64_2128` `unswap-sqr_binary64_2092` `-commutative_binary64_2055` `associate-l*_binary64_2065`
1×	`pow-pow_binary64_2196` `pow-exp_binary64_2192` `distribute-lft-out_binary64_2075` `diff-log_binary64_2216` `sqr-pow_binary64_2096` `unpow2_binary64_2189` `pow-to-exp_binary64_2193` `flip3-+_binary64_2127` `flip-+_binary64_2098`

Counts

4 → 79

Calls

8 calls:

12.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
8.0ms	(.f64 (.f64 a a) (+.f64 1 a))
5.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
3.0ms	(-.f64 1 (*.f64 3 a))
0.0ms	(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))) 1)

series374.0ms (0.3%)

Counts

4 → 37

Calls

4 calls:

200.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
92.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
53.0ms	(.f64 (.f64 a a) (+.f64 1 a))
28.0ms	(-.f64 1 (*.f64 3 a))

Compiler

Compiled 1769 to 1337 computations (24.4% saved)

simplify94.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5226	1496

prune453.0ms (0.4%)

Pruning

38 alts after pruning (37 fresh and 1 done)

	Pruned	Kept	Total
New	81	35	116
Fresh	0	2	2
Picked	0	0	0
Done	0	1	1
Total	81	38	119

Error

0.0b

Counts

119 → 38

Compiler

Compiled 3611 to 2153 computations (40.4% saved)

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 2 (.f64 (.f64 b b) (.f64 a a)))
0.0b	(+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a)))))
0.0b	(-.f64 (+.f64 (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a))))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))) 1)
0.0b	(+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a))))
0.0b	(-.f64 1 (*.f64 3 a))
0.1b	(.f64 (.f64 a a) (+.f64 1 a))
1.0b	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
3.2b	(.f64 (.f64 b b) (*.f64 a a))

rewrite42.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`pow1_binary64_2185`
26×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
20×	`pow-prod-down_binary64_2195`
14×	`prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
8×	`add-sqr-sqrt_binary64_2146` `associate-r_binary64_2064` `*-un-lft-identity_binary64_2124`
6×	`add-log-exp_binary64_2163` `add-cube-cbrt_binary64_2159`
4×	`pow-prod-up_binary64_2194` `pow-plus_binary64_2187` `associate-*r/_binary64_2066`
3×	`cancel-sign-sub-inv_binary64_2090` `unswap-sqr_binary64_2092` `-commutative_binary64_2055` `associate-l*_binary64_2065` `distribute-rgt-in_binary64_2074` `sub-neg_binary64_2117` `distribute-lft-in_binary64_2073`
2×	`flip--_binary64_2099` `flip3--_binary64_2128` `pow2_binary64_2205` `pow-sqr_binary64_2097`
1×	`distribute-lft-out_binary64_2075` `diff-log_binary64_2216` `flip3-+_binary64_2127` `flip-+_binary64_2098`

Counts

4 → 90

Calls

8 calls:

10.0ms	(.f64 (.f64 a a) (+.f64 1 a))
9.0ms	(.f64 (.f64 b b) (*.f64 a a))
8.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
3.0ms	(-.f64 1 (*.f64 3 a))
0.0ms	(+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a))))

series245.0ms (0.2%)

Counts

4 → 25

Calls

4 calls:

93.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
73.0ms	(.f64 (.f64 b b) (*.f64 a a))
48.0ms	(.f64 (.f64 a a) (+.f64 1 a))
30.0ms	(-.f64 1 (*.f64 3 a))

Compiler

Compiled 1657 to 1235 computations (25.5% saved)

simplify69.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5156	1222

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (*.f64 3 a))))
0.0b	(+.f64 (.f64 a a) (.f64 b b))
0.0b	(+.f64 (.f64 a a) (.f64 b b))
0.0b	(-.f64 (+.f64 (.f64 (+.f64 (.f64 a a) (.f64 b b)) (+.f64 (.f64 a a) (.f64 b b))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))))) 1)
0.0b	(-.f64 1 (*.f64 3 a))
0.1b	(.f64 (.f64 a a) (+.f64 1 a))
0.4b	(.f64 (+.f64 (.f64 a a) (.f64 b b)) (+.f64 (.f64 a a) (*.f64 b b)))
1.0b	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))

rewrite41.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`pow1_binary64_2185`
16×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
14×	`add-sqr-sqrt_binary64_2146`
12×	`*-un-lft-identity_binary64_2124`
10×	`add-cube-cbrt_binary64_2159` `associate-r_binary64_2064`
7×	`pow-prod-down_binary64_2195` `prod-exp_binary64_2173` `flip3-+_binary64_2127` `flip-+_binary64_2098` `cbrt-unprod_binary64_2157`
6×	`add-log-exp_binary64_2163` `associate-*r/_binary64_2066`
5×	`associate-l_binary64_2065`
4×	`distribute-rgt-in_binary64_2074` `frac-times_binary64_2134` `distribute-lft-in_binary64_2073`
3×	`cancel-sign-sub-inv_binary64_2090` `unswap-sqr_binary64_2092` `*-commutative_binary64_2055` `swap-sqr_binary64_2091` `sub-neg_binary64_2117`
2×	`flip--_binary64_2099` `flip3--_binary64_2128` `associate-*l/_binary64_2067`
1×	`pow-prod-up_binary64_2194` `distribute-lft-out_binary64_2075` `diff-log_binary64_2216` `pow-plus_binary64_2187` `pow2_binary64_2205` `pow-sqr_binary64_2097`

Counts

4 → 96

Calls

8 calls:

10.0ms	(.f64 (+.f64 (.f64 a a) (.f64 b b)) (+.f64 (.f64 a a) (*.f64 b b)))
8.0ms	(.f64 (.f64 a a) (+.f64 1 a))
8.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
3.0ms	(-.f64 1 (*.f64 3 a))
0.0ms	(-.f64 (+.f64 (.f64 (+.f64 (.f64 a a) (.f64 b b)) (+.f64 (.f64 a a) (.f64 b b))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))))) 1)

series392.0ms (0.3%)

Counts

4 → 37

Calls

4 calls:

212.0ms	(.f64 (+.f64 (.f64 a a) (.f64 b b)) (+.f64 (.f64 a a) (*.f64 b b)))
100.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
49.0ms	(.f64 (.f64 a a) (+.f64 1 a))
31.0ms	(-.f64 1 (*.f64 3 a))

Compiler

Compiled 1955 to 1306 computations (33.2% saved)

simplify71.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5215	1888

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 2 (.f64 (.f64 b b) (.f64 a a)))
0.0b	(+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a))))
0.0b	(+.f64 (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a)))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a))))))
0.0b	(-.f64 (+.f64 (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a)))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))) 1)
0.0b	(-.f64 1 (*.f64 3 a))
0.1b	(.f64 (.f64 a a) (+.f64 1 a))
1.0b	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
3.2b	(.f64 (.f64 b b) (*.f64 a a))

rewrite41.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`pow1_binary64_2185`
26×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
20×	`pow-prod-down_binary64_2195`
14×	`prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
8×	`add-sqr-sqrt_binary64_2146` `associate-r_binary64_2064` `*-un-lft-identity_binary64_2124`
6×	`add-log-exp_binary64_2163` `add-cube-cbrt_binary64_2159`
4×	`pow-prod-up_binary64_2194` `pow-plus_binary64_2187` `associate-*r/_binary64_2066`
3×	`cancel-sign-sub-inv_binary64_2090` `unswap-sqr_binary64_2092` `-commutative_binary64_2055` `associate-l*_binary64_2065` `distribute-rgt-in_binary64_2074` `sub-neg_binary64_2117` `distribute-lft-in_binary64_2073`
2×	`flip--_binary64_2099` `flip3--_binary64_2128` `pow2_binary64_2205` `pow-sqr_binary64_2097`
1×	`distribute-lft-out_binary64_2075` `diff-log_binary64_2216` `flip3-+_binary64_2127` `flip-+_binary64_2098`

Counts

4 → 90

Calls

8 calls:

9.0ms	(.f64 (.f64 b b) (*.f64 a a))
9.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
9.0ms	(.f64 (.f64 a a) (+.f64 1 a))
3.0ms	(-.f64 1 (*.f64 3 a))
0.0ms	(-.f64 (+.f64 (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a)))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))) 1)

series268.0ms (0.2%)

Counts

4 → 25

Calls

4 calls:

109.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
81.0ms	(.f64 (.f64 b b) (*.f64 a a))
48.0ms	(.f64 (.f64 a a) (+.f64 1 a))
29.0ms	(-.f64 1 (*.f64 3 a))

Compiler

Compiled 1485 to 1106 computations (25.5% saved)

simplify71.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5156	1222

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (*.f64 3 a))))
0.0b	(+.f64 (.f64 b b) (.f64 a a))
0.0b	(+.f64 (.f64 b b) (.f64 a a))
0.0b	(-.f64 (+.f64 (.f64 (fabs.f64 (+.f64 (.f64 b b) (.f64 a a))) (fabs.f64 (+.f64 (.f64 b b) (.f64 a a)))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))))) 1)
0.0b	(-.f64 1 (*.f64 3 a))
0.1b	(.f64 (.f64 a a) (+.f64 1 a))
0.4b	(.f64 (fabs.f64 (+.f64 (.f64 b b) (.f64 a a))) (fabs.f64 (+.f64 (.f64 b b) (*.f64 a a))))
1.0b	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))

rewrite34.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`pow1_binary64_2185`
16×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
14×	`add-sqr-sqrt_binary64_2146`
12×	`*-un-lft-identity_binary64_2124`
10×	`add-cube-cbrt_binary64_2159` `associate-r_binary64_2064`
7×	`pow-prod-down_binary64_2195` `prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
6×	`add-log-exp_binary64_2163`
5×	`associate-l_binary64_2065`
4×	`associate-*r/_binary64_2066`
3×	`cancel-sign-sub-inv_binary64_2090` `unswap-sqr_binary64_2092` `*-commutative_binary64_2055` `swap-sqr_binary64_2091` `distribute-rgt-in_binary64_2074` `sub-neg_binary64_2117` `distribute-lft-in_binary64_2073`
2×	`flip--_binary64_2099` `flip3--_binary64_2128`
1×	`pow-prod-up_binary64_2194` `distribute-lft-out_binary64_2075` `diff-log_binary64_2216` `pow-plus_binary64_2187` `pow2_binary64_2205` `flip3-+_binary64_2127` `pow-sqr_binary64_2097` `sqr-abs_binary64_2139` `flip-+_binary64_2098`

Counts

4 → 87

Calls

8 calls:

8.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
8.0ms	(.f64 (.f64 a a) (+.f64 1 a))
4.0ms	(.f64 (fabs.f64 (+.f64 (.f64 b b) (.f64 a a))) (fabs.f64 (+.f64 (.f64 b b) (*.f64 a a))))
3.0ms	(-.f64 1 (*.f64 3 a))
0.0ms	(-.f64 (+.f64 (.f64 (fabs.f64 (+.f64 (.f64 b b) (.f64 a a))) (fabs.f64 (+.f64 (.f64 b b) (.f64 a a)))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))))) 1)

series252.0ms (0.2%)

Counts

4 → 25

Calls

4 calls:

94.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
79.0ms	(.f64 (fabs.f64 (+.f64 (.f64 b b) (.f64 a a))) (fabs.f64 (+.f64 (.f64 b b) (*.f64 a a))))
48.0ms	(.f64 (.f64 a a) (+.f64 1 a))
30.0ms	(-.f64 1 (*.f64 3 a))

Compiler

Compiled 1573 to 989 computations (37.1% saved)

simplify96.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4980	1381
1	4980	1381

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 a a) (.f64 b b))
0.0b	(+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (sqrt.f64 (.f64 (.f64 a a) (+.f64 1 a))) (sqrt.f64 (.f64 (.f64 a a) (+.f64 1 a)))) (.f64 (.f64 b b) (-.f64 1 (*.f64 3 a))))))
0.0b	(+.f64 (.f64 (sqrt.f64 (.f64 (.f64 a a) (+.f64 1 a))) (sqrt.f64 (.f64 (.f64 a a) (+.f64 1 a)))) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a))))
0.0b	(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (sqrt.f64 (.f64 (.f64 a a) (+.f64 1 a))) (sqrt.f64 (.f64 (.f64 a a) (+.f64 1 a)))) (.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))))) 1)
0.4b	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
1.0b	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
22.7b	(sqrt.f64 (.f64 (.f64 a a) (+.f64 1 a)))
22.7b	(sqrt.f64 (.f64 (.f64 a a) (+.f64 1 a)))

rewrite37.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`pow1_binary64_2185`
10×	`add-exp-log_binary64_2162`
9×	`pow-prod-down_binary64_2195` `add-cbrt-cube_binary64_2160`
8×	`add-sqr-sqrt_binary64_2146`
7×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
6×	`sqrt-pow1_binary64_2142` `associate-*r/_binary64_2066`
4×	`sqrt-div_binary64_2141` `add-log-exp_binary64_2163`
3×	`pow-unpow_binary64_2201` `unpow-prod-down_binary64_2203` `prod-exp_binary64_2173` `associate-r_binary64_2064` `cbrt-unprod_binary64_2157`
2×	`cancel-sign-sub-inv_binary64_2090` `sqrt-prod_binary64_2140` `pow1/2_binary64_2204` `distribute-rgt-in_binary64_2074` `sub-neg_binary64_2117` `flip3-+_binary64_2127` `flip-+_binary64_2098` `distribute-lft-in_binary64_2073`
1×	`flip--_binary64_2099` `flip3--_binary64_2128` `unswap-sqr_binary64_2092` `pow-pow_binary64_2196` `pow-exp_binary64_2192` `-commutative_binary64_2055` `associate-l*_binary64_2065` `sqr-pow_binary64_2096` `unpow2_binary64_2189` `pow-to-exp_binary64_2193`

Counts

4 → 71

Calls

8 calls:

9.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
6.0ms	(sqrt.f64 (.f64 (.f64 a a) (+.f64 1 a)))
6.0ms	(sqrt.f64 (.f64 (.f64 a a) (+.f64 1 a)))
5.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
0.0ms	(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (sqrt.f64 (.f64 (.f64 a a) (+.f64 1 a))) (sqrt.f64 (.f64 (.f64 a a) (+.f64 1 a)))) (.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))))) 1)

series374.0ms (0.3%)

Counts

4 → 38

Calls

4 calls:

212.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
100.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
33.0ms	(sqrt.f64 (.f64 (.f64 a a) (+.f64 1 a)))
28.0ms	(sqrt.f64 (.f64 (.f64 a a) (+.f64 1 a)))

Compiler

Compiled 2302 to 1670 computations (27.5% saved)

simplify71.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4956	1495
1	4956	1495

prune7.1s (6.2%)

Pruning

146 alts after pruning (141 fresh and 5 done)

	Pruned	Kept	Total
New	467	117	584
Fresh	8	24	32
Picked	0	0	0
Done	1	5	6
Total	476	146	622

Error

0.0b

Counts

622 → 146

Compiler

Compiled 20041 to 11133 computations (44.4% saved)

localize34.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 b a) (.f64 b a))) (cbrt.f64 (.f64 (.f64 b a) (.f64 b a)))) (cbrt.f64 (.f64 (.f64 b a) (.f64 b a)))))))
0.0b	(.f64 2 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 b a) (.f64 b a))) (cbrt.f64 (.f64 (.f64 b a) (.f64 b a)))) (cbrt.f64 (.f64 (.f64 b a) (.f64 b a)))))
0.0b	(+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 b a) (.f64 b a))) (cbrt.f64 (.f64 (.f64 b a) (.f64 b a)))) (cbrt.f64 (.f64 (.f64 b a) (.f64 b a))))))
0.0b	(-.f64 (+.f64 (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 b a) (.f64 b a))) (cbrt.f64 (.f64 (.f64 b a) (.f64 b a)))) (cbrt.f64 (.f64 (.f64 b a) (.f64 b a))))))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))) 1)
1.0b	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
36.1b	(cbrt.f64 (.f64 (.f64 b a) (*.f64 b a)))
36.1b	(cbrt.f64 (.f64 (.f64 b a) (*.f64 b a)))
36.1b	(cbrt.f64 (.f64 (.f64 b a) (*.f64 b a)))

rewrite34.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`pow1_binary64_2185` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
6×	`add-sqr-sqrt_binary64_2146`
5×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
4×	`add-log-exp_binary64_2163`
3×	`pow-prod-down_binary64_2195` `pow1/3_binary64_2206` `prod-exp_binary64_2173` `cbrt-prod_binary64_2155` `associate-r_binary64_2064` `cbrt-unprod_binary64_2157`
2×	`cancel-sign-sub-inv_binary64_2090` `distribute-rgt-in_binary64_2074` `sub-neg_binary64_2117` `associate-*r/_binary64_2066` `distribute-lft-in_binary64_2073`
1×	`flip--_binary64_2099` `flip3--_binary64_2128` `unswap-sqr_binary64_2092` `-commutative_binary64_2055` `associate-l*_binary64_2065`

Counts

4 → 52

Calls

8 calls:

8.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
6.0ms	(cbrt.f64 (.f64 (.f64 b a) (*.f64 b a)))
6.0ms	(cbrt.f64 (.f64 (.f64 b a) (*.f64 b a)))
6.0ms	(cbrt.f64 (.f64 (.f64 b a) (*.f64 b a)))
0.0ms	(-.f64 (+.f64 (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 b a) (.f64 b a))) (cbrt.f64 (.f64 (.f64 b a) (.f64 b a)))) (cbrt.f64 (.f64 (.f64 b a) (.f64 b a))))))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))) 1)

series836.0ms (0.7%)

Counts

4 → 26

Calls

4 calls:

248.0ms	(cbrt.f64 (.f64 (.f64 b a) (*.f64 b a)))
243.0ms	(cbrt.f64 (.f64 (.f64 b a) (*.f64 b a)))
238.0ms	(cbrt.f64 (.f64 (.f64 b a) (*.f64 b a)))
107.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))

Compiler

Compiled 3092 to 1968 computations (36.4% saved)

simplify44.0ms (0%)

Algorithm

1×	egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	4987	1001
1	4987	1001

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 a a) (.f64 b b))
0.0b	(+.f64 (.f64 a a) (.f64 b b))
0.0b	(+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (*.f64 b b))
0.0b	(-.f64 (+.f64 (.f64 (+.f64 (.f64 a a) (.f64 b b)) (+.f64 (.f64 a a) (.f64 b b))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (*.f64 b b)))) 1)
0.0b	(.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 b b)))
0.0b	(+.f64 (.f64 (+.f64 (.f64 a a) (.f64 b b)) (+.f64 (.f64 a a) (.f64 b b))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (*.f64 b b))))
0.1b	(.f64 (.f64 a a) (+.f64 1 a))
0.4b	(.f64 (+.f64 (.f64 a a) (.f64 b b)) (+.f64 (.f64 a a) (*.f64 b b)))

rewrite64.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`flip3-+_binary64_2127` `flip-+_binary64_2098`
26×	`associate-*r/_binary64_2066`
18×	`pow1_binary64_2185`
16×	`add-sqr-sqrt_binary64_2146` `frac-add_binary64_2132`
13×	`add-exp-log_binary64_2162` `*-un-lft-identity_binary64_2124` `add-cbrt-cube_binary64_2160`
12×	`frac-times_binary64_2134`
11×	`add-cube-cbrt_binary64_2159`
10×	`associate-r_binary64_2064`
7×	`associate-l_binary64_2065`
6×	`add-log-exp_binary64_2163` `associate-*l/_binary64_2067`
5×	`pow-prod-down_binary64_2195` `prod-exp_binary64_2173` `distribute-rgt-in_binary64_2074` `distribute-lft-in_binary64_2073` `cbrt-unprod_binary64_2157`
3×	`unswap-sqr_binary64_2092` `*-commutative_binary64_2055` `swap-sqr_binary64_2091`
2×	`associate-+r+_binary64_2056` `associate-+l+_binary64_2057`
1×	`pow-prod-up_binary64_2194` `sum-log_binary64_2215` `distribute-lft-out_binary64_2075` `pow-plus_binary64_2187` `+-commutative_binary64_2054` `pow2_binary64_2205` `pow-sqr_binary64_2097`

Counts

4 → 112

Calls

8 calls:

17.0ms	(+.f64 (.f64 (+.f64 (.f64 a a) (.f64 b b)) (+.f64 (.f64 a a) (.f64 b b))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (*.f64 b b))))
12.0ms	(.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 b b)))
10.0ms	(.f64 (+.f64 (.f64 a a) (.f64 b b)) (+.f64 (.f64 a a) (*.f64 b b)))
8.0ms	(.f64 (.f64 a a) (+.f64 1 a))
0.0ms	(-.f64 (+.f64 (.f64 (+.f64 (.f64 a a) (.f64 b b)) (+.f64 (.f64 a a) (.f64 b b))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (*.f64 b b)))) 1)

series818.0ms (0.7%)

Counts

4 → 60

Calls

4 calls:

367.0ms	(+.f64 (.f64 (+.f64 (.f64 a a) (.f64 b b)) (+.f64 (.f64 a a) (.f64 b b))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (*.f64 b b))))
205.0ms	(.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 b b)))
200.0ms	(.f64 (+.f64 (.f64 a a) (.f64 b b)) (+.f64 (.f64 a a) (*.f64 b b)))
46.0ms	(.f64 (.f64 a a) (+.f64 1 a))

Compiler

Compiled 2192 to 1624 computations (25.9% saved)

simplify123.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

172 → 172

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4960	5785
1	4960	5785

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a)))))
0.0b	(+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a))))
0.0b	(+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (*.f64 a -3)))
0.0b	(-.f64 (+.f64 (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a))))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (.f64 a -3))))) 1)
0.0b	(+.f64 (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a))))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (.f64 a -3)))))
0.1b	(.f64 (.f64 a a) (+.f64 1 a))
1.1b	(.f64 (.f64 b b) (*.f64 a -3))
3.2b	(.f64 (.f64 b b) (*.f64 a a))

rewrite55.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

49×	`pow1_binary64_2185`
33×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
25×	`pow-prod-down_binary64_2195`
19×	`prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
13×	`add-log-exp_binary64_2163`
7×	`*-un-lft-identity_binary64_2124`
6×	`sum-log_binary64_2215` `add-sqr-sqrt_binary64_2146` `associate-r/_binary64_2066` `flip3-+_binary64_2127` `associate-r*_binary64_2064` `flip-+_binary64_2098`
5×	`add-cube-cbrt_binary64_2159`
4×	`pow-prod-up_binary64_2194` `pow-plus_binary64_2187` `frac-add_binary64_2132`
3×	`-commutative_binary64_2055` `associate-l*_binary64_2065`
2×	`unswap-sqr_binary64_2092` `associate-+r+_binary64_2056` `distribute-rgt-in_binary64_2074` `pow2_binary64_2205` `pow-sqr_binary64_2097` `distribute-lft-in_binary64_2073`
1×	`distribute-lft-out_binary64_2075` `+-commutative_binary64_2054` `associate-+l+_binary64_2057`

Counts

4 → 95

Calls

8 calls:

16.0ms	(+.f64 (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a))))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (.f64 a -3)))))
9.0ms	(.f64 (.f64 b b) (*.f64 a a))
8.0ms	(.f64 (.f64 a a) (+.f64 1 a))
8.0ms	(.f64 (.f64 b b) (*.f64 a -3))
0.0ms	(-.f64 (+.f64 (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a))))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (.f64 a -3))))) 1)

series553.0ms (0.5%)

Counts

4 → 36

Calls

4 calls:

340.0ms	(+.f64 (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a))))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (.f64 a -3)))))
83.0ms	(.f64 (.f64 b b) (*.f64 a -3))
81.0ms	(.f64 (.f64 b b) (*.f64 a a))
49.0ms	(.f64 (.f64 a a) (+.f64 1 a))

Compiler

Compiled 1725 to 1362 computations (21% saved)

simplify87.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5054	3382

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (sqrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3)))) (sqrt.f64 (.f64 (.f64 b b) (-.f64 1 (*.f64 a 3))))))
0.0b	(-.f64 (+.f64 (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a)))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (sqrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3)))) (sqrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3)))))))) 1)
0.0b	(+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a))))
0.0b	(+.f64 (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a)))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (sqrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3)))) (sqrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3))))))))
1.0b	(.f64 (.f64 b b) (-.f64 1 (*.f64 a 3)))
3.2b	(.f64 (.f64 b b) (*.f64 a a))
22.8b	(sqrt.f64 (.f64 (.f64 b b) (-.f64 1 (*.f64 a 3))))
22.8b	(sqrt.f64 (.f64 (.f64 b b) (-.f64 1 (*.f64 a 3))))

rewrite43.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

49×	`pow1_binary64_2185`
23×	`pow-prod-down_binary64_2195`
21×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
11×	`prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
6×	`sqrt-pow1_binary64_2142` `add-sqr-sqrt_binary64_2146` `associate-*r/_binary64_2066`
5×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
4×	`pow-prod-up_binary64_2194` `sqrt-div_binary64_2141` `add-log-exp_binary64_2163` `pow-plus_binary64_2187` `associate-r_binary64_2064`
3×	`flip--_binary64_2099` `flip3--_binary64_2128`
2×	`cancel-sign-sub-inv_binary64_2090` `unswap-sqr_binary64_2092` `-commutative_binary64_2055` `sqrt-prod_binary64_2140` `associate-l*_binary64_2065` `pow1/2_binary64_2204` `distribute-rgt-in_binary64_2074` `sub-neg_binary64_2117` `pow2_binary64_2205` `pow-sqr_binary64_2097` `distribute-lft-in_binary64_2073`

Counts

4 → 82

Calls

8 calls:

10.0ms	(.f64 (.f64 b b) (*.f64 a a))
9.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 a 3)))
6.0ms	(sqrt.f64 (.f64 (.f64 b b) (-.f64 1 (*.f64 a 3))))
6.0ms	(sqrt.f64 (.f64 (.f64 b b) (-.f64 1 (*.f64 a 3))))
0.0ms	(+.f64 (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a)))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (sqrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3)))) (sqrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3))))))))

series341.0ms (0.3%)

Counts

4 → 26

Calls

4 calls:

100.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 a 3)))
81.0ms	(sqrt.f64 (.f64 (.f64 b b) (-.f64 1 (*.f64 a 3))))
81.0ms	(.f64 (.f64 b b) (*.f64 a a))
78.0ms	(sqrt.f64 (.f64 (.f64 b b) (-.f64 1 (*.f64 a 3))))

Compiler

Compiled 2310 to 1660 computations (28.1% saved)

simplify67.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4994	1281
1	4994	1281

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (.f64 a a) (.f64 b b))
0.0b	(-.f64 (pow.f64 a 4) (pow.f64 b 4))
0.0b	(-.f64 (pow.f64 a 4) (pow.f64 b 4))
0.0b	(-.f64 (+.f64 (/.f64 (.f64 (-.f64 (pow.f64 a 4) (pow.f64 b 4)) (-.f64 (pow.f64 a 4) (pow.f64 b 4))) (.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))) 1)
0.2b	(*.f64 (-.f64 (pow.f64 a 4) (pow.f64 b 4)) (-.f64 (pow.f64 a 4) (pow.f64 b 4)))
0.4b	(.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (*.f64 b b)))
1.0b	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
39.1b	(/.f64 (.f64 (-.f64 (pow.f64 a 4) (pow.f64 b 4)) (-.f64 (pow.f64 a 4) (pow.f64 b 4))) (.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))))

rewrite108.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

70×	`add-sqr-sqrt_binary64_2146`
40×	`difference-of-squares_binary64_2093`
39×	`*-un-lft-identity_binary64_2124`
38×	`unpow-prod-down_binary64_2203`
26×	`sqr-pow_binary64_2096`
25×	`flip--_binary64_2099` `flip3--_binary64_2128` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
23×	`pow1_binary64_2185`
21×	`associate-r_binary64_2064`
20×	`swap-sqr_binary64_2091`
19×	`associate-l_binary64_2065`
18×	`cancel-sign-sub-inv_binary64_2090`
17×	`add-cube-cbrt_binary64_2159`
16×	`frac-times_binary64_2134`
12×	`distribute-rgt-in_binary64_2074` `distribute-lft-in_binary64_2073`
10×	`distribute-lft-out--_binary64_2076` `associate-*r/_binary64_2066`
9×	`prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
8×	`associate-/r/_binary64_2070` `associate-*l/_binary64_2067` `associate-/l/_binary64_2071`
6×	`sub-neg_binary64_2117`
5×	`pow-prod-down_binary64_2195`
4×	`cbrt-undiv_binary64_2158` `add-log-exp_binary64_2163` `div-exp_binary64_2175`
3×	`unswap-sqr_binary64_2092` `*-commutative_binary64_2055`
2×	`pow-prod-up_binary64_2194` `pow-plus_binary64_2187` `pow2_binary64_2205` `pow-sqr_binary64_2097`
1×	`clear-num_binary64_2123` `associate-/l_binary64_2069` `associate-/r_binary64_2068` `div-inv_binary64_2121` `times-frac_binary64_2130` `frac-2neg_binary64_2135`

Counts

4 → 186

Calls

8 calls:

31.0ms	(/.f64 (.f64 (-.f64 (pow.f64 a 4) (pow.f64 b 4)) (-.f64 (pow.f64 a 4) (pow.f64 b 4))) (.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))))
24.0ms	(*.f64 (-.f64 (pow.f64 a 4) (pow.f64 b 4)) (-.f64 (pow.f64 a 4) (pow.f64 b 4)))
11.0ms	(.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (*.f64 b b)))
8.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
0.0ms	(-.f64 (+.f64 (/.f64 (.f64 (-.f64 (pow.f64 a 4) (pow.f64 b 4)) (-.f64 (pow.f64 a 4) (pow.f64 b 4))) (.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))) 1)

series931.0ms (0.8%)

Counts

4 → 50

Calls

4 calls:

512.0ms	(/.f64 (.f64 (-.f64 (pow.f64 a 4) (pow.f64 b 4)) (-.f64 (pow.f64 a 4) (pow.f64 b 4))) (.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))))
239.0ms	(.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (*.f64 b b)))
102.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
78.0ms	(*.f64 (-.f64 (pow.f64 a 4) (pow.f64 b 4)) (-.f64 (pow.f64 a 4) (pow.f64 b 4)))

Compiler

Compiled 3334 to 2404 computations (27.9% saved)

simplify116.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

236 → 236

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4922	5380
1	4922	5380

prune19.4s (17%)

Pruning

331 alts after pruning (322 fresh and 9 done)

	Pruned	Kept	Total
New	529	196	725
Fresh	10	126	136
Picked	0	0	0
Done	1	9	10
Total	540	331	871

Error

0.0b

Counts

871 → 331

Compiler

Compiled 38537 to 21758 computations (43.5% saved)

localize31.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (/.f64 (.f64 (.f64 b b) (-.f64 1 (pow.f64 (.f64 a 3) 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 3 a) (.f64 3 a)) (.f64 1 (*.f64 3 a))))))
0.0b	(.f64 2 (.f64 (.f64 b b) (.f64 a a)))
0.0b	(+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a))))
0.0b	(-.f64 (+.f64 (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a))))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (/.f64 (.f64 (.f64 b b) (-.f64 1 (pow.f64 (.f64 a 3) 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 3 a) (.f64 3 a)) (.f64 1 (.f64 3 a)))))))) 1)
0.3b	(.f64 (.f64 3 a) (*.f64 3 a))
0.4b	(pow.f64 (*.f64 a 3) 3)
2.4b	(.f64 (.f64 b b) (-.f64 1 (pow.f64 (*.f64 a 3) 3)))
3.2b	(.f64 (.f64 b b) (*.f64 a a))

rewrite54.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

79×	`pow1_binary64_2185`
36×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
35×	`pow-prod-down_binary64_2195`
20×	`prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
16×	`cancel-sign-sub-inv_binary64_2090`
13×	`add-sqr-sqrt_binary64_2146`
12×	`*-un-lft-identity_binary64_2124`
10×	`associate-r_binary64_2064`
9×	`distribute-rgt-in_binary64_2074` `distribute-lft-in_binary64_2073`
8×	`pow-prod-up_binary64_2194` `add-cube-cbrt_binary64_2159`
6×	`pow-plus_binary64_2187` `pow-sqr_binary64_2097`
5×	`sqr-pow_binary64_2096`
4×	`difference-of-squares_binary64_2093` `add-log-exp_binary64_2163`
3×	`unpow3_binary64_2190` `pow-unpow_binary64_2201` `unpow-prod-down_binary64_2203` `cube-mult_binary64_2154` `-commutative_binary64_2055` `associate-l*_binary64_2065` `cube-prod_binary64_2152` `pow2_binary64_2205`
2×	`unswap-sqr_binary64_2092` `pow-pow_binary64_2196` `pow-exp_binary64_2192` `sub-neg_binary64_2117` `associate-*r/_binary64_2066` `rem-cube-cbrt_binary64_2147`
1×	`flip--_binary64_2099` `flip3--_binary64_2128` `distribute-lft-out--_binary64_2076` `swap-sqr_binary64_2091` `pow-to-exp_binary64_2193`

Counts

4 → 129

Calls

8 calls:

12.0ms	(.f64 (.f64 b b) (-.f64 1 (pow.f64 (*.f64 a 3) 3)))
9.0ms	(.f64 (.f64 b b) (*.f64 a a))
7.0ms	(.f64 (.f64 3 a) (*.f64 3 a))
6.0ms	(pow.f64 (*.f64 a 3) 3)
0.0ms	(-.f64 (+.f64 (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a))))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (/.f64 (.f64 (.f64 b b) (-.f64 1 (pow.f64 (.f64 a 3) 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 3 a) (.f64 3 a)) (.f64 1 (.f64 3 a)))))))) 1)

series326.0ms (0.3%)

Counts

4 → 20

Calls

4 calls:

164.0ms	(.f64 (.f64 b b) (-.f64 1 (pow.f64 (*.f64 a 3) 3)))
92.0ms	(.f64 (.f64 b b) (*.f64 a a))
37.0ms	(pow.f64 (*.f64 a 3) 3)
32.0ms	(.f64 (.f64 3 a) (*.f64 3 a))

Compiler

Compiled 2228 to 1736 computations (22.1% saved)

simplify66.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5042	1553

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 a a) (.f64 b b))
0.0b	(+.f64 (.f64 a a) (.f64 b b))
0.0b	(+.f64 (.f64 (+.f64 (.f64 a a) (.f64 b b)) (+.f64 (.f64 a a) (.f64 b b))) (.f64 (*.f64 b b) 4))
0.0b	(-.f64 (+.f64 (.f64 (+.f64 (.f64 a a) (.f64 b b)) (+.f64 (.f64 a a) (.f64 b b))) (.f64 (*.f64 b b) 4)) 1)
0.0b	(+.f64 (.f64 a a) (.f64 b b))
0.0b	(+.f64 (.f64 a a) (.f64 b b))
0.0b	(.f64 (.f64 b b) 4)
0.4b	(.f64 (+.f64 (.f64 a a) (.f64 b b)) (+.f64 (.f64 a a) (*.f64 b b)))

rewrite34.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`pow1_binary64_2185`
12×	`add-sqr-sqrt_binary64_2146`
11×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
9×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
8×	`add-log-exp_binary64_2163` `flip3-+_binary64_2127` `flip-+_binary64_2098`
6×	`associate-r_binary64_2064`
4×	`pow-prod-down_binary64_2195` `associate-l_binary64_2065` `prod-exp_binary64_2173` `frac-times_binary64_2134` `cbrt-unprod_binary64_2157`
3×	`swap-sqr_binary64_2091`
2×	`unswap-sqr_binary64_2092` `sum-log_binary64_2215` `-commutative_binary64_2055` `associate-l/_binary64_2067` `+-commutative_binary64_2054` `associate-*r/_binary64_2066`
1×	`pow-prod-up_binary64_2194` `pow-plus_binary64_2187` `distribute-rgt-in_binary64_2074` `pow2_binary64_2205` `pow-sqr_binary64_2097` `distribute-lft-in_binary64_2073`

Counts

4 → 76

Calls

8 calls:

10.0ms	(.f64 (+.f64 (.f64 a a) (.f64 b b)) (+.f64 (.f64 a a) (*.f64 b b)))
7.0ms	(+.f64 (.f64 a a) (.f64 b b))
5.0ms	(.f64 (.f64 b b) 4)
4.0ms	(+.f64 (.f64 a a) (.f64 b b))
0.0ms	(-.f64 (+.f64 (.f64 (+.f64 (.f64 a a) (.f64 b b)) (+.f64 (.f64 a a) (.f64 b b))) (.f64 (*.f64 b b) 4)) 1)

series404.0ms (0.4%)

Counts

4 → 45

Calls

4 calls:

195.0ms	(.f64 (+.f64 (.f64 a a) (.f64 b b)) (+.f64 (.f64 a a) (*.f64 b b)))
95.0ms	(+.f64 (.f64 a a) (.f64 b b))
88.0ms	(+.f64 (.f64 a a) (.f64 b b))
25.0ms	(.f64 (.f64 b b) 4)

Compiler

Compiled 1410 to 1038 computations (26.4% saved)

simplify77.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5074	1548

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (*.f64 3 a))))
0.0b	(+.f64 (.f64 b b) (.f64 a a))
0.0b	(pow.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a a))) 4)
0.0b	(-.f64 (+.f64 (pow.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a a))) 4) 1) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))) 1)
0.0b	(-.f64 1 (*.f64 3 a))
0.1b	(.f64 (.f64 a a) (+.f64 1 a))
1.0b	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
8.2b	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a a)))

rewrite35.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`pow1_binary64_2185`
14×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
10×	`add-sqr-sqrt_binary64_2146`
9×	`*-un-lft-identity_binary64_2124`
7×	`add-cube-cbrt_binary64_2159` `associate-r_binary64_2064`
6×	`pow-prod-down_binary64_2195` `add-log-exp_binary64_2163` `prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
4×	`associate-*r/_binary64_2066`
3×	`cancel-sign-sub-inv_binary64_2090` `sqrt-prod_binary64_2140` `distribute-rgt-in_binary64_2074` `sub-neg_binary64_2117` `distribute-lft-in_binary64_2073`
2×	`flip--_binary64_2099` `flip3--_binary64_2128` `unswap-sqr_binary64_2092` `-commutative_binary64_2055` `sqrt-div_binary64_2141` `associate-l*_binary64_2065` `flip3-+_binary64_2127` `flip-+_binary64_2098`
1×	`sqrt-pow1_binary64_2142` `distribute-lft-out_binary64_2075` `diff-log_binary64_2216` `rem-sqrt-square_binary64_2137` `pow1/2_binary64_2204`

Counts

4 → 76

Calls

8 calls:

11.0ms	(.f64 (.f64 a a) (+.f64 1 a))
8.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
4.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a a)))
3.0ms	(-.f64 1 (*.f64 3 a))
0.0ms	(-.f64 (+.f64 (pow.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 b b) (.f64 a a))) 4) 1) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))) 1)

series258.0ms (0.2%)

Counts

4 → 31

Calls

4 calls:

100.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
78.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a a)))
52.0ms	(.f64 (.f64 a a) (+.f64 1 a))
29.0ms	(-.f64 1 (*.f64 3 a))

Compiler

Compiled 1682 to 1292 computations (23.2% saved)

simplify74.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4928	1267
1	4928	1267

localize29.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 2 (.f64 (.f64 b b) (.f64 a a)))
0.0b	(+.f64 (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a)))) (.f64 4 (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 a a) (+.f64 a 1))) (cbrt.f64 (.f64 (.f64 a a) (+.f64 a 1)))) (cbrt.f64 (.f64 (.f64 a a) (+.f64 a 1)))) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a))))))
0.0b	(+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a))))
0.0b	(-.f64 (+.f64 (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a)))) (.f64 4 (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 a a) (+.f64 a 1))) (cbrt.f64 (.f64 (.f64 a a) (+.f64 a 1)))) (cbrt.f64 (.f64 (.f64 a a) (+.f64 a 1)))) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))) 1)
3.2b	(.f64 (.f64 b b) (*.f64 a a))
23.5b	(cbrt.f64 (.f64 (.f64 a a) (+.f64 a 1)))
23.5b	(cbrt.f64 (.f64 (.f64 a a) (+.f64 a 1)))
23.5b	(cbrt.f64 (.f64 (.f64 a a) (+.f64 a 1)))

rewrite38.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`pow1_binary64_2185`
16×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
14×	`pow-prod-down_binary64_2195`
8×	`prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
6×	`cbrt-div_binary64_2156` `associate-*r/_binary64_2066`
4×	`pow-prod-up_binary64_2194` `add-log-exp_binary64_2163` `add-cube-cbrt_binary64_2159` `pow-plus_binary64_2187` `add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
3×	`pow1/3_binary64_2206` `cbrt-prod_binary64_2155` `flip3-+_binary64_2127` `flip-+_binary64_2098`
2×	`pow2_binary64_2205` `pow-sqr_binary64_2097`
1×	`unswap-sqr_binary64_2092` `-commutative_binary64_2055` `associate-l_binary64_2065` `associate-r*_binary64_2064`

Counts

4 → 62

Calls

8 calls:

8.0ms	(.f64 (.f64 b b) (*.f64 a a))
7.0ms	(cbrt.f64 (.f64 (.f64 a a) (+.f64 a 1)))
7.0ms	(cbrt.f64 (.f64 (.f64 a a) (+.f64 a 1)))
6.0ms	(cbrt.f64 (.f64 (.f64 a a) (+.f64 a 1)))
0.0ms	(-.f64 (+.f64 (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a)))) (.f64 4 (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 a a) (+.f64 a 1))) (cbrt.f64 (.f64 (.f64 a a) (+.f64 a 1)))) (cbrt.f64 (.f64 (.f64 a a) (+.f64 a 1)))) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))) 1)

series207.0ms (0.2%)

Counts

4 → 18

Calls

4 calls:

87.0ms	(.f64 (.f64 b b) (*.f64 a a))
43.0ms	(cbrt.f64 (.f64 (.f64 a a) (+.f64 a 1)))
39.0ms	(cbrt.f64 (.f64 (.f64 a a) (+.f64 a 1)))
37.0ms	(cbrt.f64 (.f64 (.f64 a a) (+.f64 a 1)))

Compiler

Compiled 1866 to 1335 computations (28.5% saved)

simplify69.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4873	828
1	4873	828

localize34.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (sqrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3)))) (sqrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3)))) (cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3))))) (cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (*.f64 a 3))))))))
0.0b	(+.f64 (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a)))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (sqrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3)))) (sqrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3)))) (cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3))))) (cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3))))))))))
0.0b	(+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a))))
0.0b	(-.f64 (+.f64 (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a)))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (sqrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3)))) (sqrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3)))) (cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3))))) (cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3)))))))))) 1)
22.8b	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3)))) (cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3))))) (cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (*.f64 a 3))))))
23.9b	(cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (*.f64 a 3))))
23.9b	(cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (*.f64 a 3))))
23.9b	(cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (*.f64 a 3))))

rewrite58.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

68×	`associate-*r/_binary64_2066`
60×	`cbrt-div_binary64_2156`
30×	`flip--_binary64_2099` `flip3--_binary64_2128`
28×	`frac-times_binary64_2134`
26×	`sqrt-div_binary64_2141`
24×	`pow1_binary64_2185`
15×	`sqrt-pow1_binary64_2142`
14×	`associate-*l/_binary64_2067`
12×	`pow1/3_binary64_2206`
9×	`pow-prod-up_binary64_2194`
6×	`pow-plus_binary64_2187`
5×	`pow-prod-down_binary64_2195`
4×	`add-log-exp_binary64_2163` `add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `add-exp-log_binary64_2162` `*-un-lft-identity_binary64_2124` `add-cbrt-cube_binary64_2160`
3×	`cbrt-prod_binary64_2155` `pow-sqr_binary64_2097`
2×	`pow2_binary64_2205`
1×	`pow3_binary64_2207` `sqrt-prod_binary64_2140` `pow1/2_binary64_2204`

Counts

4 → 83

Calls

8 calls:

14.0ms	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3)))) (cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3))))) (cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (*.f64 a 3))))))
6.0ms	(cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (*.f64 a 3))))
6.0ms	(cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (*.f64 a 3))))
6.0ms	(cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (*.f64 a 3))))
0.0ms	(-.f64 (+.f64 (+.f64 (pow.f64 b 4) (.f64 2 (.f64 (.f64 b b) (.f64 a a)))) (.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (sqrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3)))) (sqrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3)))) (cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3))))) (cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3)))))))))) 1)

series697.0ms (0.6%)

Counts

4 → 24

Calls

4 calls:

201.0ms	(cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (*.f64 a 3))))
199.0ms	(cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (*.f64 a 3))))
197.0ms	(cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (*.f64 a 3))))
100.0ms	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3)))) (cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 a 3))))) (cbrt.f64 (.f64 (.f64 b b) (-.f64 1 (*.f64 a 3))))))

Compiler

Compiled 3316 to 2376 computations (28.3% saved)

simplify133.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (102.0ms)

Iter	Nodes	Cost
0	4872	3093
1	4872	3093

prune26.2s (22.8%)

Pruning

418 alts after pruning (405 fresh and 13 done)

	Pruned	Kept	Total
New	451	113	564
Fresh	25	292	317
Picked	0	0	0
Done	1	13	14
Total	477	418	895

Error

0.0b

Counts

895 → 418

Compiler

Compiled 16012 to 9407 computations (41.3% saved)

simplify1.0s (0.9%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5593	77063

regimes11.8s (10.3%)

Compiler: Compiled 185180 to 120080 computations (35.2% saved)

bsearch0.0ms (0%)

regimes1.4s (1.2%)

Compiler: Compiled 22336 to 13524 computations (39.5% saved)

bsearch0.0ms (0%)

regimes104.0ms (0.1%)

Compiler: Compiled 1285 to 695 computations (45.9% saved)

bsearch0.0ms (0%)

regimes90.0ms (0.1%)

Compiler: Compiled 1042 to 587 computations (43.7% saved)

bsearch0.0ms (0%)

regimes74.0ms (0.1%)

Compiler: Compiled 247 to 173 computations (30% saved)

bsearch47.0ms (0%)

Steps

Iters	Range		Point
9	105.7346221976604	701436627.5863692	182.58234965794426
7	-17249873.315011732	-870046.31554775	-878993.3945537906

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes29.0ms (0%)

Compiler: Compiled 76 to 74 computations (2.6% saved)

bsearch0.0ms (0%)

regimes17.0ms (0%)

Accuracy

Total 0.1b remaining (96.9%)

Threshold costs 0.1b (96.9%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch7.0ms (0%)

Compiler: Compiled 192 to 96 computations (50% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	69	258
1	69	258

end0.0ms (0%)

sample36.9s (32.2%)

Algorithm

1×

intervals

Results

499.0ms	8000×	body	128	valid
0.0ms	3×	body	128	invalid

Compiler

Compiled 46635 to 30198 computations (35.2% saved)

Pareto

0.859131280229273