Details

analyze556.0ms (11.6%)

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
0%	99.9%	0.1%	6
25%	74.9%	0.1%	7
31.2%	68.6%	0.1%	8
35.9%	64%	0.1%	9
47.6%	49.9%	2.5%	10
49.1%	46.8%	4%	11
51.1%	44.1%	4.8%	12
60.2%	29.9%	9.9%	13
60.6%	27.9%	11.6%	14

Compiler

Compiled 12 to 10 computations (16.7% saved)

sample19.0ms (0.4%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
2.0ms	52×	body	128	invalid

Compiler

Compiled 23 to 22 computations (4.3% saved)

simplify185.0ms (3.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (92.0ms)

Iter	Nodes	Cost
0	5346	16

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

10.9b

Counts

2 → 1

Compiler

Compiled 22 to 18 computations (18.2% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.1b	(.f64 (.f64 z z) (+.f64 z 1))
10.5b	(/.f64 (.f64 x y) (.f64 (*.f64 z z) (+.f64 z 1)))

rewrite22.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-cbrt-cube_binary64_10003` `add-exp-log_binary64_10005`
12×	`prod-exp_binary64_10016` `cbrt-unprod_binary64_10000`
7×	`pow1_binary64_10028`
6×	`div-exp_binary64_10018` `cbrt-undiv_binary64_10001`
5×	`*-un-lft-identity_binary64_9967`
4×	`add-sqr-sqrt_binary64_9989` `associate-r_binary64_9907` `associate-*r/_binary64_9909`
3×	`add-cube-cbrt_binary64_10002` `pow-prod-down_binary64_10038`
2×	`flip3-+_binary64_9970` `flip-+_binary64_9941` `add-log-exp_binary64_10006` `associate-/r/_binary64_9913`
1×	`times-frac_binary64_9973` `distribute-lft-out_binary64_9918` `associate-l_binary64_9908` `distribute-lft-in_binary64_9916` `associate-/l_binary64_9912` `distribute-rgt-in_binary64_9917` `unswap-sqr_binary64_9935` `div-inv_binary64_9964` `associate-/r_binary64_9911` `frac-2neg_binary64_9978` `clear-num_binary64_9966` `*-commutative_binary64_9898`

Counts

2 → 51

Calls

2 calls:

10.0ms	(/.f64 (.f64 x y) (.f64 (*.f64 z z) (+.f64 z 1)))
8.0ms	(.f64 (.f64 z z) (+.f64 z 1))

series254.0ms (5.3%)

Counts

2 → 24

Calls

2 calls:

208.0ms	(/.f64 (.f64 x y) (.f64 (*.f64 z z) (+.f64 z 1)))
47.0ms	(.f64 (.f64 z z) (+.f64 z 1))

Compiler

Compiled 431 to 344 computations (20.2% saved)

simplify73.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4984	1149
1	4984	1149

prune75.0ms (1.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	68	7	75
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	69	7	76

Error

1.6b

Counts

76 → 7

Compiler

Compiled 1130 to 543 computations (51.9% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 y (+.f64 z 1))
4.0b	(.f64 (/.f64 x (.f64 z z)) (/.f64 y (+.f64 z 1)))
8.8b	(/.f64 x (*.f64 z z))

rewrite36.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`*-un-lft-identity_binary64_9967`
34×	`add-sqr-sqrt_binary64_9989` `times-frac_binary64_9973`
31×	`add-cbrt-cube_binary64_10003` `add-exp-log_binary64_10005`
24×	`add-cube-cbrt_binary64_10002`
18×	`associate-r_binary64_9907`
10×	`div-exp_binary64_10018` `cbrt-undiv_binary64_10001`
9×	`prod-exp_binary64_10016` `cbrt-unprod_binary64_10000`
7×	`distribute-lft-out_binary64_9918` `associate-l_binary64_9908`
6×	`associate-/l*_binary64_9912`
5×	`associate-/r*_binary64_9911` `pow1_binary64_10028`
4×	`unswap-sqr_binary64_9935` `div-inv_binary64_9964` `associate-/r/_binary64_9913`
3×	`add-log-exp_binary64_10006`
2×	`flip3-+_binary64_9970` `flip-+_binary64_9941` `frac-2neg_binary64_9978` `clear-num_binary64_9966`
1×	`frac-times_binary64_9977` `associate-l/_binary64_9910` `pow-prod-down_binary64_10038` `associate-r/_binary64_9909` `*-commutative_binary64_9898`

Counts

3 → 107

Calls

3 calls:

15.0ms	(.f64 (/.f64 x (.f64 z z)) (/.f64 y (+.f64 z 1)))
7.0ms	(/.f64 x (*.f64 z z))
5.0ms	(/.f64 y (+.f64 z 1))

series340.0ms (7.1%)

Counts

3 → 39

Calls

3 calls:

211.0ms	(.f64 (/.f64 x (.f64 z z)) (/.f64 y (+.f64 z 1)))
65.0ms	(/.f64 y (+.f64 z 1))
63.0ms	(/.f64 x (*.f64 z z))

Compiler

Compiled 744 to 583 computations (21.6% saved)

simplify69.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5048	2208

prune128.0ms (2.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	139	7	146
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	142	11	153

Error

Counts

153 → 11

Compiler

Compiled 2442 to 1091 computations (55.3% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 y (+.f64 z 1))
0.8b	(.f64 (/.f64 1 z) (.f64 (/.f64 x z) (/.f64 y (+.f64 z 1))))
3.1b	(*.f64 (/.f64 x z) (/.f64 y (+.f64 z 1)))

rewrite47.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

94×	`add-exp-log_binary64_10005`
58×	`add-cbrt-cube_binary64_10003`
48×	`*-un-lft-identity_binary64_9967`
46×	`add-sqr-sqrt_binary64_9989` `times-frac_binary64_9973`
40×	`prod-exp_binary64_10016`
34×	`add-cube-cbrt_binary64_10002`
31×	`div-exp_binary64_10018`
26×	`associate-l_binary64_9908`
22×	`cbrt-unprod_binary64_10000`
19×	`associate-r_binary64_9907`
18×	`cbrt-undiv_binary64_10001`
10×	`pow1_binary64_10028`
7×	`distribute-lft-out_binary64_9918`
6×	`frac-times_binary64_9977` `associate-*r/_binary64_9909`
5×	`1-exp_binary64_10011` `rec-exp_binary64_10017`
4×	`associate-l/_binary64_9910` `pow-prod-down_binary64_10038` `unswap-sqr_binary64_9935` `div-inv_binary64_9964` `associate-/r_binary64_9911` `associate-/r/_binary64_9913`
3×	`associate-/l*_binary64_9912` `add-log-exp_binary64_10006`
2×	`flip3-+_binary64_9970` `flip-+_binary64_9941` `*-commutative_binary64_9898`
1×	`frac-2neg_binary64_9978` `clear-num_binary64_9966`

Counts

3 → 149

Calls

3 calls:

14.0ms	(.f64 (/.f64 1 z) (.f64 (/.f64 x z) (/.f64 y (+.f64 z 1))))
14.0ms	(*.f64 (/.f64 x z) (/.f64 y (+.f64 z 1)))
5.0ms	(/.f64 y (+.f64 z 1))

series438.0ms (9.2%)

Counts

3 → 51

Calls

3 calls:

201.0ms	(.f64 (/.f64 1 z) (.f64 (/.f64 x z) (/.f64 y (+.f64 z 1))))
175.0ms	(*.f64 (/.f64 x z) (/.f64 y (+.f64 z 1)))
62.0ms	(/.f64 y (+.f64 z 1))

Compiler

Compiled 1056 to 805 computations (23.8% saved)

simplify117.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

200 → 200

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4976	3269
1	4976	3269

prune179.0ms (3.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	197	3	200
Fresh	4	6	10
Picked	1	0	1
Done	0	0	0
Total	202	9	211

Error

Counts

211 → 9

Compiler

Compiled 3535 to 1876 computations (46.9% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 y (+.f64 z 1))
0.7b	(/.f64 (*.f64 (/.f64 x z) (/.f64 y (+.f64 z 1))) z)
3.1b	(*.f64 (/.f64 x z) (/.f64 y (+.f64 z 1)))

rewrite43.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

43×	`*-un-lft-identity_binary64_9967`
41×	`add-sqr-sqrt_binary64_9989`
40×	`times-frac_binary64_9973`
35×	`add-cbrt-cube_binary64_10003` `add-exp-log_binary64_10005`
29×	`add-cube-cbrt_binary64_10002`
18×	`associate-r_binary64_9907`
14×	`div-exp_binary64_10018` `cbrt-undiv_binary64_10001`
13×	`associate-l_binary64_9908`
8×	`prod-exp_binary64_10016` `cbrt-unprod_binary64_10000`
7×	`distribute-lft-out_binary64_9918` `associate-/r*_binary64_9911`
5×	`pow1_binary64_10028`
4×	`associate-/l*_binary64_9912` `unswap-sqr_binary64_9935` `div-inv_binary64_9964` `associate-/r/_binary64_9913`
3×	`associate-/l/_binary64_9914` `add-log-exp_binary64_10006`
2×	`frac-times_binary64_9977` `flip3-+_binary64_9970` `associate-l/_binary64_9910` `flip-+_binary64_9941` `associate-r/_binary64_9909` `frac-2neg_binary64_9978` `clear-num_binary64_9966`
1×	`pow-prod-down_binary64_10038` `*-commutative_binary64_9898`

Counts

3 → 118

Calls

3 calls:

18.0ms	(*.f64 (/.f64 x z) (/.f64 y (+.f64 z 1)))
10.0ms	(/.f64 (*.f64 (/.f64 x z) (/.f64 y (+.f64 z 1))) z)
5.0ms	(/.f64 y (+.f64 z 1))

series438.0ms (9.2%)

Counts

3 → 51

Calls

3 calls:

206.0ms	(/.f64 (*.f64 (/.f64 x z) (/.f64 y (+.f64 z 1))) z)
175.0ms	(*.f64 (/.f64 x z) (/.f64 y (+.f64 z 1)))
57.0ms	(/.f64 y (+.f64 z 1))

Compiler

Compiled 972 to 721 computations (25.8% saved)

simplify86.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

169 → 169

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4962	2721
1	4962	2721

prune125.0ms (2.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	168	1	169
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	170	8	178

Error

Counts

178 → 8

Compiler

Compiled 2704 to 1125 computations (58.4% saved)

regimes385.0ms (8.1%)

Accuracy

Total 1.3b remaining (99.5%)

Threshold costs 0b (0%)

Compiler

Compiled 3929 to 3045 computations (22.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	28
1	17	28

end0.0ms (0%)

sample1.1s (23.7%)

Algorithm

1×

intervals

Results

272.0ms	8000×	body	128	valid
50.0ms	1548×	body	128	invalid

Compiler

Compiled 657 to 504 computations (23.3% saved)

Details

analyze556.0ms (11.6%)

sample19.0ms (0.4%)

simplify185.0ms (3.9%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite22.0ms (0.5%)

series254.0ms (5.3%)

simplify73.0ms (1.5%)

prune75.0ms (1.6%)

localize8.0ms (0.2%)

rewrite36.0ms (0.8%)

series340.0ms (7.1%)

simplify69.0ms (1.4%)

prune128.0ms (2.7%)

localize8.0ms (0.2%)

rewrite47.0ms (1%)

series438.0ms (9.2%)

simplify117.0ms (2.4%)

prune179.0ms (3.7%)

localize7.0ms (0.1%)

rewrite43.0ms (0.9%)

series438.0ms (9.2%)

simplify86.0ms (1.8%)

prune125.0ms (2.6%)

regimes385.0ms (8.1%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample1.1s (23.7%)

Profiling