Details

analyze4.0ms (0.1%)

Algorithm

1×

Search

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

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample21.0ms (0.5%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 21 to 20 computations (4.8% saved)

simplify176.0ms (4.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (73.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))

rewrite45.0ms (1.1%)

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:

9.0ms

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

Compiler

Compiled 844 to 193 computations (77.1% saved)

series71.0ms (1.7%)

Error

51.8b

Counts

1 → 10

Calls

1 calls:

60.0ms

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

Compiler

Compiled 255 to 188 computations (26.3% saved)

simplify56.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5114	1055

prune42.0ms (1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	59	3	62
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	60	3	63

Error

51.8b

Counts

63 → 3

Compiler

Compiled 847 to 183 computations (78.4% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite34.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

51.8b

Rules

16×	`add-sqr-sqrt_binary64_782`
13×	`cancel-sign-sub-inv_binary64_726`
12×	`*-un-lft-identity_binary64_760`
11×	`times-frac_binary64_766`
8×	`add-cube-cbrt_binary64_795`
4×	`difference-of-squares_binary64_729`
3×	`add-log-exp_binary64_799`
1×	`diff-log_binary64_852` `pow1_binary64_821` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `flip3--_binary64_764` `sub-neg_binary64_753` `flip--_binary64_735` `div-inv_binary64_757` `distribute-lft-out--_binary64_712`

Counts

1 → 29

Calls

1 calls:

8.0ms

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

Compiler

Compiled 381 to 191 computations (49.9% saved)

series65.0ms (1.6%)

Error

51.8b

Counts

1 → 12

Calls

1 calls:

60.0ms

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

Compiler

Compiled 126 to 127 computations (-0.8% saved)

simplify53.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5434	363

prune26.0ms (0.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	39	2	41
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	40	4	44

Error

51.8b

Counts

44 → 4

Compiler

Compiled 334 to 168 computations (49.7% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(cbrt.f64 (-.f64 1 (/.f64 x lo)))
0.0b	(cbrt.f64 (-.f64 1 (/.f64 x lo)))
0.0b	(cbrt.f64 (-.f64 1 (/.f64 x lo)))
0.0b	(*.f64 (cbrt.f64 (-.f64 1 (/.f64 x lo))) (cbrt.f64 (-.f64 1 (/.f64 x lo))))

rewrite238.0ms (5.8%)

Algorithm

1×	rewrite-expression-head

Error

51.8b

Rules

79×	`add-sqr-sqrt_binary64_782`
64×	`cbrt-prod_binary64_791`
49×	`*-un-lft-identity_binary64_760`
28×	`difference-of-squares_binary64_729`
18×	`cbrt-div_binary64_792`
15×	`add-cube-cbrt_binary64_795`
14×	`times-frac_binary64_766`
13×	`swap-sqr_binary64_727`
11×	`pow1_binary64_821` `associate-l_binary64_701` `associate-r_binary64_700`
9×	`pow1/3_binary64_842` `flip3--_binary64_764` `flip--_binary64_735` `distribute-lft-out--_binary64_712`
6×	`add-exp-log_binary64_798`
4×	`add-log-exp_binary64_799` `add-cbrt-cube_binary64_796` `frac-times_binary64_770` `unswap-sqr_binary64_728`
2×	`pow-prod-down_binary64_831` `pow-prod-up_binary64_830` `pow-sqr_binary64_733` `associate-l/_binary64_703` `associate-r/_binary64_702`
1×	`pow2_binary64_841` `pow-plus_binary64_823` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`

Counts

4 → 119

Calls

4 calls:

22.0ms	(*.f64 (cbrt.f64 (-.f64 1 (/.f64 x lo))) (cbrt.f64 (-.f64 1 (/.f64 x lo))))
7.0ms	(cbrt.f64 (-.f64 1 (/.f64 x lo)))
7.0ms	(cbrt.f64 (-.f64 1 (/.f64 x lo)))
7.0ms	(cbrt.f64 (-.f64 1 (/.f64 x lo)))

Compiler

Compiled 3641 to 2078 computations (42.9% saved)

series271.0ms (6.6%)

Error

51.8b

Counts

4 → 24

Calls

4 calls:

72.0ms	(*.f64 (cbrt.f64 (-.f64 1 (/.f64 x lo))) (cbrt.f64 (-.f64 1 (/.f64 x lo))))
61.0ms	(cbrt.f64 (-.f64 1 (/.f64 x lo)))
58.0ms	(cbrt.f64 (-.f64 1 (/.f64 x lo)))
56.0ms	(cbrt.f64 (-.f64 1 (/.f64 x lo)))

Compiler

Compiled 1658 to 1298 computations (21.7% saved)

simplify75.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5045	2463

prune179.0ms (4.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	139	4	143
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	141	6	147

Error

51.8b

Counts

147 → 6

Compiler

Compiled 3651 to 2115 computations (42.1% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(cbrt.f64 (-.f64 1 (/.f64 x lo)))
0.0b	(cbrt.f64 (cbrt.f64 (-.f64 1 (/.f64 x lo))))
0.0b	(cbrt.f64 (cbrt.f64 (-.f64 1 (/.f64 x lo))))
0.0b	(pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 1 (/.f64 x lo)))) 5)

rewrite183.0ms (4.4%)

Algorithm

1×	rewrite-expression-head

Error

51.8b

Rules

65×	`cbrt-prod_binary64_791`
45×	`add-sqr-sqrt_binary64_782`
29×	`*-un-lft-identity_binary64_760`
16×	`difference-of-squares_binary64_729`
14×	`unpow-prod-down_binary64_839`
13×	`add-cube-cbrt_binary64_795`
10×	`cbrt-div_binary64_792`
8×	`times-frac_binary64_766`
5×	`pow1_binary64_821` `add-exp-log_binary64_798`
4×	`distribute-lft-out--_binary64_712` `pow1/3_binary64_842` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796`
3×	`pow-unpow_binary64_837` `flip3--_binary64_764` `flip--_binary64_735`
2×	`pow-pow_binary64_832`
1×	`pow-to-exp_binary64_829` `pow-exp_binary64_828` `sqr-pow_binary64_732`

Counts

4 → 89

Calls

4 calls:

11.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 1 (/.f64 x lo)))) 5)
8.0ms	(cbrt.f64 (cbrt.f64 (-.f64 1 (/.f64 x lo))))
8.0ms	(cbrt.f64 (cbrt.f64 (-.f64 1 (/.f64 x lo))))
7.0ms	(cbrt.f64 (-.f64 1 (/.f64 x lo)))

Compiler

Compiled 2982 to 1908 computations (36% saved)

series341.0ms (8.3%)

Error

51.8b

Counts

4 → 24

Calls

4 calls:

144.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 1 (/.f64 x lo)))) 5)
61.0ms	(cbrt.f64 (cbrt.f64 (-.f64 1 (/.f64 x lo))))
54.0ms	(cbrt.f64 (cbrt.f64 (-.f64 1 (/.f64 x lo))))
53.0ms	(cbrt.f64 (-.f64 1 (/.f64 x lo)))

Compiler

Compiled 1966 to 1546 computations (21.4% saved)

simplify115.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (92.0ms)

Iter	Nodes	Cost
0	4911	1909
1	4911	1909

prune172.0ms (4.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	108	5	113
Fresh	4	1	5
Picked	1	0	1
Done	0	0	0
Total	113	6	119

Error

51.8b

Counts

119 → 6

Compiler

Compiled 3277 to 2071 computations (36.8% saved)

regimes334.0ms (8.1%)

Accuracy

Total 0.3b remaining (0.5%)

Threshold costs 0.3b (0.5%)

Compiler

Compiled 4174 to 3216 computations (23% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	25
1	29	25

end0.0ms (0%)

sample1.6s (38.6%)

Algorithm

1×

intervals

Results

186.0ms	8000×	body	128	valid
155.0ms	8000×	pre	128	true

Compiler

Compiled 1063 to 819 computations (23% saved)

Details

analyze4.0ms (0.1%)

sample21.0ms (0.5%)

simplify176.0ms (4.3%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite45.0ms (1.1%)

series71.0ms (1.7%)

simplify56.0ms (1.4%)

prune42.0ms (1%)

localize4.0ms (0.1%)

rewrite34.0ms (0.8%)

series65.0ms (1.6%)

simplify53.0ms (1.3%)

prune26.0ms (0.6%)

localize7.0ms (0.2%)

rewrite238.0ms (5.8%)

series271.0ms (6.6%)

simplify75.0ms (1.8%)

prune179.0ms (4.3%)

localize10.0ms (0.2%)

rewrite183.0ms (4.4%)

series341.0ms (8.3%)

simplify115.0ms (2.8%)

prune172.0ms (4.2%)

regimes334.0ms (8.1%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.6s (38.6%)

Profiling