Details

analyze248.0ms (2.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	49.9%	50.1%	5
0%	43.7%	56.3%	6
0%	34.3%	65.7%	7
3.1%	31.2%	65.7%	8
3.5%	27.7%	68.8%	9
5.3%	24.4%	70.4%	10
7.5%	19.8%	72.7%	11
11.1%	16.2%	72.7%	12
11.3%	15.3%	73.5%	13
13.2%	13%	73.9%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample25.0ms (0.2%)

Algorithm

1×

intervals

Results

14.0ms	256×	body	128	valid
1.0ms	13×	body	128	nan
0.0ms	1×	body	128	invalid

Compiler

Compiled 23 to 25 computations (-8.7% saved)

simplify349.0ms (3.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (255.0ms)

Iter	Nodes	Cost
0	4974	17
1	4974	17

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize12.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.3b	(*.f64 x (log.f64 y))
0.0b	(+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t))
0.0b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)
0.0b	(-.f64 (*.f64 x (log.f64 y)) y)
0.0b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)
0.0b	(-.f64 (*.f64 x (log.f64 y)) y)
0.0b	(+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t))
0.3b	(*.f64 x (log.f64 y))

rewrite41.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`associate--l+_binary64_1038`
30×	`*-un-lft-identity_binary64_1101`
27×	`log-prod_binary64_1187`
24×	`add-sqr-sqrt_binary64_1123`
20×	`add-cube-cbrt_binary64_1136`
17×	`add-log-exp_binary64_1140`
15×	`cancel-sign-sub-inv_binary64_1067`
14×	`associate-+l+_binary64_1034`
12×	`distribute-lft-in_binary64_1050` `distribute-rgt-in_binary64_1051`
9×	`pow1_binary64_1162`
7×	`diff-log_binary64_1193`
6×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
5×	`sub-neg_binary64_1094`
4×	`distribute-lft-out_binary64_1052` `associate-r_binary64_1041`
3×	`sum-log_binary64_1192` `distribute-lft-out--_binary64_1053` `associate-+r+_binary64_1033` `log-pow_binary64_1190` `associate-l_binary64_1042`
2×	`flip--_binary64_1076` `flip3--_binary64_1105`
1×	`*-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `difference-of-squares_binary64_1070` `prod-exp_binary64_1150` `flip3-+_binary64_1104` `associate-+l-_binary64_1036` `+-commutative_binary64_1031` `pow-prod-down_binary64_1172` `flip-+_binary64_1075` `unswap-sqr_binary64_1069` `associate--l-_binary64_1039`

Counts

4 → 108

Calls

8 calls:

14.0ms	(+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t))
9.0ms	(-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)
5.0ms	(-.f64 (*.f64 x (log.f64 y)) y)
5.0ms	(*.f64 x (log.f64 y))
0.0ms	(-.f64 (*.f64 x (log.f64 y)) y)

series947.0ms (9.4%)

Counts

4 → 54

Calls

4 calls:

469.0ms	(+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t))
211.0ms	(-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)
141.0ms	(-.f64 (*.f64 x (log.f64 y)) y)
126.0ms	(*.f64 x (log.f64 y))

Compiler

Compiled 921 to 886 computations (3.8% saved)

simplify66.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5009	1987

prune126.0ms (1.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	155	7	162
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	155	8	163

Error

0.0b

Counts

163 → 8

Compiler

Compiled 2348 to 468 computations (80.1% saved)

localize22.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b	(log.f64 (cbrt.f64 y))
0.0b	(log.f64 (cbrt.f64 y))
0.0b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (cbrt.f64 y)))) y)
0.0b	(-.f64 (-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (cbrt.f64 y)))) y) z)
0.3b	(.f64 x (.f64 2 (log.f64 (cbrt.f64 y))))
0.3b	(+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (cbrt.f64 y))))
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)

rewrite34.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`log-prod_binary64_1187`
54×	`distribute-lft-in_binary64_1050` `distribute-rgt-in_binary64_1051`
36×	`cbrt-prod_binary64_1132`
27×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
24×	`associate-+l+_binary64_1034`
12×	`associate-+r+_binary64_1033`
9×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
6×	`add-log-exp_binary64_1140`
3×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `pow-prod-down_binary64_1172` `associate-l_binary64_1042`
2×	`pow1/3_binary64_1183`
1×	`-commutative_binary64_1032` `distribute-lft-out_binary64_1052` `sum-log_binary64_1192` `flip3-+_binary64_1104` `associate-r*_binary64_1041` `+-commutative_binary64_1031` `flip-+_binary64_1075`

Counts

4 → 112

Calls

8 calls:

11.0ms	(+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (cbrt.f64 y))))
7.0ms	(.f64 x (.f64 2 (log.f64 (cbrt.f64 y))))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
0.0ms	(-.f64 (-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (cbrt.f64 y)))) y) z)

series745.0ms (7.4%)

Counts

4 → 18

Calls

4 calls:

295.0ms	(+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (cbrt.f64 y))))
294.0ms	(.f64 x (.f64 2 (log.f64 (cbrt.f64 y))))
80.0ms	(cbrt.f64 y)
75.0ms	(cbrt.f64 y)

Compiler

Compiled 732 to 648 computations (11.5% saved)

simplify111.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	5022	1733

prune170.0ms (1.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	126	4	130
Fresh	6	0	6
Picked	1	0	1
Done	0	1	1
Total	133	5	138

Error

Counts

138 → 5

Compiler

Compiled 3167 to 1326 computations (58.1% saved)

localize23.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b	(log.f64 (pow.f64 y 1/3))
0.0b	(log.f64 (cbrt.f64 y))
0.0b	(-.f64 (-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (pow.f64 y 1/3)))) y) z)
0.0b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (pow.f64 y 1/3)))) y)
0.3b	(*.f64 x (log.f64 (pow.f64 y 1/3)))
0.3b	(+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (pow.f64 y 1/3))))
0.6b	(cbrt.f64 y)
4.9b	(pow.f64 y 1/3)

rewrite36.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

52×	`log-prod_binary64_1187`
38×	`distribute-lft-in_binary64_1050` `distribute-rgt-in_binary64_1051`
27×	`add-sqr-sqrt_binary64_1123`
25×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
24×	`associate-+l+_binary64_1034`
15×	`unpow-prod-down_binary64_1180` `cbrt-prod_binary64_1132`
14×	`associate-+r+_binary64_1033`
7×	`add-exp-log_binary64_1139` `pow1_binary64_1162`
6×	`add-log-exp_binary64_1140` `add-cbrt-cube_binary64_1137`
5×	`sqr-pow_binary64_1073`
4×	`associate-r_binary64_1041`
3×	`pow-unpow_binary64_1178` `associate-l_binary64_1042`
1×	`*-commutative_binary64_1032` `pow-exp_binary64_1169` `unpow1/3_binary64_1168` `cbrt-unprod_binary64_1134` `pow1/3_binary64_1183` `prod-exp_binary64_1150` `pow-pow_binary64_1173` `distribute-lft-out_binary64_1052` `sum-log_binary64_1192` `flip3-+_binary64_1104` `+-commutative_binary64_1031` `pow-prod-down_binary64_1172` `flip-+_binary64_1075` `log-pow_binary64_1190` `unswap-sqr_binary64_1069` `pow-to-exp_binary64_1170`

Counts

4 → 112

Calls

8 calls:

13.0ms	(+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (pow.f64 y 1/3))))
6.0ms	(*.f64 x (log.f64 (pow.f64 y 1/3)))
2.0ms	(pow.f64 y 1/3)
1.0ms	(cbrt.f64 y)
0.0ms	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (pow.f64 y 1/3)))) y)

series778.0ms (7.7%)

Counts

4 → 18

Calls

4 calls:

358.0ms	(+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (pow.f64 y 1/3))))
276.0ms	(*.f64 x (log.f64 (pow.f64 y 1/3)))
72.0ms	(cbrt.f64 y)
71.0ms	(pow.f64 y 1/3)

Compiler

Compiled 774 to 686 computations (11.4% saved)

simplify89.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4871	1257
1	4871	1257

prune155.0ms (1.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	130	0	130
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	130	5	135

Error

Counts

135 → 5

Compiler

Compiled 3023 to 1404 computations (53.6% saved)

localize24.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b	(log.f64 (cbrt.f64 (sqrt.f64 y)))
0.0b	(+.f64 (-.f64 (-.f64 (+.f64 (.f64 x (+.f64 (.f64 (log.f64 y) 2/3) (log.f64 (cbrt.f64 (sqrt.f64 y))))) (*.f64 (log.f64 (cbrt.f64 (sqrt.f64 y))) x)) y) z) (log.f64 t))
0.0b	(-.f64 (-.f64 (+.f64 (.f64 x (+.f64 (.f64 (log.f64 y) 2/3) (log.f64 (cbrt.f64 (sqrt.f64 y))))) (*.f64 (log.f64 (cbrt.f64 (sqrt.f64 y))) x)) y) z)
0.0b	(-.f64 (+.f64 (.f64 x (+.f64 (.f64 (log.f64 y) 2/3) (log.f64 (cbrt.f64 (sqrt.f64 y))))) (*.f64 (log.f64 (cbrt.f64 (sqrt.f64 y))) x)) y)
0.3b	(.f64 x (+.f64 (.f64 (log.f64 y) 2/3) (log.f64 (cbrt.f64 (sqrt.f64 y)))))
0.3b	(*.f64 (log.f64 y) 2/3)
0.5b	(cbrt.f64 (sqrt.f64 y))
0.5b	(cbrt.f64 (sqrt.f64 y))

rewrite26.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_1123`
12×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136` `cbrt-prod_binary64_1132`
9×	`pow1_binary64_1162`
8×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
7×	`associate-l_binary64_1042`
6×	`sqrt-prod_binary64_1117` `associate-r_binary64_1041`
4×	`add-log-exp_binary64_1140`
2×	`-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `pow1/3_binary64_1183` `prod-exp_binary64_1150` `associate-r/_binary64_1043` `pow-prod-down_binary64_1172` `unswap-sqr_binary64_1069`
1×	`distribute-lft-in_binary64_1050` `flip3-+_binary64_1104` `flip-+_binary64_1075` `log-pow_binary64_1190` `distribute-rgt-in_binary64_1051`

Counts

4 → 69

Calls

8 calls:

8.0ms	(.f64 x (+.f64 (.f64 (log.f64 y) 2/3) (log.f64 (cbrt.f64 (sqrt.f64 y)))))
5.0ms	(*.f64 (log.f64 y) 2/3)
2.0ms	(cbrt.f64 (sqrt.f64 y))
2.0ms	(cbrt.f64 (sqrt.f64 y))
0.0ms	(-.f64 (+.f64 (.f64 x (+.f64 (.f64 (log.f64 y) 2/3) (log.f64 (cbrt.f64 (sqrt.f64 y))))) (*.f64 (log.f64 (cbrt.f64 (sqrt.f64 y))) x)) y)

series494.0ms (4.9%)

Counts

4 → 15

Calls

4 calls:

328.0ms	(.f64 x (+.f64 (.f64 (log.f64 y) 2/3) (log.f64 (cbrt.f64 (sqrt.f64 y)))))
66.0ms	(*.f64 (log.f64 y) 2/3)
51.0ms	(cbrt.f64 (sqrt.f64 y))
49.0ms	(cbrt.f64 (sqrt.f64 y))

Compiler

Compiled 824 to 683 computations (17.1% saved)

simplify108.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (92.0ms)

Iter	Nodes	Cost
0	4942	992
1	4942	992

prune95.0ms (0.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	84	5	89

Error

Counts

89 → 5

Compiler

Compiled 2438 to 919 computations (62.3% saved)

simplify14.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	366	875
1	366	875

regimes442.0ms (4.4%)

Compiler: Compiled 3849 to 3313 computations (13.9% saved)

bsearch0.0ms (0%)

regimes238.0ms (2.4%)

Compiler: Compiled 1266 to 1416 computations (-11.8% saved)

bsearch0.0ms (0%)

regimes221.0ms (2.2%)

Compiler: Compiled 993 to 1185 computations (-19.3% saved)

bsearch0.0ms (0%)

regimes172.0ms (1.7%)

Compiler: Compiled 768 to 940 computations (-22.4% saved)

bsearch0.0ms (0%)

regimes392.0ms (3.9%)

Compiler: Compiled 354 to 561 computations (-58.5% saved)

bsearch164.0ms (1.6%)

Steps

Iters	Range	Point
6	6.0451073510249115e+26	8.423454165757256e+27	5.668703090593301e+27
11	-7.848483536128011e+42	-1.8920256090872585e+20	-1.8863645764484405e+40
9	-1.0434015781434732e+127	-8.593844021816351e+120	-7.969374254347619e+126

Iters

Range

Point

6.0451073510249115e+26

8.423454165757256e+27

5.668703090593301e+27

-7.848483536128011e+42

-1.8920256090872585e+20

-1.8863645764484405e+40

-1.0434015781434732e+127

-8.593844021816351e+120

-7.969374254347619e+126

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes314.0ms (3.1%)

Compiler: Compiled 300 to 507 computations (-69% saved)

bsearch136.0ms (1.3%)

Steps

Iters	Range		Point
8	7.939337022661623e+30	1.2250165298645519e+35	7.295452747192458e+31
11	-7.848483536128011e+42	-1.8920256090872585e+20	-7.382329161334326e+37

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes214.0ms (2.1%)

Compiler: Compiled 172 to 332 computations (-93% saved)

bsearch108.0ms (1.1%)

Steps

Iters	Range		Point
7	1.2643619539947135e+66	2.543179522983893e+68	2.4784889808443074e+68
8	-1.7767239810215033e+114	-5.236460864373713e+110	-1.7379731327875018e+113

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes308.0ms (3%)

Compiler: Compiled 107 to 257 computations (-140.2% saved)

bsearch252.0ms (2.5%)

Steps

Iters	Range		Point
8	7.939337022661623e+30	1.2250165298645519e+35	9.947727666082691e+33
9	5.406658885496711e-105	1.8261843141922418e-99	2.427510472541674e-102
3	2.2214291410370416e-159	2.774589452142586e-159	2.7365996940462594e-159
5	-2.6280453598272053e-95	-1.050023912704406e-95	-2.0265368381009863e-95
11	-7.848483536128011e+42	-1.8920256090872585e+20	-1.4008379546812208e+42

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes225.0ms (2.2%)

Compiler: Compiled 87 to 227 computations (-160.9% saved)

bsearch61.0ms (0.6%)

Steps

Iters	Range		Point
9	1.6290067004841087e+27	1.8655249225772828e+34	5.8438619760370475e+28
6	-5.699238168207108e+54	-1.2223520183300542e+54	-5.102848052255118e+54

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes164.0ms (1.6%)

Compiler: Compiled 67 to 197 computations (-194% saved)

bsearch41.0ms (0.4%)

Steps

Iters	Range		Point
10	2.7746948972239414e+119	7.424582884402828e+131	3.1980678212088143e+119

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes137.0ms (1.4%)

Compiler: Compiled 36 to 132 computations (-266.7% saved)

bsearch48.0ms (0.5%)

Steps

Iters	Range		Point
6	1.8541854900034812e+52	8.197152083955939e+52	1.8744169494846408e+52
6	-5.699238168207108e+54	-1.2223520183300542e+54	-2.294749219137473e+54

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes41.0ms (0.4%)

Compiler: Compiled 28 to 112 computations (-300% saved)

bsearch0.0ms (0%)

regimes35.0ms (0.3%)

Compiler: Compiled 20 to 92 computations (-360% saved)

bsearch0.0ms (0%)

regimes33.0ms (0.3%)

Accuracy

Total 0.1b remaining (93%)

Threshold costs 0.1b (93%)

Compiler

Compiled 16 to 72 computations (-350% saved)

bsearch14.0ms (0.1%)

Compiler: Compiled 258 to 189 computations (26.7% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	163	377
1	163	377

end0.0ms (0%)

sample1.6s (15.8%)

Algorithm

1×

intervals

Results

452.0ms	7999×	body	128	valid
15.0ms	365×	body	128	nan
2.0ms	35×	body	128	invalid
0.0ms	1×	body	256	valid

Compiler

Compiled 788 to 652 computations (17.3% saved)

Pareto

0.5827886566063539

Details

analyze248.0ms (2.5%)

sample25.0ms (0.2%)

simplify349.0ms (3.4%)

prune2.0ms (0%)

localize12.0ms (0.1%)

rewrite41.0ms (0.4%)

series947.0ms (9.4%)

simplify66.0ms (0.7%)

prune126.0ms (1.2%)

localize22.0ms (0.2%)

rewrite34.0ms (0.3%)

series745.0ms (7.4%)

simplify111.0ms (1.1%)

prune170.0ms (1.7%)

localize23.0ms (0.2%)

rewrite36.0ms (0.4%)

series778.0ms (7.7%)

simplify89.0ms (0.9%)

prune155.0ms (1.5%)

localize24.0ms (0.2%)

rewrite26.0ms (0.3%)

series494.0ms (4.9%)

simplify108.0ms (1.1%)

prune95.0ms (0.9%)

simplify14.0ms (0.1%)

regimes442.0ms (4.4%)

bsearch0.0ms (0%)

regimes238.0ms (2.4%)

bsearch0.0ms (0%)

regimes221.0ms (2.2%)

bsearch0.0ms (0%)

regimes172.0ms (1.7%)

bsearch0.0ms (0%)

regimes392.0ms (3.9%)

bsearch164.0ms (1.6%)

regimes314.0ms (3.1%)

bsearch136.0ms (1.3%)

regimes214.0ms (2.1%)

bsearch108.0ms (1.1%)

regimes308.0ms (3%)

bsearch252.0ms (2.5%)

regimes225.0ms (2.2%)

bsearch61.0ms (0.6%)

regimes164.0ms (1.6%)

bsearch41.0ms (0.4%)

regimes137.0ms (1.4%)

bsearch48.0ms (0.5%)

regimes41.0ms (0.4%)

bsearch0.0ms (0%)

regimes35.0ms (0.3%)

bsearch0.0ms (0%)

regimes33.0ms (0.3%)

bsearch14.0ms (0.1%)

simplify7.0ms (0.1%)

end0.0ms (0%)

sample1.6s (15.8%)

Profiling