Details

analyze525.0ms (5.9%)

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%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
3.1%	96.7%	0.2%	8
19.9%	79.9%	0.2%	9
22.8%	77%	0.2%	10
35.1%	64.7%	0.2%	11
45%	54.8%	0.2%	12
53.8%	45.1%	1.2%	13
56.2%	42.4%	1.5%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample19.0ms (0.2%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
1.0ms	23×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify361.0ms (4.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (268.0ms)

Iter	Nodes	Cost
0	5412	13

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

2.0b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.9b	(*.f64 (/.f64 (-.f64 x y) (-.f64 z y)) t)
0.0b	(/.f64 (-.f64 x y) (-.f64 z y))
0.0b	(/.f64 (-.f64 x y) (-.f64 z y))
1.9b	(*.f64 (/.f64 (-.f64 x y) (-.f64 z y)) t)

rewrite39.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`add-sqr-sqrt_binary64_8284`
70×	`*-un-lft-identity_binary64_8262`
51×	`times-frac_binary64_8268`
31×	`associate-l_binary64_8203`
26×	`add-cube-cbrt_binary64_8297`
22×	`distribute-lft-out--_binary64_8214` `difference-of-squares_binary64_8231`
9×	`add-exp-log_binary64_8300` `add-cbrt-cube_binary64_8298`
5×	`associate-/l_binary64_8207` `associate-/r_binary64_8206`
4×	`pow1_binary64_8323` `associate-/r/_binary64_8208`
3×	`flip3--_binary64_8266` `associate-r_binary64_8202` `flip--_binary64_8237`
2×	`prod-exp_binary64_8311` `div-inv_binary64_8259` `associate-/l/_binary64_8209` `unswap-sqr_binary64_8230` `cbrt-unprod_binary64_8295` `add-log-exp_binary64_8301` `cbrt-undiv_binary64_8296` `div-exp_binary64_8313`
1×	`frac-2neg_binary64_8273` `div-sub_binary64_8267` `pow-prod-down_binary64_8333` `associate-l/_binary64_8205` `-commutative_binary64_8193` `clear-num_binary64_8261`

Counts

2 → 102

Calls

4 calls:

20.0ms	(*.f64 (/.f64 (-.f64 x y) (-.f64 z y)) t)
9.0ms	(/.f64 (-.f64 x y) (-.f64 z y))
0.0ms	(/.f64 (-.f64 x y) (-.f64 z y))
0.0ms	(*.f64 (/.f64 (-.f64 x y) (-.f64 z y)) t)

series391.0ms (4.4%)

Counts

2 → 45

Calls

2 calls:

243.0ms	(*.f64 (/.f64 (-.f64 x y) (-.f64 z y)) t)
148.0ms	(/.f64 (-.f64 x y) (-.f64 z y))

Compiler

Compiled 1174 to 901 computations (23.3% saved)

simplify106.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4992	2632
1	4992	2632

prune126.0ms (1.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	142	5	147
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	142	6	148

Error

0.0b

Counts

148 → 6

Compiler

Compiled 2472 to 548 computations (77.8% saved)

localize14.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.6b	(cbrt.f64 (-.f64 z y))
0.5b	(*.f64 (cbrt.f64 (-.f64 z y)) (cbrt.f64 (-.f64 z y)))
0.3b	(/.f64 1 (*.f64 (cbrt.f64 (-.f64 z y)) (cbrt.f64 (-.f64 z y))))
0.2b	(/.f64 (-.f64 x y) (cbrt.f64 (-.f64 z y)))
0.6b	(cbrt.f64 (-.f64 z y))
0.6b	(cbrt.f64 (-.f64 z y))
0.9b	(*.f64 t (/.f64 (-.f64 x y) (cbrt.f64 (-.f64 z y))))
7.5b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (-.f64 z y)) (cbrt.f64 (-.f64 z y)))) (*.f64 t (/.f64 (-.f64 x y) (cbrt.f64 (-.f64 z y)))))

rewrite81.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

87×	`add-exp-log_binary64_8300`
66×	`add-sqr-sqrt_binary64_8284`
58×	`*-un-lft-identity_binary64_8262`
47×	`associate-r_binary64_8202`
46×	`prod-exp_binary64_8311`
45×	`times-frac_binary64_8268`
36×	`cbrt-prod_binary64_8293`
35×	`add-cbrt-cube_binary64_8298`
28×	`add-cube-cbrt_binary64_8297`
20×	`cbrt-unprod_binary64_8295` `div-exp_binary64_8313`
18×	`associate-l_binary64_8203` `cbrt-div_binary64_8294`
15×	`distribute-lft-out--_binary64_8214` `difference-of-squares_binary64_8231`
11×	`pow1_binary64_8323`
10×	`cbrt-undiv_binary64_8296` `associate-/r/_binary64_8208`
9×	`flip3--_binary64_8266` `flip--_binary64_8237`
6×	`associate-*r/_binary64_8204` `1-exp_binary64_8306` `rec-exp_binary64_8312`
5×	`frac-times_binary64_8272`
4×	`pow-prod-down_binary64_8333` `add-log-exp_binary64_8301`
3×	`unswap-sqr_binary64_8230` `associate-*l/_binary64_8205`
2×	`div-inv_binary64_8259` `*-commutative_binary64_8193` `pow1/3_binary64_8344`

Counts

4 → 155

Calls

8 calls:

33.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 (-.f64 z y)) (cbrt.f64 (-.f64 z y)))) (*.f64 t (/.f64 (-.f64 x y) (cbrt.f64 (-.f64 z y)))))
21.0ms	(*.f64 t (/.f64 (-.f64 x y) (cbrt.f64 (-.f64 z y))))
4.0ms	(cbrt.f64 (-.f64 z y))
3.0ms	(cbrt.f64 (-.f64 z y))
0.0ms	(/.f64 (-.f64 x y) (cbrt.f64 (-.f64 z y)))

series1.0s (11.7%)

Counts

4 → 63

Calls

4 calls:

546.0ms	(*.f64 t (/.f64 (-.f64 x y) (cbrt.f64 (-.f64 z y))))
284.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 (-.f64 z y)) (cbrt.f64 (-.f64 z y)))) (*.f64 t (/.f64 (-.f64 x y) (cbrt.f64 (-.f64 z y)))))
107.0ms	(cbrt.f64 (-.f64 z y))
104.0ms	(cbrt.f64 (-.f64 z y))

Compiler

Compiled 3007 to 2277 computations (24.3% saved)

simplify114.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

218 → 218

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4990	3784
1	4990	3784

prune186.0ms (2.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	215	3	218
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	216	8	224

Error

Counts

224 → 8

Compiler

Compiled 5471 to 1247 computations (77.2% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

10.0b	(*.f64 (-.f64 x y) (/.f64 t (-.f64 z y)))
0.0b	(/.f64 t (-.f64 z y))
0.0b	(/.f64 t (-.f64 z y))
10.0b	(*.f64 (-.f64 x y) (/.f64 t (-.f64 z y)))

rewrite28.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

43×	`add-sqr-sqrt_binary64_8284`
38×	`*-un-lft-identity_binary64_8262`
31×	`times-frac_binary64_8268`
22×	`add-cube-cbrt_binary64_8297`
21×	`associate-r_binary64_8202`
9×	`add-exp-log_binary64_8300` `add-cbrt-cube_binary64_8298`
8×	`distribute-lft-out--_binary64_8214` `difference-of-squares_binary64_8231`
5×	`associate-/r_binary64_8206` `associate-l*_binary64_8203`
4×	`pow1_binary64_8323` `flip3--_binary64_8266` `flip--_binary64_8237` `associate-/r/_binary64_8208`
3×	`associate-/l*_binary64_8207`
2×	`prod-exp_binary64_8311` `div-inv_binary64_8259` `unswap-sqr_binary64_8230` `frac-times_binary64_8272` `cbrt-unprod_binary64_8295` `associate-*l/_binary64_8205` `add-log-exp_binary64_8301` `cbrt-undiv_binary64_8296` `div-exp_binary64_8313`
1×	`associate-r/_binary64_8204` `frac-2neg_binary64_8273` `pow-prod-down_binary64_8333` `-commutative_binary64_8193` `clear-num_binary64_8261`

Counts

2 → 83

Calls

4 calls:

15.0ms	(*.f64 (-.f64 x y) (/.f64 t (-.f64 z y)))
6.0ms	(/.f64 t (-.f64 z y))
0.0ms	(/.f64 t (-.f64 z y))
0.0ms	(*.f64 (-.f64 x y) (/.f64 t (-.f64 z y)))

series340.0ms (3.8%)

Counts

2 → 39

Calls

2 calls:

240.0ms	(*.f64 (-.f64 x y) (/.f64 t (-.f64 z y)))
100.0ms	(/.f64 t (-.f64 z y))

Compiler

Compiled 1041 to 804 computations (22.8% saved)

simplify67.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5371	1952

prune83.0ms (0.9%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	120	2	122
Fresh	2	4	6
Picked	0	1	1
Done	0	1	1
Total	122	8	130

Error

Counts

130 → 8

Compiler

Compiled 1941 to 401 computations (79.3% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

11.6b	(/.f64 (*.f64 (-.f64 x y) t) (-.f64 z y))
0.0b	(*.f64 (-.f64 x y) t)
0.0b	(*.f64 (-.f64 x y) t)
11.6b	(/.f64 (*.f64 (-.f64 x y) t) (-.f64 z y))

rewrite24.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_8284`
12×	`*-un-lft-identity_binary64_8262`
9×	`add-exp-log_binary64_8300` `add-cbrt-cube_binary64_8298`
6×	`add-cube-cbrt_binary64_8297`
5×	`times-frac_binary64_8268` `associate-/r_binary64_8206` `associate-l*_binary64_8203`
4×	`pow1_binary64_8323` `associate-*l/_binary64_8205`
3×	`flip3--_binary64_8266` `distribute-lft-out--_binary64_8214` `difference-of-squares_binary64_8231` `associate-r_binary64_8202` `flip--_binary64_8237`
2×	`prod-exp_binary64_8311` `associate-/l/_binary64_8209` `cbrt-unprod_binary64_8295` `add-log-exp_binary64_8301` `cbrt-undiv_binary64_8296` `div-exp_binary64_8313` `associate-/r/_binary64_8208`
1×	`associate-/l_binary64_8207` `frac-2neg_binary64_8273` `div-inv_binary64_8259` `unswap-sqr_binary64_8230` `pow-prod-down_binary64_8333` `-commutative_binary64_8193` `clear-num_binary64_8261`

Counts

2 → 51

Calls

4 calls:

11.0ms	(/.f64 (*.f64 (-.f64 x y) t) (-.f64 z y))
7.0ms	(*.f64 (-.f64 x y) t)
0.0ms	(*.f64 (-.f64 x y) t)
0.0ms	(/.f64 (*.f64 (-.f64 x y) t) (-.f64 z y))

series335.0ms (3.8%)

Counts

2 → 39

Calls

2 calls:

239.0ms	(/.f64 (*.f64 (-.f64 x y) t) (-.f64 z y))
95.0ms	(*.f64 (-.f64 x y) t)

Compiler

Compiled 894 to 696 computations (22.1% saved)

simplify60.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5554	1259

prune52.0ms (0.6%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	89	1	90
Fresh	2	3	5
Picked	0	1	1
Done	0	2	2
Total	91	7	98

Error

Counts

98 → 7

Compiler

Compiled 1190 to 234 computations (80.3% saved)

simplify86.0ms (1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	2217	957
1	2217	957

regimes443.0ms (5%)

Compiler: Compiled 3375 to 2450 computations (27.4% saved)

bsearch43.0ms (0.5%)

Steps

Iters	Range		Point
9	6.533926798637742e-303	1.0849418637583769e-295	2.4182139109528022e-296
9	-7.218873165901517e-98	-7.844690492768745e-107	-3.6399878561446166e-103

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes335.0ms (3.8%)

Compiler: Compiled 2425 to 1998 computations (17.6% saved)

bsearch2.0ms (0%)

Compiler: Compiled 7 to 7 computations (0% saved)

regimes174.0ms (2%)

Compiler: Compiled 739 to 837 computations (-13.3% saved)

bsearch1.0ms (0%)

Compiler: Compiled 7 to 7 computations (0% saved)

regimes333.0ms (3.7%)

Compiler: Compiled 524 to 600 computations (-14.5% saved)

bsearch24.0ms (0.3%)

Steps

Iters	Range		Point
4	2.3664767058791303e-36	3.9952626989936834e-36	2.898877055568305e-36
7	-6.624865208336913e+33	-3.0155017940791887e+32	-1.40767092518502e+33

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes304.0ms (3.4%)

Compiler: Compiled 416 to 504 computations (-21.2% saved)

bsearch60.0ms (0.7%)

Steps

Iters	Range		Point
8	3.69762420770649e+97	7.907197355102768e+100	3.0222160492804032e+100
8	1.2775750757127818e-142	3.5139960690308884e-139	1.2959754135062816e-142
6	8.329494263922705e-290	4.99800617658901e-289	3.594613337010265e-289
6	-3.583069625426423e+129	-5.717193446263205e+128	-3.525824907060968e+129

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes319.0ms (3.6%)

Compiler: Compiled 380 to 472 computations (-24.2% saved)

bsearch85.0ms (1%)

Steps

Iters	Range		Point
8	9.138610842132663e+60	6.173672833710309e+64	3.85800650526104e+62
3	1.3244828625435675e-127	1.7724813148194101e-127	1.74448141155217e-127
8	-6.229915540249515e-70	-1.7633225519539906e-74	-6.059204683548443e-70
7	-1.1266648269163778e-17	-4.037911347566706e-19	-1.1137586544646253e-17
8	-9.88125261453038e+103	-7.902970089844991e+100	-7.442136343304366e+103
8	-8.387045350417841e+141	-6.540319048949543e+137	-6.639300546884983e+137

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes328.0ms (3.7%)

Compiler: Compiled 316 to 408 computations (-29.1% saved)

bsearch40.0ms (0.5%)

Steps

Iters	Range		Point
10	1.4668482947749235e+55	2.1174835518185528e+66	2.0613631863461637e+56
9	-2.476877227629015e-17	-1.1487119332365826e-22	-3.574830395066524e-19

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes224.0ms (2.5%)

Compiler: Compiled 120 to 212 computations (-76.7% saved)

bsearch66.0ms (0.7%)

Steps

Iters	Range		Point
8	9.138610842132663e+60	6.173672833710309e+64	7.4952751032772635e+62
3	1.3244828625435675e-127	1.7724813148194101e-127	1.3524827658108075e-127
6	-7.043376177196565e-45	-8.035827504994803e-46	-6.907201991687983e-45
8	-9.88125261453038e+103	-7.902970089844991e+100	-9.163865475934495e+103
8	-8.387045350417841e+141	-6.540319048949543e+137	-6.639300546884983e+137

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes170.0ms (1.9%)

Compiler: Compiled 92 to 184 computations (-100% saved)

bsearch82.0ms (0.9%)

Steps

Iters	Range		Point
7	6.016404423072537e+27	5.748705135351181e+29	7.735441981929651e+28
10	3.67170357386392e-98	1.5234869488905861e-84	5.4162945233182605e-98
8	1.2775750757127818e-142	3.5139960690308884e-139	3.438628285428713e-139
9	-2.476877227629015e-17	-1.1487119332365826e-22	-5.536359091920371e-20
9	-1.5140663999453114e+153	-2.843510199131582e+147	-2.6065230799284282e+151

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes130.0ms (1.5%)

Compiler: Compiled 64 to 156 computations (-143.8% saved)

bsearch32.0ms (0.4%)

Steps

Iters	Range		Point
7	6.016404423072537e+27	5.748705135351181e+29	1.571719478587357e+29
9	-2.476877227629015e-17	-1.1487119332365826e-22	-1.397427563751888e-17

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes49.0ms (0.6%)

Compiler: Compiled 24 to 108 computations (-350% saved)

bsearch39.0ms (0.4%)

Steps

Iters	Range		Point
9	9.704443395503637e-27	7.676707940611768e-20	5.551125784651601e-25
9	-7.218873165901517e-98	-7.844690492768745e-107	-7.76938455488459e-99

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes36.0ms (0.4%)

Accuracy

Total 2.1b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 20 to 92 computations (-360% saved)

bsearch14.0ms (0.2%)

Compiler: Compiled 422 to 218 computations (48.3% saved)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	194	583
1	194	583

end0.0ms (0%)

sample1.5s (16.3%)

Algorithm

1×

intervals

Results

261.0ms	8000×	body	128	valid
18.0ms	591×	body	128	invalid

Compiler

Compiled 1058 to 700 computations (33.8% saved)

Pareto

0.6767425303494092

Details

analyze525.0ms (5.9%)

sample19.0ms (0.2%)

simplify361.0ms (4.1%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite39.0ms (0.4%)

series391.0ms (4.4%)

simplify106.0ms (1.2%)

prune126.0ms (1.4%)

localize14.0ms (0.2%)

rewrite81.0ms (0.9%)

series1.0s (11.7%)

simplify114.0ms (1.3%)

prune186.0ms (2.1%)

localize7.0ms (0.1%)

rewrite28.0ms (0.3%)

series340.0ms (3.8%)

simplify67.0ms (0.8%)

prune83.0ms (0.9%)

localize7.0ms (0.1%)

rewrite24.0ms (0.3%)

series335.0ms (3.8%)

simplify60.0ms (0.7%)

prune52.0ms (0.6%)

simplify86.0ms (1%)

regimes443.0ms (5%)

bsearch43.0ms (0.5%)

regimes335.0ms (3.8%)

bsearch2.0ms (0%)

regimes174.0ms (2%)

bsearch1.0ms (0%)

regimes333.0ms (3.7%)

bsearch24.0ms (0.3%)

regimes304.0ms (3.4%)

bsearch60.0ms (0.7%)

regimes319.0ms (3.6%)

bsearch85.0ms (1%)

regimes328.0ms (3.7%)

bsearch40.0ms (0.5%)

regimes224.0ms (2.5%)

bsearch66.0ms (0.7%)

regimes170.0ms (1.9%)

bsearch82.0ms (0.9%)

regimes130.0ms (1.5%)

bsearch32.0ms (0.4%)

regimes49.0ms (0.6%)

bsearch39.0ms (0.4%)

regimes36.0ms (0.4%)

bsearch14.0ms (0.2%)

simplify11.0ms (0.1%)

end0.0ms (0%)

sample1.5s (16.3%)

Profiling