Details

analyze134.0ms (4.5%)

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
25%	74.9%	0.1%	5
37.5%	50%	12.6%	6
43.7%	40.6%	15.7%	7
56.2%	23.4%	20.4%	8
57.8%	21.1%	21.2%	9
64%	12.5%	23.5%	10
64.8%	10.7%	24.5%	11
67.9%	6.4%	25.7%	12
68.3%	5.4%	26.3%	13
69.9%	3.3%	26.9%	14

Compiler

Compiled 10 to 8 computations (20% saved)

sample24.0ms (0.8%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify191.0ms (6.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	364	10
1	364	10

prune6.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.0b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize15.0ms (0.5%)

Local error

Found 1 expressions with local error:

0.0b	(*.f64 x (-.f64 x y))

rewrite18.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-sqr-sqrt_binary64_14081`
7×	`*-un-lft-identity_binary64_14059`
6×	`cancel-sign-sub-inv_binary64_14025`
5×	`associate-r_binary64_13999` `add-cube-cbrt_binary64_14094`
4×	`distribute-rgt-in_binary64_14009` `distribute-lft-in_binary64_14008`
3×	`add-cbrt-cube_binary64_14095` `pow1_binary64_14120` `associate-l_binary64_14000` `add-exp-log_binary64_14097`
2×	`associate-*r/_binary64_14001` `sub-neg_binary64_14052`
1×	`add-log-exp_binary64_14098` `flip--_binary64_14034` `prod-exp_binary64_14108` `cbrt-unprod_binary64_14092` `*-commutative_binary64_13990` `unswap-sqr_binary64_14027` `pow-prod-down_binary64_14130` `difference-of-squares_binary64_14028` `distribute-lft-out--_binary64_14011` `flip3--_binary64_14063`

Counts

1 → 30

Calls

1 calls:

14.0ms

(*.f64 x (-.f64 x y))

series39.0ms (1.3%)

Counts

1 → 3

Calls

1 calls:

39.0ms

(*.f64 x (-.f64 x y))

simplify80.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5052	314

prune40.0ms (1.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	31	2	33
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	31	3	34

Merged error: 0b

Counts

34 → 3

Compiler

Compiled 401 to 159 computations (60.3% saved)

localize14.0ms (0.5%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 x (-.f64 x y))
0.3b	(pow.f64 (*.f64 x (-.f64 x y)) 3)
27.8b	(cbrt.f64 (pow.f64 (*.f64 x (-.f64 x y)) 3))

rewrite44.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_14081`
11×	`*-un-lft-identity_binary64_14059`
9×	`add-cube-cbrt_binary64_14094`
8×	`add-cbrt-cube_binary64_14095` `cbrt-prod_binary64_14090` `pow1_binary64_14120` `add-exp-log_binary64_14097`
6×	`associate-*r/_binary64_14001` `cancel-sign-sub-inv_binary64_14025`
5×	`associate-r_binary64_13999`
4×	`distribute-rgt-in_binary64_14009` `distribute-lft-in_binary64_14008` `cube-div_binary64_14088`
3×	`add-log-exp_binary64_14098` `flip--_binary64_14034` `pow-unpow_binary64_14136` `associate-l_binary64_14000` `flip3--_binary64_14063`
2×	`pow-pow_binary64_14131` `prod-exp_binary64_14108` `cube-prod_binary64_14087` `sqr-pow_binary64_14031` `cbrt-unprod_binary64_14092` `unpow-prod-down_binary64_14138` `rem-cube-cbrt_binary64_14082` `cube-mult_binary64_14089` `cbrt-div_binary64_14091` `unpow3_binary64_14125` `pow-exp_binary64_14127` `pow-prod-down_binary64_14130` `sub-neg_binary64_14052`
1×	`*-commutative_binary64_13990` `unswap-sqr_binary64_14027` `difference-of-squares_binary64_14028` `pow1/3_binary64_14141` `distribute-lft-out--_binary64_14011` `rem-cbrt-cube_binary64_14083` `pow-to-exp_binary64_14128`

Counts

3 → 73

Calls

3 calls:

14.0ms	(*.f64 x (-.f64 x y))
12.0ms	(pow.f64 (*.f64 x (-.f64 x y)) 3)
5.0ms	(cbrt.f64 (pow.f64 (*.f64 x (-.f64 x y)) 3))

series167.0ms (5.6%)

Counts

3 → 9

Calls

3 calls:

62.0ms	(cbrt.f64 (pow.f64 (*.f64 x (-.f64 x y)) 3))
62.0ms	(pow.f64 (*.f64 x (-.f64 x y)) 3)
42.0ms	(*.f64 x (-.f64 x y))

simplify135.0ms (4.5%)

Algorithm

1×	egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (106.0ms)

Iter	Nodes	Cost
0	5139	940

prune105.0ms (3.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	82	3	85

Merged error: 0b

Counts

85 → 3

Compiler

Compiled 1188 to 572 computations (51.9% saved)

localize28.0ms (0.9%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 y y) (.f64 x y))
0.2b	(-.f64 (pow.f64 x 3) (pow.f64 y 3))
3.4b	(*.f64 x (-.f64 (pow.f64 x 3) (pow.f64 y 3)))
34.1b	(/.f64 (.f64 x (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (+.f64 (.f64 x x) (+.f64 (.f64 y y) (.f64 x y))))

rewrite153.0ms (5.1%)

Algorithm

1×	rewrite-expression-head

Rules

67×	`add-sqr-sqrt_binary64_14081`
37×	`*-un-lft-identity_binary64_14059`
36×	`cancel-sign-sub-inv_binary64_14025`
33×	`cube-prod_binary64_14087` `unpow-prod-down_binary64_14138`
32×	`difference-of-squares_binary64_14028`
25×	`associate-r_binary64_13999`
19×	`sqr-pow_binary64_14031`
17×	`add-cube-cbrt_binary64_14094`
13×	`distribute-rgt-in_binary64_14009` `distribute-lft-in_binary64_14008`
11×	`add-cbrt-cube_binary64_14095` `add-exp-log_binary64_14097`
10×	`distribute-lft-out--_binary64_14011`
8×	`add-log-exp_binary64_14098`
6×	`pow1_binary64_14120`
4×	`associate-*r/_binary64_14001`
3×	`flip--_binary64_14034` `cube-mult_binary64_14089` `times-frac_binary64_14065` `associate-/r_binary64_14003` `unpow3_binary64_14125` `sub-neg_binary64_14052` `associate-l*_binary64_14000` `flip3--_binary64_14063`
2×	`flip-+_binary64_14033` `prod-exp_binary64_14108` `div-exp_binary64_14110` `cbrt-unprod_binary64_14092` `associate-/l/_binary64_14006` `cbrt-undiv_binary64_14093` `difference-cubes_binary64_14061` `associate-/r/_binary64_14005` `flip3-+_binary64_14062`
1×	`frac-2neg_binary64_14070` `sum-log_binary64_14150` `-commutative_binary64_13990` `div-inv_binary64_14056` `clear-num_binary64_14058` `unswap-sqr_binary64_14027` `distribute-rgt-out_binary64_14012` `pow-prod-down_binary64_14130` `diff-log_binary64_14151` `+-commutative_binary64_13989` `associate-/l_binary64_14004`

Counts

4 → 150

Calls

4 calls:

50.0ms	(/.f64 (.f64 x (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (+.f64 (.f64 x x) (+.f64 (.f64 y y) (.f64 x y))))
42.0ms	(*.f64 x (-.f64 (pow.f64 x 3) (pow.f64 y 3)))
24.0ms	(-.f64 (pow.f64 x 3) (pow.f64 y 3))
8.0ms	(+.f64 (.f64 y y) (.f64 x y))

series316.0ms (10.5%)

Counts

4 → 12

Calls

4 calls:

143.0ms	(/.f64 (.f64 x (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (+.f64 (.f64 x x) (+.f64 (.f64 y y) (.f64 x y))))
74.0ms	(*.f64 x (-.f64 (pow.f64 x 3) (pow.f64 y 3)))
58.0ms	(-.f64 (pow.f64 x 3) (pow.f64 y 3))
41.0ms	(+.f64 (.f64 y y) (.f64 x y))

simplify162.0ms (5.4%)

Algorithm

1×	egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 0 (97.0ms)

Iter	Nodes	Cost
0	4987	2623
1	4987	2623

prune341.0ms (11.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	162	0	162
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	162	3	165

Merged error: 0b

Counts

165 → 3

Compiler

Compiled 4526 to 2058 computations (54.5% saved)

regimes100.0ms (3.3%)

Compiler: Compiled 288 to 220 computations (23.6% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	10
1	19	10

end0.0ms (0%)

sample885.0ms (29.5%)

Algorithm

1×

intervals

Results

389.0ms	8000×	body	128	valid
8.0ms	160×	body	128	invalid

Compiler

Compiled 87 to 69 computations (20.7% saved)

Details

analyze134.0ms (4.5%)

sample24.0ms (0.8%)

simplify191.0ms (6.4%)

prune6.0ms (0.2%)

localize15.0ms (0.5%)

rewrite18.0ms (0.6%)

series39.0ms (1.3%)

simplify80.0ms (2.7%)

prune40.0ms (1.3%)

localize14.0ms (0.5%)

rewrite44.0ms (1.5%)

series167.0ms (5.6%)

simplify135.0ms (4.5%)

prune105.0ms (3.5%)

localize28.0ms (0.9%)

rewrite153.0ms (5.1%)

series316.0ms (10.5%)

simplify162.0ms (5.4%)

prune341.0ms (11.3%)

regimes100.0ms (3.3%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample885.0ms (29.5%)

Profiling