Details

analyze283.0ms (0.2%)

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
0%	99.9%	0.1%	6
21.8%	78%	0.1%	7
26.5%	73.3%	0.1%	8
36.7%	63.2%	0.1%	9
41.3%	49.9%	8.7%	10
47.2%	43.3%	9.5%	11
54.4%	35.5%	10.1%	12
57.9%	27.4%	14.7%	13
61.7%	23.2%	15.1%	14

Compiler

Compiled 8 to 8 computations (0% saved)

sample21.0ms (0%)

Algorithm

1×

intervals

Results

6.0ms	256×	body	128	valid
0.0ms	12×	body	128	invalid

Compiler

Compiled 18 to 24 computations (-33.3% saved)

simplify98.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

4 → 4

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	105	13
1	105	13

prune2.0ms (0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Kept	Total
New	4	4
Fresh	4	4
Picked	0	0
Done	0	0
Total	8	8

Error

0.0b

Counts

8 → 4

Compiler

Compiled 10 to 10 computations (0% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite13.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`*-un-lft-identity_binary64_1101`
6×	`flip3-+_binary64_1104` `flip-+_binary64_1075`
5×	`add-sqr-sqrt_binary64_1123`
4×	`frac-times_binary64_1111` `associate-r_binary64_1041` `associate-l_binary64_1042`
3×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cube-cbrt_binary64_1136` `add-cbrt-cube_binary64_1137`
2×	`distribute-lft-out_binary64_1052` `associate-r/_binary64_1043` `associate-l/_binary64_1044`
1×	`*-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `add-log-exp_binary64_1140` `prod-exp_binary64_1150` `distribute-lft-in_binary64_1050` `pow-prod-down_binary64_1172` `unswap-sqr_binary64_1069` `distribute-rgt-in_binary64_1051`

Counts

1 → 30

Calls

2 calls:

10.0ms	(*.f64 (+.f64 x y) (+.f64 z 1))
0.0ms	(*.f64 (+.f64 x y) (+.f64 z 1))

series112.0ms (0.1%)

Counts

1 → 18

Calls

1 calls:

112.0ms

(*.f64 (+.f64 x y) (+.f64 z 1))

Compiler

Compiled 241 to 194 computations (19.5% saved)

simplify72.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4982	622
1	4982	622

prune131.0ms (0.1%)

Pruning

29 alts after pruning (28 fresh and 1 done)

	Pruned	Kept	Total
New	23	25	48
Fresh	0	3	3
Picked	0	0	0
Done	0	1	1
Total	23	29	52

Error

Counts

52 → 29

Compiler

Compiled 760 to 490 computations (35.5% saved)

localize5.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite19.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-log-exp_binary64_1140`
6×	`add-sqr-sqrt_binary64_1123` `-un-lft-identity_binary64_1101` `flip3-+_binary64_1104` `flip-+_binary64_1075` `associate-l/_binary64_1044`
4×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cube-cbrt_binary64_1136` `add-cbrt-cube_binary64_1137` `associate-l_binary64_1042` `frac-add_binary64_1109`
3×	`sum-log_binary64_1192` `associate-r_binary64_1041`
1×	`*-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `distribute-lft-out_binary64_1052` `associate-+r+_binary64_1033` `+-commutative_binary64_1031` `pow-prod-down_binary64_1172` `unswap-sqr_binary64_1069`

Counts

2 → 38

Calls

4 calls:

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

series233.0ms (0.2%)

Counts

2 → 33

Calls

2 calls:

142.0ms	(+.f64 (*.f64 (+.f64 x y) z) (+.f64 x y))
91.0ms	(*.f64 (+.f64 x y) z)

Compiler

Compiled 469 to 360 computations (23.2% saved)

simplify73.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4959	860
1	4959	860

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

localize12.0ms (0%)

Local error

Found 6 expressions with local error:

25.2b	(/.f64 (.f64 (+.f64 z 1) (-.f64 (.f64 x x) (*.f64 y y))) (-.f64 x y))
3.5b	(-.f64 (.f64 x x) (.f64 y y))
2.2b	(.f64 (+.f64 z 1) (-.f64 (.f64 x x) (*.f64 y y)))
2.2b	(.f64 (+.f64 z 1) (-.f64 (.f64 x x) (*.f64 y y)))
3.5b	(-.f64 (.f64 x x) (.f64 y y))
25.2b	(/.f64 (.f64 (+.f64 z 1) (-.f64 (.f64 x x) (*.f64 y y))) (-.f64 x y))

rewrite34.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101`
10×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
8×	`frac-times_binary64_1111` `flip--_binary64_1076` `flip3--_binary64_1105` `associate-/l/_binary64_1048`
7×	`add-cube-cbrt_binary64_1136`
6×	`flip3-+_binary64_1104` `flip-+_binary64_1075`
5×	`add-log-exp_binary64_1140` `pow1_binary64_1162` `times-frac_binary64_1107` `associate-/r*_binary64_1045`
4×	`difference-of-squares_binary64_1070` `associate-r/_binary64_1043` `associate-r_binary64_1041` `associate-l_binary64_1042` `associate-l/_binary64_1044`
3×	`sub-neg_binary64_1094` `cancel-sign-sub-inv_binary64_1067`
2×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `distribute-lft-in_binary64_1050` `distribute-lft-out--_binary64_1053` `associate-/r/_binary64_1047` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `distribute-rgt-in_binary64_1051`
1×	`diff-log_binary64_1193` `-commutative_binary64_1032` `distribute-lft-out_binary64_1052` `frac-2neg_binary64_1112` `clear-num_binary64_1100` `div-inv_binary64_1098` `associate-/l_binary64_1046` `pow-prod-down_binary64_1172` `unswap-sqr_binary64_1069`

Counts

3 → 80

Calls

6 calls:

13.0ms	(/.f64 (.f64 (+.f64 z 1) (-.f64 (.f64 x x) (*.f64 y y))) (-.f64 x y))
10.0ms	(.f64 (+.f64 z 1) (-.f64 (.f64 x x) (*.f64 y y)))
4.0ms	(-.f64 (.f64 x x) (.f64 y y))
0.0ms	(.f64 (+.f64 z 1) (-.f64 (.f64 x x) (*.f64 y y)))
0.0ms	(/.f64 (.f64 (+.f64 z 1) (-.f64 (.f64 x x) (*.f64 y y))) (-.f64 x y))

series636.0ms (0.5%)

Counts

3 → 48

Calls

3 calls:

316.0ms	(/.f64 (.f64 (+.f64 z 1) (-.f64 (.f64 x x) (*.f64 y y))) (-.f64 x y))
226.0ms	(.f64 (+.f64 z 1) (-.f64 (.f64 x x) (*.f64 y y)))
94.0ms	(-.f64 (.f64 x x) (.f64 y y))

Compiler

Compiled 1184 to 934 computations (21.1% saved)

simplify72.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5001	2167

localize11.0ms (0%)

Local error

Found 4 expressions with local error:

2.9b	(exp.f64 (log.f64 (*.f64 (+.f64 x y) (+.f64 z 1))))
0.0b	(*.f64 (+.f64 x y) (+.f64 z 1))
0.0b	(*.f64 (+.f64 x y) (+.f64 z 1))
2.9b	(exp.f64 (log.f64 (*.f64 (+.f64 x y) (+.f64 z 1))))

rewrite22.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`flip3-+_binary64_1104` `flip-+_binary64_1075`
9×	`*-un-lft-identity_binary64_1101`
8×	`frac-times_binary64_1111` `exp-diff_binary64_1149` `log-div_binary64_1188`
7×	`add-sqr-sqrt_binary64_1123` `pow1_binary64_1162`
5×	`exp-prod_binary64_1153` `add-cube-cbrt_binary64_1136`
4×	`add-exp-log_binary64_1139` `associate-r/_binary64_1043` `add-cbrt-cube_binary64_1137` `associate-r_binary64_1041` `associate-l_binary64_1042` `associate-l/_binary64_1044`
2×	`add-log-exp_binary64_1140` `distribute-lft-out_binary64_1052` `pow-prod-down_binary64_1172` `log-pow_binary64_1190`
1×	`*-commutative_binary64_1032` `exp-sum_binary64_1147` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `rem-exp-log_binary64_1141` `distribute-lft-in_binary64_1050` `log-prod_binary64_1187` `unswap-sqr_binary64_1069` `distribute-rgt-in_binary64_1051`

Counts

2 → 52

Calls

4 calls:

9.0ms	(exp.f64 (log.f64 (*.f64 (+.f64 x y) (+.f64 z 1))))
9.0ms	(*.f64 (+.f64 x y) (+.f64 z 1))
0.0ms	(*.f64 (+.f64 x y) (+.f64 z 1))
0.0ms	(exp.f64 (log.f64 (*.f64 (+.f64 x y) (+.f64 z 1))))

series2.7s (2%)

Counts

2 → 36

Calls

2 calls:

2.6s	(exp.f64 (log.f64 (*.f64 (+.f64 x y) (+.f64 z 1))))
109.0ms	(*.f64 (+.f64 x y) (+.f64 z 1))

Compiler

Compiled 1006 to 842 computations (16.3% saved)

simplify43.0ms (0%)

Algorithm

1×	egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5058	1270

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

2.2b	(.f64 (+.f64 (.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1))
0.6b	(+.f64 (.f64 x x) (.f64 y (-.f64 y x)))
0.0b	(*.f64 y (-.f64 y x))
0.0b	(-.f64 (*.f64 z z) 1)
2.2b	(.f64 (+.f64 (.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1))
2.8b	(+.f64 (pow.f64 x 3) (pow.f64 y 3))
4.9b	(.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (.f64 z z) 1))
38.9b	(/.f64 (.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (.f64 z z) 1)) (.f64 (+.f64 (.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1)))

rewrite88.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`*-un-lft-identity_binary64_1101`
21×	`add-sqr-sqrt_binary64_1123`
20×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
16×	`frac-times_binary64_1111`
13×	`flip3-+_binary64_1104` `associate-r_binary64_1041` `flip-+_binary64_1075`
12×	`flip--_binary64_1076` `flip3--_binary64_1105` `add-cube-cbrt_binary64_1136` `associate-l_binary64_1042` `cancel-sign-sub-inv_binary64_1067`
10×	`distribute-lft-out_binary64_1052`
8×	`cube-prod_binary64_1129` `unpow-prod-down_binary64_1180` `pow1_binary64_1162` `distribute-lft-in_binary64_1050` `associate-/l/_binary64_1048` `associate-r/_binary64_1043` `associate-/r/_binary64_1047` `associate-l/_binary64_1044` `distribute-rgt-in_binary64_1051`
6×	`cbrt-unprod_binary64_1134` `add-log-exp_binary64_1140` `prod-exp_binary64_1150`
4×	`difference-of-squares_binary64_1070` `sub-neg_binary64_1094` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135`
2×	`*-commutative_binary64_1032` `difference-of-sqr-1_binary64_1071` `pow-prod-down_binary64_1172` `sum-cubes_binary64_1102` `unswap-sqr_binary64_1069`
1×	`frac-2neg_binary64_1112` `sum-log_binary64_1192` `clear-num_binary64_1100` `distribute-lft-out--_binary64_1053` `div-inv_binary64_1098` `associate-/l_binary64_1046` `times-frac_binary64_1107` `+-commutative_binary64_1031` `associate-/r_binary64_1045`

Counts

4 → 135

Calls

8 calls:

27.0ms	(/.f64 (.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (.f64 z z) 1)) (.f64 (+.f64 (.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1)))
20.0ms	(.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (.f64 z z) 1))
14.0ms	(.f64 (+.f64 (.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1))
11.0ms	(+.f64 (pow.f64 x 3) (pow.f64 y 3))
0.0ms	(-.f64 (*.f64 z z) 1)

series1.8s (1.4%)

Counts

4 → 72

Calls

4 calls:

919.0ms	(/.f64 (.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (.f64 z z) 1)) (.f64 (+.f64 (.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1)))
401.0ms	(.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (.f64 z z) 1))
344.0ms	(.f64 (+.f64 (.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1))
156.0ms	(+.f64 (pow.f64 x 3) (pow.f64 y 3))

Compiler

Compiled 4783 to 3554 computations (25.7% saved)

simplify93.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

207 → 207

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5012	5952

prune4.6s (3.5%)

Pruning

214 alts after pruning (209 fresh and 5 done)

	Pruned	Kept	Total
New	302	192	494
Fresh	6	17	23
Picked	0	0	0
Done	1	5	6
Total	309	214	523

Error

Counts

523 → 214

Compiler

Compiled 13367 to 7368 computations (44.9% saved)

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite19.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-log-exp_binary64_1140`
6×	`add-sqr-sqrt_binary64_1123` `-un-lft-identity_binary64_1101` `flip3-+_binary64_1104` `flip-+_binary64_1075` `associate-l/_binary64_1044`
4×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cube-cbrt_binary64_1136` `add-cbrt-cube_binary64_1137` `associate-l_binary64_1042` `frac-add_binary64_1109`
3×	`sum-log_binary64_1192` `associate-r_binary64_1041`
1×	`*-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `distribute-lft-out_binary64_1052` `associate-+r+_binary64_1033` `+-commutative_binary64_1031` `pow-prod-down_binary64_1172` `unswap-sqr_binary64_1069`

Counts

2 → 38

Calls

4 calls:

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

series229.0ms (0.2%)

Counts

2 → 33

Calls

2 calls:

144.0ms	(+.f64 (*.f64 (+.f64 x y) z) (+.f64 x y))
85.0ms	(*.f64 (+.f64 x y) z)

Compiler

Compiled 571 to 462 computations (19.1% saved)

simplify74.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4959	860
1	4959	860

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

localize9.0ms (0%)

Local error

Found 6 expressions with local error:

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

rewrite36.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`*-un-lft-identity_binary64_1101`
21×	`add-sqr-sqrt_binary64_1123`
18×	`add-exp-log_binary64_1139`
16×	`associate-l_binary64_1042`
14×	`add-cube-cbrt_binary64_1136` `times-frac_binary64_1107` `add-cbrt-cube_binary64_1137`
10×	`cube-div_binary64_1130`
8×	`pow1_binary64_1162` `cbrt-prod_binary64_1132`
6×	`frac-times_binary64_1111` `prod-exp_binary64_1150` `flip3-+_binary64_1104` `associate-*r/_binary64_1043` `flip-+_binary64_1075`
5×	`cbrt-div_binary64_1133`
4×	`pow-exp_binary64_1169` `cbrt-unprod_binary64_1134` `distribute-lft-out_binary64_1052` `associate-r_binary64_1041` `div-exp_binary64_1152`
3×	`rem-cube-cbrt_binary64_1124` `add-log-exp_binary64_1140` `pow-unpow_binary64_1178` `unswap-sqr_binary64_1069` `associate-*l/_binary64_1044`
2×	`cube-prod_binary64_1129` `cube-mult_binary64_1131` `1-exp_binary64_1145` `unpow-prod-down_binary64_1180` `pow-pow_binary64_1173` `unpow3_binary64_1167` `pow-prod-down_binary64_1172` `cbrt-undiv_binary64_1135` `sqr-pow_binary64_1073`
1×	`*-commutative_binary64_1032` `pow1/3_binary64_1183` `distribute-lft-in_binary64_1050` `div-inv_binary64_1098` `pow-to-exp_binary64_1170` `distribute-rgt-in_binary64_1051` `rem-cbrt-cube_binary64_1125`

Counts

3 → 96

Calls

6 calls:

13.0ms	(pow.f64 (*.f64 (/.f64 (+.f64 x y) 1) (+.f64 z 1)) 3)
12.0ms	(*.f64 (/.f64 (+.f64 x y) 1) (+.f64 z 1))
3.0ms	(cbrt.f64 (pow.f64 (*.f64 (/.f64 (+.f64 x y) 1) (+.f64 z 1)) 3))
0.0ms	(*.f64 (/.f64 (+.f64 x y) 1) (+.f64 z 1))
0.0ms	(cbrt.f64 (pow.f64 (*.f64 (/.f64 (+.f64 x y) 1) (+.f64 z 1)) 3))

series683.0ms (0.5%)

Counts

3 → 72

Calls

3 calls:

459.0ms	(pow.f64 (*.f64 (/.f64 (+.f64 x y) 1) (+.f64 z 1)) 3)
112.0ms	(cbrt.f64 (pow.f64 (*.f64 (/.f64 (+.f64 x y) 1) (+.f64 z 1)) 3))
112.0ms	(*.f64 (/.f64 (+.f64 x y) 1) (+.f64 z 1))

Compiler

Compiled 3633 to 2879 computations (20.8% saved)

simplify104.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

168 → 168

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4965	5922
1	4965	5922

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

0.5b	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
0.3b	(.f64 (.f64 (+.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z))
0.3b	(.f64 (+.f64 x y) (.f64 (cbrt.f64 z) (cbrt.f64 z)))
0.0b	(+.f64 (.f64 (.f64 (+.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)) (+.f64 x y))
0.5b	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)

rewrite15.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_1132`
23×	`add-sqr-sqrt_binary64_1123`
15×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
11×	`pow1_binary64_1162`
9×	`pow1/3_binary64_1183`
6×	`add-exp-log_binary64_1139` `swap-sqr_binary64_1068` `associate-r_binary64_1041` `associate-l_binary64_1042`
4×	`add-log-exp_binary64_1140` `add-cbrt-cube_binary64_1137` `unswap-sqr_binary64_1069`
2×	`pow-prod-up_binary64_1171` `pow-sqr_binary64_1074` `pow-prod-down_binary64_1172`
1×	`pow-plus_binary64_1164` `*-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `pow2_binary64_1182`

Counts

4 → 73

Calls

8 calls:

6.0ms	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)
0.0ms	(+.f64 (.f64 (.f64 (+.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)) (+.f64 x y))

series314.0ms (0.2%)

Counts

4 → 12

Calls

4 calls:

91.0ms	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
77.0ms	(cbrt.f64 z)
75.0ms	(cbrt.f64 z)
71.0ms	(cbrt.f64 z)

Compiler

Compiled 442 to 310 computations (29.9% saved)

simplify78.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4873	548
1	4873	548

localize26.0ms (0%)

Local error

Found 8 expressions with local error:

2.2b	(.f64 (+.f64 (.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1))
0.6b	(+.f64 (.f64 x x) (.f64 y (-.f64 y x)))
0.0b	(*.f64 y (-.f64 y x))
0.0b	(-.f64 (*.f64 z z) 1)
4.9b	(.f64 (/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (-.f64 (.f64 z z) 1))
6.1b	(-.f64 (pow.f64 x 6) (pow.f64 y 6))
38.9b	(/.f64 (.f64 (/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (-.f64 (.f64 z z) 1)) (.f64 (+.f64 (.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1)))
45.6b	(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (-.f64 (pow.f64 x 3) (pow.f64 y 3)))

rewrite404.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

1416×	`add-sqr-sqrt_binary64_1123`
934×	`difference-of-squares_binary64_1070`
767×	`unpow-prod-down_binary64_1180`
702×	`times-frac_binary64_1107`
589×	`*-un-lft-identity_binary64_1101`
545×	`sqr-pow_binary64_1073`
356×	`associate-l_binary64_1042`
348×	`cube-prod_binary64_1129`
249×	`distribute-lft-out--_binary64_1053`
90×	`add-cube-cbrt_binary64_1136`
32×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
29×	`difference-cubes_binary64_1103`
26×	`associate-/r*_binary64_1045`
15×	`associate-/l*_binary64_1046`
13×	`cancel-sign-sub-inv_binary64_1067`
12×	`associate-/r/_binary64_1047`
11×	`flip--_binary64_1076` `flip3--_binary64_1105`
10×	`div-exp_binary64_1152` `cbrt-undiv_binary64_1135`
9×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150`
8×	`frac-times_binary64_1111`
7×	`associate-/l/_binary64_1048`
6×	`add-log-exp_binary64_1140` `pow1_binary64_1162` `associate-r/_binary64_1043` `associate-r*_binary64_1041`
4×	`distribute-lft-in_binary64_1050` `associate-*l/_binary64_1044` `distribute-rgt-in_binary64_1051`
3×	`sub-neg_binary64_1094` `flip3-+_binary64_1104` `div-inv_binary64_1098` `flip-+_binary64_1075`
2×	`frac-2neg_binary64_1112` `clear-num_binary64_1100` `unswap-sqr_binary64_1069`
1×	`diff-log_binary64_1193` `*-commutative_binary64_1032` `difference-of-sqr-1_binary64_1071` `pow-prod-down_binary64_1172` `div-sub_binary64_1106`

Counts

4 → 863

Calls

8 calls:

103.0ms	(.f64 (/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (-.f64 (.f64 z z) 1))
59.0ms	(/.f64 (.f64 (/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (-.f64 (.f64 z z) 1)) (.f64 (+.f64 (.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1)))
32.0ms	(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (-.f64 (pow.f64 x 3) (pow.f64 y 3)))
8.0ms	(-.f64 (pow.f64 x 6) (pow.f64 y 6))
0.0ms	(-.f64 (*.f64 z z) 1)

series5.3s (4%)

Counts

4 → 60

Calls

4 calls:

3.8s	(/.f64 (.f64 (/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (-.f64 (.f64 z z) 1)) (.f64 (+.f64 (.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1)))
879.0ms	(.f64 (/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (-.f64 (.f64 z z) 1))
352.0ms	(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (-.f64 (pow.f64 x 3) (pow.f64 y 3)))
298.0ms	(-.f64 (pow.f64 x 6) (pow.f64 y 6))

Compiler

Compiled 8172 to 6012 computations (26.4% saved)

simplify358.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

923 → 923

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4941	35369
1	4941	35369

prune31.3s (23.6%)

Pruning

575 alts after pruning (566 fresh and 9 done)

	Pruned	Kept	Total
New	873	374	1247
Fresh	12	192	204
Picked	0	0	0
Done	1	9	10
Total	886	575	1461

Error

Counts

1461 → 575

Compiler

Compiled 48555 to 30248 computations (37.7% saved)

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite17.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64_1101`
7×	`add-log-exp_binary64_1140`
6×	`add-sqr-sqrt_binary64_1123`
4×	`distribute-lft-out_binary64_1052` `add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cube-cbrt_binary64_1136` `add-cbrt-cube_binary64_1137` `associate-l_binary64_1042`
3×	`sum-log_binary64_1192` `associate-r_binary64_1041`
2×	`flip3-+_binary64_1104` `flip-+_binary64_1075` `associate-*l/_binary64_1044`
1×	`*-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `associate-+r+_binary64_1033` `+-commutative_binary64_1031` `pow-prod-down_binary64_1172` `unswap-sqr_binary64_1069`

Counts

2 → 36

Calls

4 calls:

8.0ms	(+.f64 (pow.f64 (*.f64 (+.f64 x y) z) 1) (+.f64 x y))
6.0ms	(*.f64 (+.f64 x y) z)
0.0ms	(+.f64 (pow.f64 (*.f64 (+.f64 x y) z) 1) (+.f64 x y))
0.0ms	(*.f64 (+.f64 x y) z)

series224.0ms (0.2%)

Counts

2 → 33

Calls

2 calls:

136.0ms	(+.f64 (pow.f64 (*.f64 (+.f64 x y) z) 1) (+.f64 x y))
88.0ms	(*.f64 (+.f64 x y) z)

Compiler

Compiled 619 to 510 computations (17.6% saved)

simplify84.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4934	665
1	4934	665

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101`
4×	`associate-l_binary64_1042`
3×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cube-cbrt_binary64_1136` `add-cbrt-cube_binary64_1137` `associate-r_binary64_1041`
2×	`associate-*l/_binary64_1044`
1×	`*-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `add-log-exp_binary64_1140` `prod-exp_binary64_1150` `distribute-lft-out_binary64_1052` `flip3-+_binary64_1104` `pow-prod-down_binary64_1172` `flip-+_binary64_1075` `unswap-sqr_binary64_1069`

Counts

1 → 21

Calls

2 calls:

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

series87.0ms (0.1%)

Counts

1 → 15

Calls

1 calls:

87.0ms

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

Compiler

Compiled 132 to 126 computations (4.5% saved)

simplify63.0ms (0%)

Algorithm

1×	egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5403	295

localize11.0ms (0%)

Local error

Found 6 expressions with local error:

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

rewrite49.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`frac-times_binary64_1111`
34×	`cube-div_binary64_1130`
30×	`flip3-+_binary64_1104` `flip-+_binary64_1075`
28×	`add-exp-log_binary64_1139`
26×	`associate-*r/_binary64_1043`
18×	`add-cbrt-cube_binary64_1137`
17×	`cbrt-div_binary64_1133`
13×	`prod-exp_binary64_1150`
12×	`associate-*l/_binary64_1044`
11×	`*-un-lft-identity_binary64_1101` `pow1_binary64_1162`
9×	`pow-exp_binary64_1169` `add-sqr-sqrt_binary64_1123`
8×	`cbrt-prod_binary64_1132`
7×	`cbrt-unprod_binary64_1134` `add-cube-cbrt_binary64_1136`
5×	`rem-cube-cbrt_binary64_1124`
4×	`associate-r_binary64_1041` `pow-prod-down_binary64_1172` `div-exp_binary64_1152` `associate-l_binary64_1042`
3×	`add-log-exp_binary64_1140` `pow-pow_binary64_1173` `pow-unpow_binary64_1178`
2×	`cube-prod_binary64_1129` `cube-mult_binary64_1131` `1-exp_binary64_1145` `unpow-prod-down_binary64_1180` `distribute-lft-out_binary64_1052` `unpow3_binary64_1167` `rec-exp_binary64_1151` `cbrt-undiv_binary64_1135` `sqr-pow_binary64_1073`
1×	`*-commutative_binary64_1032` `pow1/3_binary64_1183` `distribute-lft-in_binary64_1050` `unswap-sqr_binary64_1069` `pow-to-exp_binary64_1170` `distribute-rgt-in_binary64_1051` `rem-cbrt-cube_binary64_1125`

Counts

3 → 114

Calls

6 calls:

17.0ms	(pow.f64 (.f64 (/.f64 1 (sqrt.f64 1)) (.f64 (+.f64 x y) (+.f64 1 z))) 3)
10.0ms	(*.f64 (+.f64 x y) (+.f64 1 z))
6.0ms	(cbrt.f64 (pow.f64 (.f64 (/.f64 1 (sqrt.f64 1)) (.f64 (+.f64 x y) (+.f64 1 z))) 3))
0.0ms	(*.f64 (+.f64 x y) (+.f64 1 z))
0.0ms	(pow.f64 (.f64 (/.f64 1 (sqrt.f64 1)) (.f64 (+.f64 x y) (+.f64 1 z))) 3)

series704.0ms (0.5%)

Counts

3 → 72

Calls

3 calls:

467.0ms	(pow.f64 (.f64 (/.f64 1 (sqrt.f64 1)) (.f64 (+.f64 x y) (+.f64 1 z))) 3)
124.0ms	(*.f64 (+.f64 x y) (+.f64 1 z))
112.0ms	(cbrt.f64 (pow.f64 (.f64 (/.f64 1 (sqrt.f64 1)) (.f64 (+.f64 x y) (+.f64 1 z))) 3))

Compiler

Compiled 3768 to 3014 computations (20% saved)

simplify98.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

186 → 186

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4991	6734
1	4991	6734

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

2.2b	(.f64 (+.f64 (.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1))
0.6b	(+.f64 (.f64 x x) (.f64 y (-.f64 y x)))
0.0b	(-.f64 (*.f64 z z) 1)
0.0b	(*.f64 y (-.f64 y x))
4.9b	(.f64 (/.f64 (.f64 (pow.f64 1 6) (-.f64 (pow.f64 x 6) (pow.f64 y 6))) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (-.f64 (*.f64 z z) 1))
6.1b	(-.f64 (pow.f64 x 6) (pow.f64 y 6))
38.9b	(/.f64 (.f64 (/.f64 (.f64 (pow.f64 1 6) (-.f64 (pow.f64 x 6) (pow.f64 y 6))) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (-.f64 (.f64 z z) 1)) (.f64 (+.f64 (.f64 x x) (.f64 y (-.f64 y x))) (-.f64 z 1)))
45.6b	(/.f64 (*.f64 (pow.f64 1 6) (-.f64 (pow.f64 x 6) (pow.f64 y 6))) (-.f64 (pow.f64 x 3) (pow.f64 y 3)))

rewrite154.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

100×	`add-sqr-sqrt_binary64_1123`
96×	`add-exp-log_binary64_1139`
59×	`difference-of-squares_binary64_1070`
51×	`times-frac_binary64_1107`
50×	`add-cbrt-cube_binary64_1137`
48×	`*-un-lft-identity_binary64_1101`
47×	`unpow-prod-down_binary64_1180`
41×	`prod-exp_binary64_1150`
36×	`cube-prod_binary64_1129`
34×	`div-exp_binary64_1152`
31×	`associate-l_binary64_1042` `sqr-pow_binary64_1073`
26×	`associate-/r*_binary64_1045`
17×	`cbrt-unprod_binary64_1134` `distribute-lft-out--_binary64_1053`
16×	`cbrt-undiv_binary64_1135`
13×	`add-cube-cbrt_binary64_1136` `cancel-sign-sub-inv_binary64_1067`
12×	`associate-/r/_binary64_1047`
11×	`flip--_binary64_1076` `flip3--_binary64_1105`
8×	`pow-exp_binary64_1169` `frac-times_binary64_1111` `associate-*r/_binary64_1043`
7×	`associate-/l/_binary64_1048`
6×	`add-log-exp_binary64_1140` `pow1_binary64_1162` `associate-r_binary64_1041`
4×	`1-exp_binary64_1145` `distribute-lft-in_binary64_1050` `associate-*l/_binary64_1044` `pow-to-exp_binary64_1170` `distribute-rgt-in_binary64_1051`
3×	`sub-neg_binary64_1094` `flip3-+_binary64_1104` `div-inv_binary64_1098` `flip-+_binary64_1075` `difference-cubes_binary64_1103`
2×	`frac-2neg_binary64_1112` `clear-num_binary64_1100` `associate-/l*_binary64_1046`
1×	`diff-log_binary64_1193` `*-commutative_binary64_1032` `difference-of-sqr-1_binary64_1071` `pow-prod-down_binary64_1172` `unswap-sqr_binary64_1069`

Counts

4 → 218

Calls

8 calls:

42.0ms	(/.f64 (.f64 (/.f64 (.f64 (pow.f64 1 6) (-.f64 (pow.f64 x 6) (pow.f64 y 6))) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (-.f64 (.f64 z z) 1)) (.f64 (+.f64 (.f64 x x) (.f64 y (-.f64 y x))) (-.f64 z 1)))
40.0ms	(.f64 (/.f64 (.f64 (pow.f64 1 6) (-.f64 (pow.f64 x 6) (pow.f64 y 6))) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (-.f64 (*.f64 z z) 1))
30.0ms	(/.f64 (*.f64 (pow.f64 1 6) (-.f64 (pow.f64 x 6) (pow.f64 y 6))) (-.f64 (pow.f64 x 3) (pow.f64 y 3)))
8.0ms	(-.f64 (pow.f64 x 6) (pow.f64 y 6))
0.0ms	(*.f64 y (-.f64 y x))

series5.4s (4.1%)

Counts

4 → 60

Calls

4 calls:

3.9s	(/.f64 (.f64 (/.f64 (.f64 (pow.f64 1 6) (-.f64 (pow.f64 x 6) (pow.f64 y 6))) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (-.f64 (.f64 z z) 1)) (.f64 (+.f64 (.f64 x x) (.f64 y (-.f64 y x))) (-.f64 z 1)))
855.0ms	(.f64 (/.f64 (.f64 (pow.f64 1 6) (-.f64 (pow.f64 x 6) (pow.f64 y 6))) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (-.f64 (*.f64 z z) 1))
376.0ms	(/.f64 (*.f64 (pow.f64 1 6) (-.f64 (pow.f64 x 6) (pow.f64 y 6))) (-.f64 (pow.f64 x 3) (pow.f64 y 3)))
295.0ms	(-.f64 (pow.f64 x 6) (pow.f64 y 6))

Compiler

Compiled 8244 to 6084 computations (26.2% saved)

simplify115.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

278 → 278

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5166	10697

localize35.0ms (0%)

Local error

Found 8 expressions with local error:

0.6b	(+.f64 (.f64 x x) (.f64 y (-.f64 y x)))
0.3b	(-.f64 (sqrt.f64 (pow.f64 x 3)) (sqrt.f64 (pow.f64 y 3)))
0.0b	(-.f64 (*.f64 z z) 1)
0.0b	(*.f64 y (-.f64 y x))
21.2b	(sqrt.f64 (pow.f64 y 3))
21.2b	(sqrt.f64 (pow.f64 y 3))
22.3b	(sqrt.f64 (pow.f64 x 3))
22.3b	(sqrt.f64 (pow.f64 x 3))

rewrite25.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`sqrt-prod_binary64_1117`
28×	`add-sqr-sqrt_binary64_1123`
16×	`cube-prod_binary64_1129` `rem-sqrt-square_binary64_1114` `unpow-prod-down_binary64_1180` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
8×	`sqr-pow_binary64_1073`
4×	`cube-mult_binary64_1131` `add-log-exp_binary64_1140` `add-exp-log_binary64_1139` `pow1_binary64_1162` `sqrt-pow1_binary64_1119` `unpow3_binary64_1167` `add-cbrt-cube_binary64_1137` `pow1/2_binary64_1181`

Counts

4 → 100

Calls

8 calls:

3.0ms	(sqrt.f64 (pow.f64 x 3))
3.0ms	(sqrt.f64 (pow.f64 x 3))
3.0ms	(sqrt.f64 (pow.f64 y 3))
3.0ms	(sqrt.f64 (pow.f64 y 3))
0.0ms	(*.f64 y (-.f64 y x))

series93.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

27.0ms	(sqrt.f64 (pow.f64 x 3))
22.0ms	(sqrt.f64 (pow.f64 x 3))
22.0ms	(sqrt.f64 (pow.f64 y 3))
22.0ms	(sqrt.f64 (pow.f64 y 3))

Compiler

Compiled 1192 to 912 computations (23.5% saved)

simplify120.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (101.0ms)

Iter	Nodes	Cost
0	4765	764
1	4765	764

prune27.6s (20.8%)

Pruning

685 alts after pruning (672 fresh and 13 done)

	Pruned	Kept	Total
New	540	141	681
Fresh	30	531	561
Picked	0	0	0
Done	1	13	14
Total	571	685	1256

Error

Counts

1256 → 685

Compiler

Compiled 14234 to 7913 computations (44.4% saved)

simplify814.0ms (0.6%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5007	61316

regimes16.1s (12.2%)

Compiler: Compiled 203621 to 144300 computations (29.1% saved)

bsearch0.0ms (0%)

regimes145.0ms (0.1%)

Compiler: Compiled 584 to 692 computations (-18.5% saved)

bsearch0.0ms (0%)

regimes264.0ms (0.2%)

Compiler: Compiled 262 to 382 computations (-45.8% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 5 computations (-66.7% saved)

regimes114.0ms (0.1%)

Compiler: Compiled 72 to 146 computations (-102.8% saved)

bsearch57.0ms (0%)

Steps

Iters	Range		Point
9	0.0003759603999208226	1521.9118662908859	231.32791674184503
9	-580.501637131682	-0.0005244760811030641	-0.9927439474692271
6	-9.81928160611765e+146	-1.63291688668129e+146	-3.8997768098344074e+146
7	-5.1177028432135554e+221	-9.465268379409045e+219	-4.383857348422166e+220

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes76.0ms (0.1%)

Compiler: Compiled 33 to 78 computations (-136.4% saved)

bsearch26.0ms (0%)

Steps

Iters	Range		Point
7	2.131069092543815e-22	4.655108682950478e-21	2.6007298073444477e-22
10	-2.2808199642966775e-69	-1.9527259149204335e-81	-1.560856438435606e-76

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes29.0ms (0%)

Compiler: Compiled 24 to 66 computations (-175% saved)

bsearch0.0ms (0%)

regimes25.0ms (0%)

Compiler: Compiled 15 to 54 computations (-260% saved)

bsearch0.0ms (0%)

regimes22.0ms (0%)

Accuracy

Total 0.0b remaining (100%)

Threshold costs 0.0b (100%)

Compiler

Compiled 12 to 42 computations (-250% saved)

bsearch5.0ms (0%)

Compiler: Compiled 94 to 69 computations (26.6% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	52	126
1	52	126

end0.0ms (0%)

sample29.9s (22.5%)

Algorithm

1×

intervals

Results

195.0ms	8000×	body	128	valid
14.0ms	615×	body	128	invalid

Compiler

Compiled 33840 to 24007 computations (29.1% saved)

Pareto

0.5143325981074964