Details

analyze492.0ms (4.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%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	93.6%	6.4%	7
3.1%	84.2%	12.7%	8
12.5%	67.1%	20.5%	9
16%	63.5%	20.5%	10
17.9%	57.7%	24.4%	11
22.6%	48.7%	28.7%	12
28.7%	37.8%	33.6%	13
30.4%	35.9%	33.7%	14

Compiler

Compiled 9 to 9 computations (0% saved)

sample26.0ms (0.2%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
3.0ms	93×	body	128	nan
1.0ms	26×	body	128	invalid

Compiler

Compiled 17 to 21 computations (-23.5% saved)

simplify101.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	15	12
1	15	12

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

Merged error: 19.9b

Counts

2 → 1

Compiler

Compiled 16 to 16 computations (0% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.8b	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
5.2b	(/.f64 A (*.f64 V l))
16.5b	(sqrt.f64 (/.f64 A (*.f64 V l)))

rewrite20.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_1123`
15×	`sqrt-prod_binary64_1117`
11×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
10×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137` `associate-r_binary64_1041`
9×	`times-frac_binary64_1107`
6×	`pow1_binary64_1162`
3×	`add-log-exp_binary64_1140` `div-inv_binary64_1098` `associate-/l_binary64_1046` `associate-l*_binary64_1042`
2×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `sqrt-div_binary64_1118` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `unswap-sqr_binary64_1069`
1×	`-commutative_binary64_1032` `rem-sqrt-square_binary64_1114` `frac-2neg_binary64_1112` `sqrt-pow1_binary64_1119` `clear-num_binary64_1100` `associate-r/_binary64_1043` `pow-prod-down_binary64_1172` `associate-/r*_binary64_1045` `pow1/2_binary64_1181`

Counts

3 → 66

Calls

3 calls:

8.0ms	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
4.0ms	(/.f64 A (*.f64 V l))
4.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))

series330.0ms (3%)

Counts

3 → 30

Calls

3 calls:

156.0ms	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
113.0ms	(/.f64 A (*.f64 V l))
61.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))

Compiler

Compiled 802 to 737 computations (8.1% saved)

simplify75.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5067	1109

prune89.0ms (0.8%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	78	18	96
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	79	18	97

Merged error: 6.0b

Counts

97 → 18

Compiler

Compiled 1306 to 437 computations (66.5% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.8b	(.f64 c0 (sqrt.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l)))))
2.1b	(/.f64 V (/.f64 (cbrt.f64 A) l))
3.6b	(/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l)))
16.5b	(sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l))))

rewrite150.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

849×	`times-frac_binary64_1107`
358×	`add-sqr-sqrt_binary64_1123`
331×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
157×	`sqrt-prod_binary64_1117`
146×	`cbrt-prod_binary64_1132`
93×	`associate-/r*_binary64_1045`
79×	`associate-r_binary64_1041`
32×	`add-exp-log_binary64_1139`
24×	`div-inv_binary64_1098`
23×	`add-cbrt-cube_binary64_1137`
15×	`div-exp_binary64_1152` `cbrt-undiv_binary64_1135`
8×	`associate-/r/_binary64_1047`
7×	`pow1_binary64_1162`
6×	`unswap-sqr_binary64_1069`
5×	`rem-sqrt-square_binary64_1114`
4×	`cbrt-unprod_binary64_1134` `add-log-exp_binary64_1140` `prod-exp_binary64_1150` `associate-/l*_binary64_1046`
3×	`associate-l_binary64_1042`
2×	`frac-2neg_binary64_1112` `clear-num_binary64_1100` `sqrt-div_binary64_1118`
1×	`-commutative_binary64_1032` `sqrt-pow1_binary64_1119` `associate-r/_binary64_1043` `pow-prod-down_binary64_1172` `pow1/2_binary64_1181`

Counts

4 → 463

Calls

4 calls:

34.0ms	(.f64 c0 (sqrt.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l)))))
21.0ms	(sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l))))
19.0ms	(/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l)))
9.0ms	(/.f64 V (/.f64 (cbrt.f64 A) l))

series717.0ms (6.6%)

Counts

4 → 39

Calls

4 calls:

356.0ms	(/.f64 V (/.f64 (cbrt.f64 A) l))
157.0ms	(.f64 c0 (sqrt.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l)))))
122.0ms	(/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l)))
81.0ms	(sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l))))

Compiler

Compiled 1168 to 1049 computations (10.2% saved)

simplify130.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

502 → 502

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	5234	11960

prune446.0ms (4.1%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	492	10	502
Fresh	6	11	17
Picked	1	0	1
Done	0	0	0
Total	499	21	520

Merged error: 2.1b

Counts

520 → 21

Compiler

Compiled 11712 to 2952 computations (74.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 A)
0.8b	(*.f64 c0 (/.f64 (fabs.f64 (cbrt.f64 A)) (sqrt.f64 (/.f64 V (/.f64 (cbrt.f64 A) l)))))
2.1b	(/.f64 V (/.f64 (cbrt.f64 A) l))
15.1b	(sqrt.f64 (/.f64 V (/.f64 (cbrt.f64 A) l)))

rewrite160.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Rules

855×	`times-frac_binary64_1107`
438×	`add-sqr-sqrt_binary64_1123`
407×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
288×	`sqrt-prod_binary64_1117`
227×	`associate-r_binary64_1041`
149×	`cbrt-prod_binary64_1132`
22×	`div-inv_binary64_1098` `associate-/r*_binary64_1045`
14×	`add-exp-log_binary64_1139`
13×	`add-cbrt-cube_binary64_1137`
7×	`pow1_binary64_1162`
6×	`associate-/r/_binary64_1047` `unswap-sqr_binary64_1069`
4×	`rem-sqrt-square_binary64_1114` `add-log-exp_binary64_1140` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135`
3×	`associate-/l_binary64_1046` `associate-l*_binary64_1042`
2×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `sqrt-div_binary64_1118`
1×	`-commutative_binary64_1032` `pow1/3_binary64_1183` `frac-2neg_binary64_1112` `sqrt-pow1_binary64_1119` `clear-num_binary64_1100` `associate-r/_binary64_1043` `pow-prod-down_binary64_1172` `pow1/2_binary64_1181`

Counts

4 → 452

Calls

4 calls:

70.0ms	(*.f64 c0 (/.f64 (fabs.f64 (cbrt.f64 A)) (sqrt.f64 (/.f64 V (/.f64 (cbrt.f64 A) l)))))
11.0ms	(sqrt.f64 (/.f64 V (/.f64 (cbrt.f64 A) l)))
8.0ms	(/.f64 V (/.f64 (cbrt.f64 A) l))
1.0ms	(cbrt.f64 A)

series1.1s (10.3%)

Counts

4 → 33

Calls

4 calls:

435.0ms	(*.f64 c0 (/.f64 (fabs.f64 (cbrt.f64 A)) (sqrt.f64 (/.f64 V (/.f64 (cbrt.f64 A) l)))))
384.0ms	(/.f64 V (/.f64 (cbrt.f64 A) l))
206.0ms	(sqrt.f64 (/.f64 V (/.f64 (cbrt.f64 A) l)))
95.0ms	(cbrt.f64 A)

Compiler

Compiled 1296 to 1190 computations (8.2% saved)

simplify125.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

485 → 485

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5327	12021

prune485.0ms (4.5%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	472	13	485
Fresh	13	7	20
Picked	1	0	1
Done	0	0	0
Total	486	20	506

Merged error: 0.0b

Counts

506 → 20

Compiler

Compiled 12937 to 2846 computations (78% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (cbrt.f64 A))
0.6b	(cbrt.f64 (cbrt.f64 A))
0.8b	(.f64 c0 (/.f64 (fabs.f64 (cbrt.f64 A)) (.f64 (sqrt.f64 (/.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V)) (/.f64 (.f64 (cbrt.f64 (cbrt.f64 A)) (cbrt.f64 (cbrt.f64 A))) (*.f64 (cbrt.f64 l) (cbrt.f64 l))))) (sqrt.f64 (/.f64 (cbrt.f64 V) (/.f64 (cbrt.f64 (cbrt.f64 A)) (cbrt.f64 l)))))))
2.3b	(sqrt.f64 (/.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V)) (/.f64 (.f64 (cbrt.f64 (cbrt.f64 A)) (cbrt.f64 (cbrt.f64 A))) (*.f64 (cbrt.f64 l) (cbrt.f64 l)))))

rewrite95.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`cbrt-prod_binary64_1132`
17×	`add-sqr-sqrt_binary64_1123`
13×	`*-un-lft-identity_binary64_1101` `add-exp-log_binary64_1139` `add-cube-cbrt_binary64_1136` `add-cbrt-cube_binary64_1137`
12×	`times-frac_binary64_1107`
10×	`sqrt-prod_binary64_1117` `associate-r_binary64_1041`
7×	`pow1_binary64_1162`
5×	`sqrt-div_binary64_1118`
4×	`cbrt-unprod_binary64_1134` `add-log-exp_binary64_1140` `prod-exp_binary64_1150` `associate-/r/_binary64_1047`
3×	`rem-sqrt-square_binary64_1114` `div-inv_binary64_1098` `associate-l_binary64_1042`
2×	`pow1/3_binary64_1183` `associate-*r/_binary64_1043` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135`
1×	`-commutative_binary64_1032` `frac-times_binary64_1111` `sqrt-pow1_binary64_1119` `pow-prod-down_binary64_1172` `unswap-sqr_binary64_1069` `associate-l/_binary64_1044` `pow1/2_binary64_1181`

Counts

4 → 81

Calls

4 calls:

67.0ms	(.f64 c0 (/.f64 (fabs.f64 (cbrt.f64 A)) (.f64 (sqrt.f64 (/.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V)) (/.f64 (.f64 (cbrt.f64 (cbrt.f64 A)) (cbrt.f64 (cbrt.f64 A))) (*.f64 (cbrt.f64 l) (cbrt.f64 l))))) (sqrt.f64 (/.f64 (cbrt.f64 V) (/.f64 (cbrt.f64 (cbrt.f64 A)) (cbrt.f64 l)))))))
14.0ms	(sqrt.f64 (/.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V)) (/.f64 (.f64 (cbrt.f64 (cbrt.f64 A)) (cbrt.f64 (cbrt.f64 A))) (*.f64 (cbrt.f64 l) (cbrt.f64 l)))))
2.0ms	(cbrt.f64 (cbrt.f64 A))
2.0ms	(cbrt.f64 (cbrt.f64 A))

series1.4s (12.8%)

Counts

4 → 27

Calls

4 calls:

643.0ms	(sqrt.f64 (/.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V)) (/.f64 (.f64 (cbrt.f64 (cbrt.f64 A)) (cbrt.f64 (cbrt.f64 A))) (*.f64 (cbrt.f64 l) (cbrt.f64 l)))))
507.0ms	(.f64 c0 (/.f64 (fabs.f64 (cbrt.f64 A)) (.f64 (sqrt.f64 (/.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V)) (/.f64 (.f64 (cbrt.f64 (cbrt.f64 A)) (cbrt.f64 (cbrt.f64 A))) (*.f64 (cbrt.f64 l) (cbrt.f64 l))))) (sqrt.f64 (/.f64 (cbrt.f64 V) (/.f64 (cbrt.f64 (cbrt.f64 A)) (cbrt.f64 l)))))))
126.0ms	(cbrt.f64 (cbrt.f64 A))
117.0ms	(cbrt.f64 (cbrt.f64 A))

Compiler

Compiled 1610 to 1296 computations (19.5% saved)

simplify55.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5090	2689

prune126.0ms (1.2%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	107	1	108
Fresh	2	17	19
Picked	0	1	1
Done	0	0	0
Total	109	19	128

Merged error: 0.0b

Counts

128 → 19

Compiler

Compiled 3910 to 712 computations (81.8% saved)

regimes1.8s (16.6%)

Compiler: Compiled 22857 to 14969 computations (34.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	48
1	21	48

end0.0ms (0%)

sample2.9s (26.3%)

Algorithm

1×

intervals

Results

302.0ms	8000×	body	128	valid
116.0ms	3014×	body	128	nan
31.0ms	828×	body	128	invalid

Compiler

Compiled 2797 to 1829 computations (34.6% saved)

Details

analyze492.0ms (4.5%)

sample26.0ms (0.2%)

simplify101.0ms (0.9%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite20.0ms (0.2%)

series330.0ms (3%)

simplify75.0ms (0.7%)

prune89.0ms (0.8%)

localize11.0ms (0.1%)

rewrite150.0ms (1.4%)

series717.0ms (6.6%)

simplify130.0ms (1.2%)

prune446.0ms (4.1%)

localize10.0ms (0.1%)

rewrite160.0ms (1.5%)

series1.1s (10.3%)

simplify125.0ms (1.2%)

prune485.0ms (4.5%)

localize25.0ms (0.2%)

rewrite95.0ms (0.9%)

series1.4s (12.8%)

simplify55.0ms (0.5%)

prune126.0ms (1.2%)

regimes1.8s (16.6%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample2.9s (26.3%)

Profiling