Details

analyze570.0ms (11.3%)

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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
25%	74.9%	0.1%	8
31.2%	64%	4.8%	9
31.2%	42.1%	26.7%	10
35.9%	37.1%	27.1%	11
38.2%	32.2%	29.6%	12
47.8%	21.6%	30.6%	13
50.2%	19%	30.8%	14

Compiler

Compiled 16 to 9 computations (43.8% saved)

sample30.0ms (0.6%)

Algorithm

1×

intervals

Results

15.0ms	256×	body	128	valid
1.0ms	18×	body	128	invalid

Compiler

Compiled 31 to 20 computations (35.5% saved)

simplify159.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	41	13
1	41	13

prune8.0ms (0.2%)

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 33 to 24 computations (27.3% saved)

localize13.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.1b	(.f64 z (.f64 z 3))

rewrite13.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`pow1_binary64_11733` `add-exp-log_binary64_11710` `add-cbrt-cube_binary64_11708`
3×	`cbrt-unprod_binary64_11705` `prod-exp_binary64_11721` `pow-prod-down_binary64_11743` `associate-l_binary64_11613`
2×	`add-cube-cbrt_binary64_11707` `add-sqr-sqrt_binary64_11694` `*-un-lft-identity_binary64_11672`
1×	`associate-r_binary64_11612` `add-log-exp_binary64_11711` `*-commutative_binary64_11603`

Counts

1 → 18

Calls

1 calls:

11.0ms

(*.f64 z (*.f64 z 3))

series40.0ms (0.8%)

Counts

1 → 3

Calls

1 calls:

40.0ms

(*.f64 z (*.f64 z 3))

simplify118.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 0 (104.0ms)

Iter	Nodes	Cost
0	4830	166
1	4830	166

prune34.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	20	1	21
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	20	3	23

Merged error: 0.0b

Counts

23 → 3

Compiler

Compiled 274 to 154 computations (43.8% saved)

localize15.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (+.f64 (.f64 x y) (.f64 z z)) (*.f64 z z))
0.1b	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z z)) (.f64 z z)) (.f64 z z))

rewrite35.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-log-exp_binary64_11711`
9×	`sum-log_binary64_11763`
2×	`pow1_binary64_11733` `add-cube-cbrt_binary64_11707` `associate-+l+_binary64_11605` `flip-+_binary64_11646` `flip3-+_binary64_11675` `+-commutative_binary64_11602` `add-sqr-sqrt_binary64_11694` `*-un-lft-identity_binary64_11672` `add-exp-log_binary64_11710` `add-cbrt-cube_binary64_11708`

Counts

2 → 27

Calls

2 calls:

18.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z z)) (.f64 z z)) (.f64 z z))
13.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z z)) (*.f64 z z))

series148.0ms (2.9%)

Counts

2 → 6

Calls

2 calls:

83.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z z)) (.f64 z z)) (.f64 z z))
65.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z z)) (*.f64 z z))

simplify169.0ms (3.3%)

Algorithm

1×	egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 0 (148.0ms)

Iter	Nodes	Cost
0	4860	565
1	4860	565

prune44.0ms (0.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	32	1	33
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	32	4	36

Merged error: 0.0b

Counts

36 → 4

Compiler

Compiled 604 to 157 computations (74% saved)

localize21.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)

rewrite34.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_11703`
23×	`add-sqr-sqrt_binary64_11694`
15×	`add-cube-cbrt_binary64_11707` `*-un-lft-identity_binary64_11672`
11×	`pow1_binary64_11733`
9×	`pow1/3_binary64_11754`
6×	`associate-r_binary64_11612` `add-exp-log_binary64_11710` `swap-sqr_binary64_11639` `associate-l_binary64_11613`
4×	`add-log-exp_binary64_11711` `unswap-sqr_binary64_11640` `add-cbrt-cube_binary64_11708`
2×	`pow-sqr_binary64_11645` `pow-prod-up_binary64_11742` `pow-prod-down_binary64_11743`
1×	`cbrt-unprod_binary64_11705` `pow2_binary64_11753` `prod-exp_binary64_11721` `*-commutative_binary64_11603` `pow-plus_binary64_11735`

Counts

4 → 73

Calls

4 calls:

17.0ms	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
2.0ms	(cbrt.f64 z)
2.0ms	(cbrt.f64 z)
2.0ms	(cbrt.f64 z)

series616.0ms (12.2%)

Counts

4 → 12

Calls

4 calls:

170.0ms	(cbrt.f64 z)
165.0ms	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
154.0ms	(cbrt.f64 z)
127.0ms	(cbrt.f64 z)

simplify113.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4892	563
1	4892	563

prune137.0ms (2.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	83	2	85
Fresh	1	0	1
Picked	0	1	1
Done	0	2	2
Total	84	5	89

Merged error: 0b

Counts

89 → 5

Compiler

Compiled 1631 to 689 computations (57.8% saved)

localize33.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
0.7b	(cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
0.9b	(pow.f64 (cbrt.f64 (cbrt.f64 z)) 4)

rewrite30.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`cbrt-prod_binary64_11703`
10×	`add-cube-cbrt_binary64_11707` `add-sqr-sqrt_binary64_11694` `*-un-lft-identity_binary64_11672`
9×	`unpow-prod-down_binary64_11751`
5×	`pow1_binary64_11733` `add-exp-log_binary64_11710`
4×	`add-log-exp_binary64_11711` `pow1/3_binary64_11754` `add-cbrt-cube_binary64_11708`
3×	`pow-unpow_binary64_11749`
2×	`pow-pow_binary64_11744`
1×	`pow-exp_binary64_11740` `pow-to-exp_binary64_11741` `sqr-pow_binary64_11644`

Counts

4 → 55

Calls

4 calls:

8.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 z)) 4)
8.0ms	(cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
2.0ms	(cbrt.f64 z)
2.0ms	(cbrt.f64 z)

series872.0ms (17.2%)

Counts

4 → 12

Calls

4 calls:

317.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 z)) 4)
262.0ms	(cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
151.0ms	(cbrt.f64 z)
141.0ms	(cbrt.f64 z)

simplify149.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (125.0ms)

Iter	Nodes	Cost
0	4827	561
1	4827	561

prune137.0ms (2.7%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	67	0	67
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	67	5	72

Merged error: 0b

Counts

72 → 5

Compiler

Compiled 1744 to 759 computations (56.5% saved)

regimes278.0ms (5.5%)

Compiler: Compiled 1146 to 818 computations (28.6% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	13
1	13	13

end0.0ms (0%)

sample1.2s (24.6%)

Algorithm

1×

intervals

Results

469.0ms	8000×	body	128	valid
27.0ms	489×	body	128	invalid

Compiler

Compiled 212 to 152 computations (28.3% saved)

Details

analyze570.0ms (11.3%)

sample30.0ms (0.6%)

simplify159.0ms (3.1%)

prune8.0ms (0.2%)

localize13.0ms (0.2%)

rewrite13.0ms (0.3%)

series40.0ms (0.8%)

simplify118.0ms (2.3%)

prune34.0ms (0.7%)

localize15.0ms (0.3%)

rewrite35.0ms (0.7%)

series148.0ms (2.9%)

simplify169.0ms (3.3%)

prune44.0ms (0.9%)

localize21.0ms (0.4%)

rewrite34.0ms (0.7%)

series616.0ms (12.2%)

simplify113.0ms (2.2%)

prune137.0ms (2.7%)

localize33.0ms (0.6%)

rewrite30.0ms (0.6%)

series872.0ms (17.2%)

simplify149.0ms (2.9%)

prune137.0ms (2.7%)

regimes278.0ms (5.5%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.2s (24.6%)

Profiling