Details

analyze9.0ms (0.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	74.9%	25.1%	0
0%	74.9%	25.1%	1
37.5%	37.5%	25.1%	2
37.5%	18.7%	43.8%	3
46.8%	9.4%	43.8%	4
51.5%	4.7%	43.8%	5
51.5%	2.3%	46.1%	6
52.7%	1.2%	46.1%	7
53.3%	0.6%	46.1%	8
53.3%	0.3%	46.4%	9
53.4%	0.1%	46.4%	10
53.5%	0.1%	46.4%	11
53.5%	0%	46.5%	12
53.5%	0%	46.5%	13
53.5%	0%	46.5%	14

Compiler

Compiled 70 to 33 computations (52.9% saved)

sample35.0ms (0.7%)

Algorithm

1×

intervals

Results

23.0ms	256×	body	80	valid
3.0ms	257×	pre	80	true
0.0ms	1×	body	80	invalid

Compiler

Compiled 137 to 65 computations (52.6% saved)

simplify672.0ms (13%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (198.0ms)

Iter	Nodes	Cost
0	5204	47

prune7.0ms (0.1%)

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

Merged error: 0.0b

Counts

2 → 2

Compiler

Compiled 125 to 77 computations (38.4% saved)

localize25.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.1b	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.2b	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
1.0b	(sqrt.f64 PI.f64)

rewrite39.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

52×	`pow1_binary64_1519`
35×	`add-exp-log_binary64_1541` `add-cbrt-cube_binary64_1549`
18×	`prod-exp_binary64_1524` `cbrt-unprod_binary64_1546`
17×	`add-sqr-sqrt_binary64_1562`
15×	`associate-l_binary64_1637`
14×	`add-cube-cbrt_binary64_1548` `*-un-lft-identity_binary64_1577`
12×	`pow-prod-down_binary64_1500` `pow-plus_binary64_1514` `pow-prod-up_binary64_1499`
9×	`times-frac_binary64_1572`
7×	`associate-r_binary64_1636`
4×	`pow-sqr_binary64_1610` `add-log-exp_binary64_1542` `pow2_binary64_1510`
3×	`*-commutative_binary64_1645` `div-exp_binary64_1526` `cbrt-undiv_binary64_1547` `sqrt-prod_binary64_1556`
2×	`pow3_binary64_1512` `unswap-sqr_binary64_1605`
1×	`sqrt-pow1_binary64_1558` `pow1/2_binary64_1509` `rem-sqrt-square_binary64_1565` `associate-*l/_binary64_1639` `div-inv_binary64_1578`

Counts

4 → 107

Calls

4 calls:

18.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
8.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
7.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
2.0ms	(sqrt.f64 PI.f64)

series201.0ms (3.9%)

Counts

4 → 10

Calls

4 calls:

84.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
63.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
54.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.0ms	(sqrt.f64 PI.f64)

simplify115.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (88.0ms)

Iter	Nodes	Cost
0	5001	954

prune327.0ms (6.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	114	3	117
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	115	4	119

Merged error: 0.0b

Counts

119 → 4

Compiler

Compiled 7946 to 3163 computations (60.2% saved)

localize31.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (sqrt.f64 (pow.f64 (fabs.f64 x) 3)) (sqrt.f64 (pow.f64 (fabs.f64 x) 3)))
1.0b	(sqrt.f64 PI.f64)
18.0b	(sqrt.f64 (pow.f64 (fabs.f64 x) 3))
18.0b	(sqrt.f64 (pow.f64 (fabs.f64 x) 3))

rewrite36.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

129×	`sqrt-prod_binary64_1556`
82×	`add-sqr-sqrt_binary64_1562`
36×	`unpow-prod-down_binary64_1508` `cube-prod_binary64_1550`
31×	`add-cube-cbrt_binary64_1548` `*-un-lft-identity_binary64_1577`
25×	`unswap-sqr_binary64_1605`
23×	`swap-sqr_binary64_1604`
18×	`sqr-pow_binary64_1609`
15×	`associate-l_binary64_1637` `associate-r_binary64_1636`
12×	`pow1_binary64_1519`
9×	`sqrt-pow1_binary64_1558` `pow1/2_binary64_1509` `rem-sqrt-square_binary64_1565`
6×	`add-exp-log_binary64_1541` `add-cbrt-cube_binary64_1549` `unpow3_binary64_1517` `cube-mult_binary64_1552`
4×	`add-log-exp_binary64_1542`
3×	`pow-sqr_binary64_1610` `pow-prod-down_binary64_1500` `pow-prod-up_binary64_1499`
1×	`*-commutative_binary64_1645` `rem-square-sqrt_binary64_1564` `prod-exp_binary64_1524` `pow-plus_binary64_1514` `sqrt-unprod_binary64_1560` `cbrt-unprod_binary64_1546` `pow2_binary64_1510`

Counts

4 → 164

Calls

4 calls:

19.0ms	(*.f64 (sqrt.f64 (pow.f64 (fabs.f64 x) 3)) (sqrt.f64 (pow.f64 (fabs.f64 x) 3)))
4.0ms	(sqrt.f64 (pow.f64 (fabs.f64 x) 3))
3.0ms	(sqrt.f64 (pow.f64 (fabs.f64 x) 3))
1.0ms	(sqrt.f64 PI.f64)

series262.0ms (5%)

Counts

4 → 10

Calls

4 calls:

103.0ms	(sqrt.f64 (pow.f64 (fabs.f64 x) 3))
101.0ms	(sqrt.f64 (pow.f64 (fabs.f64 x) 3))
58.0ms	(*.f64 (sqrt.f64 (pow.f64 (fabs.f64 x) 3)) (sqrt.f64 (pow.f64 (fabs.f64 x) 3)))
0.0ms	(sqrt.f64 PI.f64)

simplify100.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

174 → 174

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5354	2231

prune577.0ms (11.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	174	0	174
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	174	4	178

Merged error: 0.0b

Counts

178 → 4

Compiler

Compiled 12705 to 5849 computations (54% saved)

localize35.0ms (0.7%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (fabs.f64 x))
0.6b	(cbrt.f64 (fabs.f64 x))
0.6b	(cbrt.f64 (fabs.f64 x))
1.0b	(sqrt.f64 PI.f64)

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`cbrt-prod_binary64_1544` `add-sqr-sqrt_binary64_1562`
8×	`add-cube-cbrt_binary64_1548` `*-un-lft-identity_binary64_1577`
5×	`pow1_binary64_1519`
4×	`add-exp-log_binary64_1541` `add-log-exp_binary64_1542` `add-cbrt-cube_binary64_1549`
3×	`pow1/3_binary64_1511` `sqrt-prod_binary64_1556`
1×	`sqrt-pow1_binary64_1558` `pow1/2_binary64_1509` `rem-sqrt-square_binary64_1565`

Counts

4 → 46

Calls

4 calls:

2.0ms	(sqrt.f64 PI.f64)
2.0ms	(cbrt.f64 (fabs.f64 x))
1.0ms	(cbrt.f64 (fabs.f64 x))
1.0ms	(cbrt.f64 (fabs.f64 x))

series460.0ms (8.9%)

Counts

4 → 10

Calls

4 calls:

155.0ms	(cbrt.f64 (fabs.f64 x))
154.0ms	(cbrt.f64 (fabs.f64 x))
151.0ms	(cbrt.f64 (fabs.f64 x))
0.0ms	(sqrt.f64 PI.f64)

simplify160.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (140.0ms)

Iter	Nodes	Cost
0	4822	446
1	4822	446

prune149.0ms (2.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	56	0	56
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	56	4	60

Merged error: 0.0b

Counts

60 → 4

Compiler

Compiled 4413 to 1673 computations (62.1% saved)

localize30.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.2b	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
1.0b	(sqrt.f64 PI.f64)
15.4b	(cbrt.f64 (pow.f64 (fabs.f64 x) 9))

rewrite33.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`pow1_binary64_1519`
30×	`add-exp-log_binary64_1541` `add-cbrt-cube_binary64_1549`
17×	`add-sqr-sqrt_binary64_1562`
15×	`prod-exp_binary64_1524` `add-cube-cbrt_binary64_1548` `*-un-lft-identity_binary64_1577` `cbrt-unprod_binary64_1546`
14×	`associate-l_binary64_1637`
9×	`times-frac_binary64_1572` `pow-prod-down_binary64_1500`
7×	`cbrt-prod_binary64_1544`
6×	`pow-plus_binary64_1514` `pow-prod-up_binary64_1499`
4×	`associate-r_binary64_1636` `add-log-exp_binary64_1542`
3×	`div-exp_binary64_1526` `cbrt-undiv_binary64_1547` `unpow-prod-down_binary64_1508` `sqrt-prod_binary64_1556`
2×	`pow-sqr_binary64_1610` `*-commutative_binary64_1645` `pow2_binary64_1510`
1×	`sqrt-pow1_binary64_1558` `sqr-pow_binary64_1609` `pow1/2_binary64_1509` `pow1/3_binary64_1511` `pow3_binary64_1512` `rem-sqrt-square_binary64_1565` `unswap-sqr_binary64_1605` `associate-*l/_binary64_1639` `div-inv_binary64_1578`

Counts

4 → 94

Calls

4 calls:

17.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
7.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
3.0ms	(cbrt.f64 (pow.f64 (fabs.f64 x) 9))
2.0ms	(sqrt.f64 PI.f64)

series189.0ms (3.6%)

Counts

4 → 10

Calls

4 calls:

78.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
56.0ms	(cbrt.f64 (pow.f64 (fabs.f64 x) 9))
54.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.0ms	(sqrt.f64 PI.f64)

simplify147.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (117.0ms)

Iter	Nodes	Cost
0	4892	951
1	4892	951

prune303.0ms (5.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	104	4	108

Merged error: 0.0b

Counts

108 → 4

Compiler

Compiled 6628 to 3298 computations (50.2% saved)

regimes44.0ms (0.8%)

Compiler: Compiled 482 to 282 computations (41.5% saved)

bsearch0.0ms (0%)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	51	106
1	51	106

end0.0ms (0%)

sample1.2s (22.8%)

Algorithm

1×

intervals

Results

722.0ms	8000×	body	80	valid
101.0ms	8002×	pre	80	true
0.0ms	2×	body	80	invalid

Compiler

Compiled 372 to 206 computations (44.6% saved)

Details

analyze9.0ms (0.2%)

sample35.0ms (0.7%)

simplify672.0ms (13%)

prune7.0ms (0.1%)

localize25.0ms (0.5%)

rewrite39.0ms (0.8%)

series201.0ms (3.9%)

simplify115.0ms (2.2%)

prune327.0ms (6.3%)

localize31.0ms (0.6%)

rewrite36.0ms (0.7%)

series262.0ms (5%)

simplify100.0ms (1.9%)

prune577.0ms (11.1%)

localize35.0ms (0.7%)

rewrite7.0ms (0.1%)

series460.0ms (8.9%)

simplify160.0ms (3.1%)

prune149.0ms (2.9%)

localize30.0ms (0.6%)

rewrite33.0ms (0.6%)

series189.0ms (3.6%)

simplify147.0ms (2.8%)

prune303.0ms (5.8%)

regimes44.0ms (0.8%)

bsearch0.0ms (0%)

simplify6.0ms (0.1%)

end0.0ms (0%)

sample1.2s (22.8%)

Profiling