Details

analyze4.0ms (0.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
62.5%	12.5%	25%	5
62.5%	6.2%	31.3%	6
65.6%	3.1%	31.3%	7
65.6%	1.6%	32.8%	8
66.4%	0.8%	32.8%	9
66.4%	0.4%	33.2%	10
66.6%	0.2%	33.2%	11
66.6%	0.1%	33.3%	12
66.6%	0%	33.3%	13
66.6%	0%	33.3%	14

Compiler

Compiled 12 to 9 computations (25% saved)

sample12.0ms (1.1%)

Algorithm

1×

intervals

Results

7.0ms

256×

body

valid

Compiler

Compiled 23 to 18 computations (21.7% saved)

simplify170.0ms (15.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (161.0ms)

Iter	Nodes	Cost
0	4761	13
1	4761	13

prune6.0ms (0.5%)

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 29 to 24 computations (17.2% saved)

localize6.0ms (0.5%)

Local error

Found 1 expressions with local error:

0.1b	(*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))

rewrite8.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`associate-r_binary64` `add-sqr-sqrt_binary64`
6×	`add-exp-log_binary64`
5×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
4×	`unswap-sqr_binary64` `unpow-prod-down_binary64` `cube-prod_binary64`
3×	`add-cbrt-cube_binary64` `associate-l_binary64` `prod-exp_binary64`
2×	`sqr-pow_binary64`
1×	`pow-to-exp_binary64` `add-log-exp_binary64` `pow1_binary64` `cbrt-unprod_binary64` `pow-exp_binary64` `unpow3_binary64` `*-commutative_binary64` `cube-mult_binary64`

Counts

1 → 31

Calls

1 calls:

7.0ms

(*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))

series5.0ms (0.5%)

Counts

1 → 3

Calls

1 calls:

5.0ms

(*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))

simplify92.0ms (8.4%)

Algorithm

1×	egg-herbie

Counts

34 → 34

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5616	305

prune30.0ms (2.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Merged error: 0b

Counts

36 → 3

Compiler

Compiled 461 to 344 computations (25.4% saved)

localize7.0ms (0.6%)

Local error

Found 1 expressions with local error:

0.1b	(.f64 (.f64 4647935950575487/36028797018963968 x) (*.f64 x x))

rewrite9.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
1×	`-un-lft-identity_binary64` `add-log-exp_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `associate-l_binary64` `add-sqr-sqrt_binary64` `-commutative_binary64`

Counts

1 → 22

Calls

1 calls:

8.0ms

(*.f64 (*.f64 4647935950575487/36028797018963968 x) (*.f64 x x))

series5.0ms (0.4%)

Counts

1 → 3

Calls

1 calls:

5.0ms

(*.f64 (*.f64 4647935950575487/36028797018963968 x) (*.f64 x x))

simplify95.0ms (8.6%)

Algorithm

1×	egg-herbie

Counts

25 → 25

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	5013	196

prune16.0ms (1.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	25	0	25
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	25	3	28

Merged error: 0b

Counts

28 → 3

Compiler

Compiled 296 to 230 computations (22.3% saved)

localize6.0ms (0.6%)

Local error

Found 2 expressions with local error:

0.1b	(.f64 (.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)
0.1b	(.f64 4647935950575487/36028797018963968 (.f64 x x))

rewrite15.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
5×	`add-sqr-sqrt_binary64`
4×	`-un-lft-identity_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `associate-l*_binary64`
2×	`add-log-exp_binary64` `*-commutative_binary64`
1×	`unswap-sqr_binary64`

Counts

2 → 40

Calls

2 calls:

8.0ms	(.f64 (.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)
6.0ms	(.f64 4647935950575487/36028797018963968 (.f64 x x))

series8.0ms (0.7%)

Counts

2 → 6

Calls

2 calls:

4.0ms	(.f64 (.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)
4.0ms	(.f64 4647935950575487/36028797018963968 (.f64 x x))

simplify85.0ms (7.7%)

Algorithm

1×	egg-herbie

Counts

46 → 46

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4969	377
1	4969	377

prune26.0ms (2.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	46	0	46
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	46	3	49

Merged error: 0b

Counts

49 → 3

Compiler

Compiled 584 to 405 computations (30.7% saved)

regimes18.0ms (1.6%)

Compiler: Compiled 33 to 26 computations (21.2% saved)

bsearch0.0ms (0%)

simplify7.0ms (0.6%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	56	16
1	56	16

end0.0ms (0%)

sample475.0ms (43.1%)

Algorithm

1×

intervals

Results

230.0ms

8000×

body

valid

Compiler

Compiled 54 to 42 computations (22.2% saved)

Details

analyze4.0ms (0.3%)

sample12.0ms (1.1%)

simplify170.0ms (15.4%)

prune6.0ms (0.5%)

localize6.0ms (0.5%)

rewrite8.0ms (0.7%)

series5.0ms (0.5%)

simplify92.0ms (8.4%)

prune30.0ms (2.7%)

localize7.0ms (0.6%)

rewrite9.0ms (0.8%)

series5.0ms (0.4%)

simplify95.0ms (8.6%)

prune16.0ms (1.5%)

localize6.0ms (0.6%)

rewrite15.0ms (1.4%)

series8.0ms (0.7%)

simplify85.0ms (7.7%)

prune26.0ms (2.3%)

regimes18.0ms (1.6%)

bsearch0.0ms (0%)

simplify7.0ms (0.6%)

end0.0ms (0%)

sample475.0ms (43.1%)

Profiling