Details

analyze1.2s (13.9%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4852	91
1	4852	91
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	7
7%	92.8%	0.2%	8
7%	92.8%	0.2%	8
19.1%	80.7%	0.2%	9
19.1%	80.7%	0.2%	9
29.8%	70%	0.2%	10
29.8%	70%	0.2%	10
31.3%	68.5%	0.2%	11
31.3%	68.5%	0.2%	11
42.3%	57.2%	0.6%	12
42.3%	57.2%	0.6%	12
53.3%	45.5%	1.2%	13
53.3%	45.5%	1.2%	13
59.2%	39.3%	1.5%	14
59.2%	39.3%	1.5%	14

Compiler

Compiled 20 to 18 computations (10% saved)

sample266.0ms (3.1%)

Algorithm

2×

intervals

Results

16.0ms	512×	body	128	valid
2.0ms	51×	body	128	invalid

Compiler

Compiled 2819 to 3661 computations (-29.9% saved)

simplify273.0ms (3.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (266.0ms)

Iter	Nodes	Cost
0	5580	13

prune3.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

11.4b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 x (-.f64 y z))
10.8b	(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))

rewrite78.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

16×	`add-sqr-sqrt_binary64_15786`
14×	`*-un-lft-identity_binary64_15764`
9×	`add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800`
8×	`add-cube-cbrt_binary64_15799`
6×	`cancel-sign-sub-inv_binary64_15730`
5×	`times-frac_binary64_15770` `associate-/r_binary64_15708` `associate-r*_binary64_15704`
4×	`pow1_binary64_15825` `associate-*r/_binary64_15706` `distribute-rgt-in_binary64_15714` `distribute-lft-in_binary64_15713`
3×	`difference-of-squares_binary64_15733` `distribute-lft-out--_binary64_15716` `flip3--_binary64_15768` `flip--_binary64_15739` `associate-l_binary64_15705`
2×	`prod-exp_binary64_15813` `div-exp_binary64_15815` `add-log-exp_binary64_15803` `cbrt-undiv_binary64_15798` `cbrt-unprod_binary64_15797` `associate-/l/_binary64_15711` `associate-/r/_binary64_15710` `sub-neg_binary64_15757`
1×	`frac-2neg_binary64_15775` `clear-num_binary64_15763` `div-inv_binary64_15761` `associate-/l_binary64_15709` `pow-prod-down_binary64_15835` `unswap-sqr_binary64_15732` `-commutative_binary64_15695`

Counts

2 → 59

Calls

2 calls:

10.0ms	(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))
7.0ms	(*.f64 x (-.f64 y z))

Compiler

Compiled 944 to 241 computations (74.5% saved)

series571.0ms (6.8%)

Error

5.4b

Counts

2 → 42

Calls

2 calls:

397.0ms	(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))
139.0ms	(*.f64 x (-.f64 y z))

Compiler

Compiled 1727 to 992 computations (42.6% saved)

simplify62.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5072	1474

prune92.0ms (1.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	93	8	101
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	94	8	102

Error

0.0b

Counts

102 → 8

Compiler

Compiled 1481 to 337 computations (77.2% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 y z) (-.f64 t z))
2.8b	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))

rewrite117.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

75×	`add-sqr-sqrt_binary64_15786`
70×	`*-un-lft-identity_binary64_15764`
51×	`times-frac_binary64_15770`
31×	`associate-r_binary64_15704`
26×	`add-cube-cbrt_binary64_15799`
22×	`difference-of-squares_binary64_15733` `distribute-lft-out--_binary64_15716`
9×	`add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800`
5×	`associate-/l_binary64_15709` `associate-/r_binary64_15708`
4×	`pow1_binary64_15825` `associate-/r/_binary64_15710`
3×	`associate-l_binary64_15705` `flip3--_binary64_15768` `flip--_binary64_15739`
2×	`div-exp_binary64_15815` `prod-exp_binary64_15813` `add-log-exp_binary64_15803` `cbrt-unprod_binary64_15797` `cbrt-undiv_binary64_15798` `unswap-sqr_binary64_15732` `div-inv_binary64_15761` `associate-/l/_binary64_15711`
1×	`pow-prod-down_binary64_15835` `associate-r/_binary64_15706` `-commutative_binary64_15695` `frac-2neg_binary64_15775` `div-sub_binary64_15769` `clear-num_binary64_15763`

Counts

2 → 102

Calls

2 calls:

15.0ms	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
8.0ms	(/.f64 (-.f64 y z) (-.f64 t z))

Compiler

Compiled 1903 to 398 computations (79.1% saved)

series695.0ms (8.2%)

Error

0.0b

Counts

2 → 52

Calls

2 calls:

402.0ms	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
246.0ms	(/.f64 (-.f64 y z) (-.f64 t z))

Compiler

Compiled 2480 to 1515 computations (38.9% saved)

simplify71.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

154 → 154

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5022	2885

prune126.0ms (1.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	153	1	154
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	154	8	162

Error

Counts

162 → 8

Compiler

Compiled 2657 to 584 computations (78% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 t z) (-.f64 y z))
2.8b	(/.f64 x (/.f64 (-.f64 t z) (-.f64 y z)))

rewrite219.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

218×	`times-frac_binary64_15770`
194×	`add-sqr-sqrt_binary64_15786` `*-un-lft-identity_binary64_15764`
90×	`add-cube-cbrt_binary64_15799`
52×	`difference-of-squares_binary64_15733` `distribute-lft-out--_binary64_15716`
36×	`associate-/r*_binary64_15708`
11×	`associate-/r/_binary64_15710`
9×	`add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800`
8×	`associate-/l*_binary64_15709`
6×	`div-inv_binary64_15761` `flip3--_binary64_15768` `flip--_binary64_15739`
4×	`div-exp_binary64_15815` `cbrt-undiv_binary64_15798`
2×	`pow1_binary64_15825` `add-log-exp_binary64_15803` `frac-2neg_binary64_15775` `clear-num_binary64_15763` `associate-/l/_binary64_15711`
1×	`div-sub_binary64_15769`

Counts

2 → 194

Calls

2 calls:

15.0ms	(/.f64 x (/.f64 (-.f64 t z) (-.f64 y z)))
8.0ms	(/.f64 (-.f64 t z) (-.f64 y z))

Compiler

Compiled 4149 to 810 computations (80.5% saved)

series644.0ms (7.6%)

Error

Counts

2 → 51

Calls

2 calls:

386.0ms	(/.f64 x (/.f64 (-.f64 t z) (-.f64 y z)))
207.0ms	(/.f64 (-.f64 t z) (-.f64 y z))

Compiler

Compiled 2392 to 1458 computations (39% saved)

simplify98.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

245 → 245

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5230	6116

prune197.0ms (2.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	244	1	245
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	245	8	253

Error

Counts

253 → 8

Compiler

Compiled 4797 to 735 computations (84.7% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 x)
0.5b	(cbrt.f64 x)
1.3b	(*.f64 (/.f64 (-.f64 y z) (-.f64 t z)) (cbrt.f64 x))
1.7b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (/.f64 (-.f64 y z) (-.f64 t z)) (cbrt.f64 x)))

rewrite148.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

49×	`add-sqr-sqrt_binary64_15786`
39×	`*-un-lft-identity_binary64_15764`
32×	`associate-l_binary64_15705`
30×	`add-exp-log_binary64_15802`
27×	`times-frac_binary64_15770`
19×	`add-cube-cbrt_binary64_15799`
18×	`pow1_binary64_15825` `add-cbrt-cube_binary64_15800`
15×	`prod-exp_binary64_15813` `cbrt-unprod_binary64_15797`
11×	`cbrt-prod_binary64_15795`
10×	`difference-of-squares_binary64_15733` `distribute-lft-out--_binary64_15716`
9×	`pow-prod-down_binary64_15835`
7×	`associate-r_binary64_15704`
4×	`add-log-exp_binary64_15803` `unswap-sqr_binary64_15732`
3×	`div-exp_binary64_15815` `cbrt-undiv_binary64_15798`
2×	`associate-l/_binary64_15707` `-commutative_binary64_15695` `associate-/r/_binary64_15710` `pow1/3_binary64_15846`
1×	`associate-*r/_binary64_15706` `div-inv_binary64_15761` `flip3--_binary64_15768` `flip--_binary64_15739`

Counts

4 → 104

Calls

4 calls:

17.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (/.f64 (-.f64 y z) (-.f64 t z)) (cbrt.f64 x)))
15.0ms	(*.f64 (/.f64 (-.f64 y z) (-.f64 t z)) (cbrt.f64 x))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 2583 to 410 computations (84.1% saved)

series1.4s (16.9%)

Error

Counts

4 → 58

Calls

4 calls:

699.0ms	(*.f64 (/.f64 (-.f64 y z) (-.f64 t z)) (cbrt.f64 x))
447.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (/.f64 (-.f64 y z) (-.f64 t z)) (cbrt.f64 x)))
115.0ms	(cbrt.f64 x)
108.0ms	(cbrt.f64 x)

Compiler

Compiled 3678 to 2283 computations (37.9% saved)

simplify59.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5018	2743

prune136.0ms (1.6%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	162	0	162
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	162	8	170

Error

Counts

170 → 8

Compiler

Compiled 3187 to 594 computations (81.4% saved)

regimes584.0ms (6.9%)

Accuracy

Total 2.3b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 4033 to 2885 computations (28.5% saved)

bsearch44.0ms (0.5%)

Steps

Iters	Range		Point
6	1.9480911873729264e+21	3.035190234602594e+22	1.9845854779363898e+21
11	4.223228617313333e-259	1.3773460657464478e-239	6.744991936333286e-257

Compiler

Compiled 1 to 4 computations (-300% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	36	51
1	36	51

end0.0ms (0%)

sample1.3s (15.8%)

Algorithm

1×

intervals

Results

253.0ms	8000×	body	128	valid
32.0ms	786×	body	128	invalid

Compiler

Compiled 831 to 593 computations (28.6% saved)

Details

analyze1.2s (13.9%)

sample266.0ms (3.1%)

simplify273.0ms (3.2%)

prune3.0ms (0%)

localize7.0ms (0.1%)

rewrite78.0ms (0.9%)

series571.0ms (6.8%)

simplify62.0ms (0.7%)

prune92.0ms (1.1%)

localize6.0ms (0.1%)

rewrite117.0ms (1.4%)

series695.0ms (8.2%)

simplify71.0ms (0.8%)

prune126.0ms (1.5%)

localize6.0ms (0.1%)

rewrite219.0ms (2.6%)

series644.0ms (7.6%)

simplify98.0ms (1.2%)

prune197.0ms (2.3%)

localize10.0ms (0.1%)

rewrite148.0ms (1.8%)

series1.4s (16.9%)

simplify59.0ms (0.7%)

prune136.0ms (1.6%)

regimes584.0ms (6.9%)

bsearch44.0ms (0.5%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.3s (15.8%)

Profiling