Details

analyze2.1s (4.2%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6111	1421
0	8	8
1	8	8

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Compiler

Compiled 34 to 27 computations (20.6% saved)

sample47.0ms (0.1%)

Algorithm

1×

intervals

Results

25.0ms	256×	body	128	valid
1.0ms	9×	body	128	invalid

Compiler

Compiled 67 to 61 computations (9% saved)

simplify213.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (207.0ms)

Iter	Nodes	Cost
0	4835	49
1	4835	49

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

29.8b

Counts

2 → 1

Compiler

Compiled 66 to 52 computations (21.2% saved)

localize23.0ms (0%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y)
0.1b	(.f64 (+.f64 (.f64 x y) z) y)
0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
29.1b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

rewrite250.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

29.7b

Rules

24×	`add-sqr-sqrt_binary64_1123`
18×	`add-cube-cbrt_binary64_1136` `*-un-lft-identity_binary64_1101`
12×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
10×	`pow1_binary64_1162`
9×	`times-frac_binary64_1107` `associate-l_binary64_1042` `associate-r_binary64_1041`
6×	`associate-*l/_binary64_1044`
5×	`flip3-+_binary64_1104` `flip-+_binary64_1075`
4×	`add-log-exp_binary64_1140`
3×	`associate-/l_binary64_1046` `associate-/r_binary64_1045` `pow-prod-down_binary64_1172` `prod-exp_binary64_1150` `cbrt-unprod_binary64_1134` `unswap-sqr_binary64_1069` `*-commutative_binary64_1032`
2×	`associate-/l/_binary64_1048` `associate-/r/_binary64_1047`
1×	`div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `frac-2neg_binary64_1112` `clear-num_binary64_1100` `div-inv_binary64_1098`

Counts

4 → 91

Calls

4 calls:

32.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
13.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y)
11.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
7.0ms	(.f64 (+.f64 (.f64 x y) z) y)

Compiler

Compiled 4579 to 1325 computations (71.1% saved)

series5.2s (10.2%)

Error

7.9b

Counts

4 → 113

Calls

4 calls:

4.2s	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
266.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y)
233.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
141.0ms	(.f64 (+.f64 (.f64 x y) z) y)

Compiler

Compiled 21541 to 14477 computations (32.8% saved)

simplify106.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

204 → 204

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	5003	10966

prune449.0ms (0.9%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	185	19	204
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	186	19	205

Error

7.4b

Counts

205 → 19

Compiler

Compiled 11804 to 4458 computations (62.2% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
29.1b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (+.f64 z (.f64 y x)) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y)) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

rewrite140.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

7.4b

Rules

15×	`add-cube-cbrt_binary64_1136` `add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101`
9×	`times-frac_binary64_1107` `cbrt-prod_binary64_1132`
6×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
4×	`pow1_binary64_1162` `add-log-exp_binary64_1140`
3×	`associate-/l_binary64_1046` `associate-/r_binary64_1045` `pow1/3_binary64_1183`
2×	`flip3-+_binary64_1104` `associate-/l/_binary64_1048` `flip-+_binary64_1075` `associate-/r/_binary64_1047`
1×	`div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `frac-2neg_binary64_1112` `clear-num_binary64_1100` `div-inv_binary64_1098`

Counts

4 → 64

Calls

4 calls:

33.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (+.f64 z (.f64 y x)) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y)) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

Compiler

Compiled 3770 to 940 computations (75.1% saved)

series5.0s (9.8%)

Error

7.4b

Counts

4 → 59

Calls

4 calls:

4.5s	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (+.f64 z (.f64 y x)) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y)) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
80.0ms	(cbrt.f64 y)
76.0ms	(cbrt.f64 y)
72.0ms	(cbrt.f64 y)

Compiler

Compiled 17979 to 12323 computations (31.5% saved)

simplify92.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	5227	9248

prune306.0ms (0.6%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	18	18
Picked	0	1	1
Done	0	0	0
Total	123	19	142

Error

7.4b

Counts

142 → 19

Compiler

Compiled 9220 to 3615 computations (60.8% saved)

localize24.0ms (0%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 y (+.f64 z (.f64 y x)))
0.1b	(.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (*.f64 y x)))))
0.3b	(/.f64 1 (/.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))) (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (*.f64 y x))))))))))
29.2b	(/.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))) (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (*.f64 y x)))))))))

rewrite355.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

7.4b

Rules

90×	`times-frac_binary64_1107`
64×	`add-sqr-sqrt_binary64_1123`
60×	`add-cube-cbrt_binary64_1136` `*-un-lft-identity_binary64_1101`
21×	`add-exp-log_binary64_1139`
18×	`associate-/r*_binary64_1045`
15×	`add-cbrt-cube_binary64_1137`
11×	`associate-/r/_binary64_1047`
9×	`pow1_binary64_1162`
8×	`div-exp_binary64_1152` `flip3-+_binary64_1104` `flip-+_binary64_1075`
6×	`div-inv_binary64_1098` `associate-/l_binary64_1046` `associate-l_binary64_1042` `associate-r*_binary64_1041`
4×	`add-log-exp_binary64_1140` `cbrt-undiv_binary64_1135` `associate-*r/_binary64_1043`
2×	`frac-2neg_binary64_1112` `clear-num_binary64_1100` `associate-/l/_binary64_1048` `1-exp_binary64_1145` `rec-exp_binary64_1151` `pow-prod-down_binary64_1172` `prod-exp_binary64_1150` `cbrt-unprod_binary64_1134` `unswap-sqr_binary64_1069` `distribute-rgt-in_binary64_1051` `distribute-lft-in_binary64_1050` `*-commutative_binary64_1032`
1×	`inv-pow_binary64_1186` `pow-flip_binary64_1175`

Counts

4 → 159

Calls

4 calls:

9.0ms	(/.f64 1 (/.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))) (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (*.f64 y x))))))))))
8.0ms	(.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (*.f64 y x)))))
7.0ms	(/.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))) (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (*.f64 y x)))))))))
6.0ms	(.f64 y (+.f64 z (.f64 y x)))

Compiler

Compiled 9643 to 3129 computations (67.6% saved)

series10.3s (20.4%)

Error

3.7b

Counts

4 → 144

Calls

4 calls:

5.0s	(/.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))) (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (*.f64 y x)))))))))
4.2s	(/.f64 1 (/.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))) (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (*.f64 y x))))))))))
239.0ms	(.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (*.f64 y x)))))
140.0ms	(.f64 y (+.f64 z (.f64 y x)))

Compiler

Compiled 40537 to 28639 computations (29.4% saved)

simplify217.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

303 → 303

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5008	26001

prune922.0ms (1.8%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	296	7	303
Fresh	7	10	17
Picked	1	0	1
Done	1	0	1
Total	305	17	322

Error

3.4b

Counts

322 → 17

Compiler

Compiled 22409 to 9388 computations (58.1% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (*.f64 y x)))))
0.2b	(/.f64 1 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))
0.3b	(/.f64 1 (.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))) (/.f64 1 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))))
29.0b	(.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))) (/.f64 1 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x))))))))))

rewrite305.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

3.4b

Rules

54×	`add-exp-log_binary64_1139`
33×	`add-sqr-sqrt_binary64_1123`
25×	`*-un-lft-identity_binary64_1101`
24×	`add-cube-cbrt_binary64_1136`
23×	`times-frac_binary64_1107`
22×	`add-cbrt-cube_binary64_1137`
20×	`div-exp_binary64_1152`
18×	`associate-r_binary64_1041`
17×	`prod-exp_binary64_1150`
12×	`pow1_binary64_1162`
10×	`1-exp_binary64_1145` `rec-exp_binary64_1151` `associate-/r/_binary64_1047`
7×	`flip3-+_binary64_1104` `flip-+_binary64_1075`
6×	`cbrt-undiv_binary64_1135` `associate-l_binary64_1042` `associate-/l*_binary64_1046`
5×	`cbrt-unprod_binary64_1134`
4×	`add-log-exp_binary64_1140` `frac-times_binary64_1111` `unswap-sqr_binary64_1069` `associate-l/_binary64_1044` `associate-r/_binary64_1043` `associate-/r*_binary64_1045`
3×	`pow-prod-down_binary64_1172` `div-inv_binary64_1098` `pow-flip_binary64_1175`
2×	`un-div-inv_binary64_1099` `*-commutative_binary64_1032` `inv-pow_binary64_1186` `frac-2neg_binary64_1112` `clear-num_binary64_1100`
1×	`distribute-rgt-in_binary64_1051` `distribute-lft-in_binary64_1050`

Counts

4 → 141

Calls

4 calls:

12.0ms	(.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))) (/.f64 1 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x))))))))))
11.0ms	(/.f64 1 (.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))) (/.f64 1 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))))
6.0ms	(.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (*.f64 y x)))))
5.0ms	(/.f64 1 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))

Compiler

Compiled 7762 to 2760 computations (64.4% saved)

series11.0s (21.7%)

Error

3.4b

Counts

4 → 154

Calls

4 calls:

5.1s	(.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))) (/.f64 1 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x))))))))))
4.2s	(/.f64 1 (.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))) (/.f64 1 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))))
651.0ms	(/.f64 1 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))
236.0ms	(.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (*.f64 y x)))))

Compiler

Compiled 44943 to 32034 computations (28.7% saved)

simplify216.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

295 → 295

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5081	25081

prune1.0s (2%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	295	0	295
Fresh	0	16	16
Picked	0	1	1
Done	0	0	0
Total	295	17	312

Error

3.4b

Counts

312 → 17

Compiler

Compiled 20649 to 9194 computations (55.5% saved)

regimes6.5s (12.9%)

Accuracy

Total 7.2b remaining (64.5%)

Threshold costs 0b (0%)

Compiler

Compiled 71943 to 48735 computations (32.3% saved)

bsearch19.0ms (0%)

Compiler: Compiled 33 to 26 computations (21.2% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	86	119
1	86	119

end0.0ms (0%)

sample5.7s (11.3%)

Algorithm

1×

intervals

Results

693.0ms	8000×	body	128	valid
17.0ms	220×	body	128	invalid

Compiler

Compiled 8057 to 5449 computations (32.4% saved)

Details

analyze2.1s (4.2%)

sample47.0ms (0.1%)

simplify213.0ms (0.4%)

prune4.0ms (0%)

localize23.0ms (0%)

rewrite250.0ms (0.5%)

series5.2s (10.2%)

simplify106.0ms (0.2%)

prune449.0ms (0.9%)

localize29.0ms (0.1%)

rewrite140.0ms (0.3%)

series5.0s (9.8%)

simplify92.0ms (0.2%)

prune306.0ms (0.6%)

localize24.0ms (0%)

rewrite355.0ms (0.7%)

series10.3s (20.4%)

simplify217.0ms (0.4%)

prune922.0ms (1.8%)

localize27.0ms (0.1%)

rewrite305.0ms (0.6%)

series11.0s (21.7%)

simplify216.0ms (0.4%)

prune1.0s (2%)

regimes6.5s (12.9%)

bsearch19.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample5.7s (11.3%)

Profiling