Details

analyze260.0ms (4.7%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1723	40
1	1723	40
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

Symmetry

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample22.0ms (0.4%)

Algorithm

1×

intervals

Results

6.0ms	256×	body	128	valid
5.0ms	256×	pre	128	true

Compiler

Compiled 21 to 20 computations (4.8% saved)

simplify77.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	1003	10
1	1003	10

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

62.0b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

62.0b

(/.f64 (-.f64 x lo) (-.f64 hi lo))

rewrite47.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

62.0b

Rules

37×	`add-sqr-sqrt_binary64_782` `*-un-lft-identity_binary64_760`
25×	`times-frac_binary64_766`
13×	`add-cube-cbrt_binary64_795`
12×	`difference-of-squares_binary64_729` `distribute-lft-out--_binary64_712`
5×	`associate-/l_binary64_705` `associate-/r_binary64_704`
3×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
2×	`flip3--_binary64_764` `associate-/l/_binary64_707` `flip--_binary64_735` `associate-/r/_binary64_706`
1×	`pow1_binary64_821` `div-exp_binary64_811` `add-log-exp_binary64_799` `cbrt-undiv_binary64_794` `frac-2neg_binary64_771` `div-sub_binary64_765` `clear-num_binary64_759` `div-inv_binary64_757`

Counts

1 → 52

Calls

1 calls:

8.0ms

(/.f64 (-.f64 x lo) (-.f64 hi lo))

Compiler

Compiled 844 to 193 computations (77.1% saved)

series62.0ms (1.1%)

Error

51.8b

Counts

1 → 10

Calls

1 calls:

51.0ms

(/.f64 (-.f64 x lo) (-.f64 hi lo))

Compiler

Compiled 255 to 188 computations (26.3% saved)

simplify59.0ms (1%)

Algorithm

1×	egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5114	1055

prune39.0ms (0.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	60	2	62
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	61	2	63

Error

51.8b

Counts

63 → 2

Compiler

Compiled 846 to 179 computations (78.8% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (-.f64 x lo) hi)

rewrite36.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

51.8b

Rules

19×	`add-sqr-sqrt_binary64_782` `*-un-lft-identity_binary64_760`
15×	`times-frac_binary64_766`
11×	`add-cube-cbrt_binary64_795`
5×	`associate-/l*_binary64_705`
4×	`difference-of-squares_binary64_729` `distribute-lft-out--_binary64_712`
3×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `associate-/r*_binary64_704`
2×	`associate-/l/_binary64_707`
1×	`pow1_binary64_821` `div-exp_binary64_811` `add-log-exp_binary64_799` `cbrt-undiv_binary64_794` `frac-2neg_binary64_771` `div-sub_binary64_765` `clear-num_binary64_759` `div-inv_binary64_757` `flip3--_binary64_764` `flip--_binary64_735`

Counts

1 → 38

Calls

1 calls:

6.0ms

(/.f64 (-.f64 x lo) hi)

Compiler

Compiled 476 to 136 computations (71.4% saved)

series121.0ms (2.2%)

Error

51.8b

Counts

1 → 15

Calls

1 calls:

115.0ms

(/.f64 (-.f64 x lo) hi)

Compiler

Compiled 225 to 154 computations (31.6% saved)

simplify86.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	5044	620

prune46.0ms (0.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	40	13	53
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	41	14	55

Error

51.8b

Counts

55 → 14

Compiler

Compiled 697 to 230 computations (67% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(cbrt.f64 hi)
0.4b	(cbrt.f64 hi)
0.4b	(/.f64 (/.f64 (-.f64 x lo) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) (cbrt.f64 hi))
0.6b	(*.f64 (cbrt.f64 hi) (cbrt.f64 hi))

rewrite142.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

51.8b

Rules

89×	`times-frac_binary64_766`
70×	`add-sqr-sqrt_binary64_782`
62×	`*-un-lft-identity_binary64_760`
52×	`cbrt-prod_binary64_791`
48×	`add-cube-cbrt_binary64_795`
15×	`add-exp-log_binary64_798`
11×	`pow1_binary64_821`
9×	`associate-/l*_binary64_705`
8×	`pow1/3_binary64_842` `add-cbrt-cube_binary64_796` `div-inv_binary64_757`
7×	`difference-of-squares_binary64_729` `distribute-lft-out--_binary64_712`
6×	`swap-sqr_binary64_727` `associate-l_binary64_701` `associate-r_binary64_700` `associate-/r*_binary64_704`
5×	`div-exp_binary64_811` `cbrt-undiv_binary64_794`
4×	`add-log-exp_binary64_799` `unswap-sqr_binary64_728`
2×	`pow-prod-down_binary64_831` `pow-prod-up_binary64_830` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `pow-sqr_binary64_733` `div-sub_binary64_765`
1×	`pow2_binary64_841` `pow-plus_binary64_823` `*-commutative_binary64_691` `frac-2neg_binary64_771` `clear-num_binary64_759` `associate-/l/_binary64_707`

Counts

4 → 149

Calls

4 calls:

12.0ms	(/.f64 (/.f64 (-.f64 x lo) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) (cbrt.f64 hi))
6.0ms	(*.f64 (cbrt.f64 hi) (cbrt.f64 hi))
1.0ms	(cbrt.f64 hi)
1.0ms	(cbrt.f64 hi)

Compiler

Compiled 3046 to 563 computations (81.5% saved)

series412.0ms (7.4%)

Error

51.8b

Counts

4 → 24

Calls

4 calls:

158.0ms	(/.f64 (/.f64 (-.f64 x lo) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) (cbrt.f64 hi))
86.0ms	(*.f64 (cbrt.f64 hi) (cbrt.f64 hi))
81.0ms	(cbrt.f64 hi)
74.0ms	(cbrt.f64 hi)

Compiler

Compiled 627 to 444 computations (29.2% saved)

simplify75.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

173 → 173

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4992	2725
1	4992	2725

prune141.0ms (2.5%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	160	13	173
Fresh	6	7	13
Picked	1	0	1
Done	0	0	0
Total	167	20	187

Error

51.8b

Counts

187 → 20

Compiler

Compiled 3058 to 1099 computations (64.1% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.4b	(cbrt.f64 hi)
0.4b	(/.f64 (/.f64 (-.f64 x lo) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) (exp.f64 (log.f64 (cbrt.f64 hi))))
0.6b	(*.f64 (cbrt.f64 hi) (cbrt.f64 hi))
4.9b	(exp.f64 (log.f64 (cbrt.f64 hi)))

rewrite191.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

51.8b

Rules

131×	`times-frac_binary64_766`
94×	`add-sqr-sqrt_binary64_782`
86×	`*-un-lft-identity_binary64_760`
66×	`add-cube-cbrt_binary64_795` `log-prod_binary64_846` `exp-sum_binary64_806`
52×	`cbrt-prod_binary64_791`
12×	`pow1_binary64_821` `add-exp-log_binary64_798`
11×	`add-cbrt-cube_binary64_796` `div-inv_binary64_757`
10×	`difference-of-squares_binary64_729` `distribute-lft-out--_binary64_712`
9×	`associate-/l_binary64_705` `associate-/r_binary64_704`
8×	`pow1/3_binary64_842`
6×	`swap-sqr_binary64_727` `associate-l_binary64_701` `associate-r_binary64_700`
5×	`exp-prod_binary64_812` `div-exp_binary64_811` `cbrt-undiv_binary64_794`
4×	`add-log-exp_binary64_799` `unswap-sqr_binary64_728`
2×	`log-pow_binary64_849` `pow-prod-down_binary64_831` `pow-prod-up_binary64_830` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `pow-sqr_binary64_733` `div-sub_binary64_765`
1×	`rem-exp-log_binary64_800` `pow2_binary64_841` `pow-plus_binary64_823` `*-commutative_binary64_691` `frac-2neg_binary64_771` `clear-num_binary64_759` `associate-/l/_binary64_707`

Counts

4 → 187

Calls

4 calls:

14.0ms	(/.f64 (/.f64 (-.f64 x lo) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) (exp.f64 (log.f64 (cbrt.f64 hi))))
6.0ms	(*.f64 (cbrt.f64 hi) (cbrt.f64 hi))
3.0ms	(exp.f64 (log.f64 (cbrt.f64 hi)))
1.0ms	(cbrt.f64 hi)

Compiler

Compiled 4516 to 760 computations (83.2% saved)

series710.0ms (12.7%)

Error

51.8b

Counts

4 → 18

Calls

4 calls:

396.0ms	(/.f64 (/.f64 (-.f64 x lo) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) (exp.f64 (log.f64 (cbrt.f64 hi))))
137.0ms	(exp.f64 (log.f64 (cbrt.f64 hi)))
88.0ms	(*.f64 (cbrt.f64 hi) (cbrt.f64 hi))
72.0ms	(cbrt.f64 hi)

Compiler

Compiled 1014 to 840 computations (17.2% saved)

simplify89.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

205 → 205

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5008	3769

prune158.0ms (2.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	197	8	205
Fresh	14	5	19
Picked	1	0	1
Done	0	0	0
Total	212	13	225

Error

51.8b

Counts

225 → 13

Compiler

Compiled 3617 to 1168 computations (67.7% saved)

regimes614.0ms (11%)

Accuracy

Total 0.2b remaining (0.3%)

Threshold costs 0.2b (0.3%)

Compiler

Compiled 7158 to 4448 computations (37.9% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	43
1	24	43

Removed

()

end0.0ms (0%)

sample2.2s (38.8%)

Algorithm

1×

intervals

Results

197.0ms	8000×	body	128	valid
156.0ms	8000×	pre	128	true

Compiler

Compiled 1818 to 1126 computations (38.1% saved)

Details

analyze260.0ms (4.7%)

sample22.0ms (0.4%)

simplify77.0ms (1.4%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite47.0ms (0.8%)

series62.0ms (1.1%)

simplify59.0ms (1%)

prune39.0ms (0.7%)

localize4.0ms (0.1%)

rewrite36.0ms (0.6%)

series121.0ms (2.2%)

simplify86.0ms (1.5%)

prune46.0ms (0.8%)

localize7.0ms (0.1%)

rewrite142.0ms (2.5%)

series412.0ms (7.4%)

simplify75.0ms (1.3%)

prune141.0ms (2.5%)

localize14.0ms (0.3%)

rewrite191.0ms (3.4%)

series710.0ms (12.7%)

simplify89.0ms (1.6%)

prune158.0ms (2.8%)

regimes614.0ms (11%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample2.2s (38.8%)

Profiling