Details

analyze342.0ms (5.4%)

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
21.8%	78%	0.1%	6
26.5%	73.3%	0.1%	7
32%	67.9%	0.1%	8
46.4%	52.7%	0.9%	9
50.9%	47.2%	1.9%	10
54.3%	43.3%	2.4%	11
62.1%	32.5%	5.4%	12
64.3%	28.1%	7.6%	13
66.3%	24.6%	9.2%	14

Compiler

Compiled 13 to 11 computations (15.4% saved)

sample21.0ms (0.3%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
2.0ms	41×	body	128	invalid

Compiler

Compiled 25 to 24 computations (4% saved)

simplify145.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	738	15
1	738	15

prune5.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 2

Compiler

Compiled 32 to 28 computations (12.5% saved)

localize9.0ms (0.1%)

Local error

Found 6 expressions with local error:

2.5b	(*.f64 (/.f64 x y) z)
0.0b	(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
0.0b	(/.f64 (+.f64 x 4) y)
0.0b	(/.f64 (+.f64 x 4) y)
0.0b	(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
2.5b	(*.f64 (/.f64 x y) z)

rewrite28.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`*-un-lft-identity_binary64_419`
25×	`add-sqr-sqrt_binary64_441`
22×	`times-frac_binary64_425`
20×	`add-cube-cbrt_binary64_454`
13×	`associate-l_binary64_360`
10×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
5×	`add-log-exp_binary64_458` `pow1_binary64_480`
4×	`distribute-lft-out_binary64_370` `associate-/l*_binary64_364`
3×	`associate-l/_binary64_362` `associate-r_binary64_359` `associate-/r_binary64_363`
2×	`div-inv_binary64_416` `unswap-sqr_binary64_387` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `div-exp_binary64_470` `cbrt-undiv_binary64_453` `associate-/l/_binary64_366`
1×	`flip3-+_binary64_422` `pow-prod-down_binary64_490` `clear-num_binary64_418` `sub-neg_binary64_412` `flip3--_binary64_423` `*-commutative_binary64_350` `frac-2neg_binary64_430` `flip-+_binary64_393` `diff-log_binary64_511` `flip--_binary64_394` `cancel-sign-sub-inv_binary64_385` `sub-div_binary64_426` `frac-sub_binary64_428`

Counts

3 → 79

Calls

6 calls:

10.0ms	(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
7.0ms	(*.f64 (/.f64 x y) z)
5.0ms	(/.f64 (+.f64 x 4) y)
0.0ms	(/.f64 (+.f64 x 4) y)
0.0ms	(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))

series397.0ms (6.3%)

Counts

3 → 33

Calls

3 calls:

231.0ms	(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
102.0ms	(*.f64 (/.f64 x y) z)
64.0ms	(/.f64 (+.f64 x 4) y)

Compiler

Compiled 722 to 601 computations (16.8% saved)

simplify70.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5171	1334

prune111.0ms (1.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	107	5	112
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	108	6	114

Error

0.0b

Counts

114 → 6

Compiler

Compiled 1864 to 899 computations (51.8% saved)

localize13.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.4b	(.f64 (cbrt.f64 (.f64 (/.f64 x y) z)) (cbrt.f64 (*.f64 (/.f64 x y) z)))
0.3b	(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 x y) z)) (cbrt.f64 (.f64 (/.f64 x y) z))) (cbrt.f64 (*.f64 (/.f64 x y) z)))
0.0b	(-.f64 (/.f64 (+.f64 x 4) y) (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 x y) z)) (cbrt.f64 (.f64 (/.f64 x y) z))) (cbrt.f64 (*.f64 (/.f64 x y) z))))
0.0b	(/.f64 (+.f64 x 4) y)
2.5b	(*.f64 (/.f64 x y) z)
17.5b	(cbrt.f64 (*.f64 (/.f64 x y) z))
17.5b	(cbrt.f64 (*.f64 (/.f64 x y) z))
17.5b	(cbrt.f64 (*.f64 (/.f64 x y) z))

rewrite25.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt_binary64_441`
13×	`associate-l_binary64_360`
12×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
10×	`times-frac_binary64_425`
9×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
6×	`pow1_binary64_480`
4×	`associate-*l/_binary64_362` `add-log-exp_binary64_458`
3×	`pow1/3_binary64_501` `cbrt-div_binary64_451` `associate-r_binary64_359` `cbrt-prod_binary64_450`
2×	`unswap-sqr_binary64_387` `prod-exp_binary64_468` `cbrt-unprod_binary64_452`
1×	`pow-prod-down_binary64_490` `div-inv_binary64_416` `*-commutative_binary64_350` `div-exp_binary64_470` `cbrt-undiv_binary64_453`

Counts

4 → 62

Calls

8 calls:

7.0ms	(*.f64 (/.f64 x y) z)
4.0ms	(cbrt.f64 (*.f64 (/.f64 x y) z))
4.0ms	(cbrt.f64 (*.f64 (/.f64 x y) z))
4.0ms	(cbrt.f64 (*.f64 (/.f64 x y) z))
0.0ms	(/.f64 (+.f64 x 4) y)

series1.1s (17.5%)

Counts

4 → 36

Calls

4 calls:

341.0ms	(cbrt.f64 (*.f64 (/.f64 x y) z))
338.0ms	(cbrt.f64 (*.f64 (/.f64 x y) z))
328.0ms	(cbrt.f64 (*.f64 (/.f64 x y) z))
105.0ms	(*.f64 (/.f64 x y) z)

Compiler

Compiled 2286 to 1476 computations (35.4% saved)

simplify112.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (97.0ms)

Iter	Nodes	Cost
0	4956	993
1	4956	993

prune100.0ms (1.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	98	6	104

Error

0.0b

Counts

104 → 6

Compiler

Compiled 3039 to 854 computations (71.9% saved)

localize16.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.6b	(cbrt.f64 z)
0.5b	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
0.0b	(-.f64 (/.f64 (+.f64 x 4) y) (.f64 (.f64 (/.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)))
0.0b	(/.f64 (+.f64 x 4) y)
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
0.8b	(.f64 (.f64 (/.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z))
2.0b	(.f64 (/.f64 x y) (.f64 (cbrt.f64 z) (cbrt.f64 z)))

rewrite33.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`add-exp-log_binary64_457`
21×	`add-cbrt-cube_binary64_455`
18×	`add-sqr-sqrt_binary64_441` `pow1_binary64_480`
17×	`prod-exp_binary64_468` `cbrt-unprod_binary64_452`
15×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
14×	`associate-l_binary64_360`
10×	`times-frac_binary64_425`
9×	`pow-prod-down_binary64_490` `cbrt-prod_binary64_450`
7×	`associate-r_binary64_359`
4×	`add-log-exp_binary64_458` `div-exp_binary64_470` `cbrt-undiv_binary64_453`
3×	`associate-*l/_binary64_362`
2×	`pow1/3_binary64_501` `unswap-sqr_binary64_387` `*-commutative_binary64_350`
1×	`div-inv_binary64_416`

Counts

4 → 86

Calls

8 calls:

13.0ms	(.f64 (.f64 (/.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z))
10.0ms	(.f64 (/.f64 x y) (.f64 (cbrt.f64 z) (cbrt.f64 z)))
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)
0.0ms	(/.f64 (+.f64 x 4) y)

series612.0ms (9.6%)

Counts

4 → 24

Calls

4 calls:

346.0ms	(.f64 (/.f64 x y) (.f64 (cbrt.f64 z) (cbrt.f64 z)))
121.0ms	(.f64 (.f64 (/.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z))
73.0ms	(cbrt.f64 z)
71.0ms	(cbrt.f64 z)

Compiler

Compiled 842 to 692 computations (17.8% saved)

simplify53.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5003	1058

prune103.0ms (1.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	109	1	110
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	109	7	116

Error

0.0b

Counts

116 → 7

Compiler

Compiled 2231 to 1039 computations (53.4% saved)

localize18.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.5b	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
0.3b	(.f64 (.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 z)))
0.0b	(-.f64 (/.f64 (+.f64 x 4) y) (.f64 (.f64 (/.f64 x y) (.f64 (cbrt.f64 z) (cbrt.f64 z))) (.f64 (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 z)))))
0.0b	(/.f64 (+.f64 x 4) y)
0.6b	(cbrt.f64 (cbrt.f64 z))
0.6b	(cbrt.f64 (cbrt.f64 z))
0.8b	(.f64 (.f64 (/.f64 x y) (.f64 (cbrt.f64 z) (cbrt.f64 z))) (.f64 (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 z))))
2.0b	(.f64 (/.f64 x y) (.f64 (cbrt.f64 z) (cbrt.f64 z)))

rewrite55.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

85×	`add-exp-log_binary64_457`
54×	`prod-exp_binary64_468` `cbrt-unprod_binary64_452`
49×	`add-cbrt-cube_binary64_455`
45×	`pow1_binary64_480`
30×	`pow-prod-down_binary64_490`
18×	`cbrt-prod_binary64_450` `add-sqr-sqrt_binary64_441`
15×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
14×	`associate-l_binary64_360`
10×	`times-frac_binary64_425`
8×	`div-exp_binary64_470` `cbrt-undiv_binary64_453`
4×	`add-log-exp_binary64_458`
3×	`associate-*l/_binary64_362`
2×	`pow1/3_binary64_501` `associate-r_binary64_359` `unswap-sqr_binary64_387` `*-commutative_binary64_350`
1×	`div-inv_binary64_416`

Counts

4 → 113

Calls

8 calls:

28.0ms	(.f64 (.f64 (/.f64 x y) (.f64 (cbrt.f64 z) (cbrt.f64 z))) (.f64 (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 z))))
10.0ms	(.f64 (/.f64 x y) (.f64 (cbrt.f64 z) (cbrt.f64 z)))
2.0ms	(cbrt.f64 (cbrt.f64 z))
2.0ms	(cbrt.f64 (cbrt.f64 z))
0.0ms	(/.f64 (+.f64 x 4) y)

series679.0ms (10.7%)

Counts

4 → 24

Calls

4 calls:

360.0ms	(.f64 (/.f64 x y) (.f64 (cbrt.f64 z) (cbrt.f64 z)))
132.0ms	(.f64 (.f64 (/.f64 x y) (.f64 (cbrt.f64 z) (cbrt.f64 z))) (.f64 (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 z))))
93.0ms	(cbrt.f64 (cbrt.f64 z))
93.0ms	(cbrt.f64 (cbrt.f64 z))

Compiler

Compiled 1108 to 790 computations (28.7% saved)

simplify65.0ms (1%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5015	1426

prune135.0ms (2.1%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	136	1	137
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	136	8	144

Error

0.0b

Counts

144 → 8

Compiler

Compiled 3349 to 1070 computations (68.1% saved)

simplify14.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	432	497
1	432	497

regimes228.0ms (3.6%)

Compiler: Compiled 1676 to 1263 computations (24.6% saved)

bsearch44.0ms (0.7%)

Steps

Iters	Range		Point
9	4.489259930455318e+24	4.865984138597362e+32	1.6983471831252163e+25
9	-555606170187854.4	-10950224.638903722	-548550455324647.94

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes112.0ms (1.8%)

Compiler: Compiled 156 to 189 computations (-21.2% saved)

bsearch36.0ms (0.6%)

Steps

Iters	Range		Point
10	5.209244600075364e-07	114493.13695677684	2.5687676999185847
5	-30871911848.344994	-12917940695.295689	-13091502411.24689

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes105.0ms (1.6%)

Compiler: Compiled 126 to 162 computations (-28.6% saved)

bsearch18.0ms (0.3%)

Steps

Iters	Range		Point
0	7.59448323815648e-32	7.672120117267871e-32	7.633301677712175e-32
8	-2.9000392715723818e-34	-8.773247626166298e-37	-1.3934540579464493e-34

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes98.0ms (1.5%)

Compiler: Compiled 96 to 141 computations (-46.9% saved)

bsearch19.0ms (0.3%)

Steps

Iters	Range		Point
0	7.59448323815648e-32	7.672120117267871e-32	7.633301677712175e-32
8	-2.9000392715723818e-34	-8.773247626166298e-37	-1.3934540579464493e-34

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes90.0ms (1.4%)

Compiler: Compiled 72 to 117 computations (-62.5% saved)

bsearch73.0ms (1.2%)

Steps

Iters	Range		Point
7	2.021486712841523e+42	3.731596198810617e+44	4.8117962760082794e+42
9	-5.6478250530540446e+51	-1.7762680760777772e+43	-1.2839354414049617e+48
8	-8.027614833317471e+142	-1.833626579624915e+138	-6.706000536155162e+142
7	-2.8054569663678578e+153	-4.5299288017427717e+151	-4.590732991688508e+151

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes85.0ms (1.3%)

Compiler: Compiled 48 to 93 computations (-93.8% saved)

bsearch33.0ms (0.5%)

Steps

Iters	Range		Point
7	8.997823596837767e-20	1.1030247605405364e-17	3.1747198910273813e-18
8	-2.9000392715723818e-34	-8.773247626166298e-37	-7.687075550799982e-36

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes28.0ms (0.4%)

Compiler: Compiled 27 to 72 computations (-166.7% saved)

bsearch0.0ms (0%)

regimes23.0ms (0.4%)

Accuracy

Total 0.1b remaining (89.9%)

Threshold costs 0.1b (89.9%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch11.0ms (0.2%)

Compiler: Compiled 222 to 133 computations (40.1% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	134	268
1	134	268

end0.0ms (0%)

sample1.1s (16.8%)

Algorithm

1×

intervals

Results

305.0ms	8000×	body	128	valid
48.0ms	1170×	body	128	invalid

Compiler

Compiled 506 to 378 computations (25.3% saved)

Pareto

-0.3923717951969625

Details

analyze342.0ms (5.4%)

sample21.0ms (0.3%)

simplify145.0ms (2.3%)

prune5.0ms (0.1%)

localize9.0ms (0.1%)

rewrite28.0ms (0.4%)

series397.0ms (6.3%)

simplify70.0ms (1.1%)

prune111.0ms (1.7%)

localize13.0ms (0.2%)

rewrite25.0ms (0.4%)

series1.1s (17.5%)

simplify112.0ms (1.8%)

prune100.0ms (1.6%)

localize16.0ms (0.2%)

rewrite33.0ms (0.5%)

series612.0ms (9.6%)

simplify53.0ms (0.8%)

prune103.0ms (1.6%)

localize18.0ms (0.3%)

rewrite55.0ms (0.9%)

series679.0ms (10.7%)

simplify65.0ms (1%)

prune135.0ms (2.1%)

simplify14.0ms (0.2%)

regimes228.0ms (3.6%)

bsearch44.0ms (0.7%)

regimes112.0ms (1.8%)

bsearch36.0ms (0.6%)

regimes105.0ms (1.6%)

bsearch18.0ms (0.3%)

regimes98.0ms (1.5%)

bsearch19.0ms (0.3%)

regimes90.0ms (1.4%)

bsearch73.0ms (1.2%)

regimes85.0ms (1.3%)

bsearch33.0ms (0.5%)

regimes28.0ms (0.4%)

bsearch0.0ms (0%)

regimes23.0ms (0.4%)

bsearch11.0ms (0.2%)

simplify6.0ms (0.1%)

end0.0ms (0%)

sample1.1s (16.8%)

Profiling