Details

analyze278.0ms (5.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
50%	50%	0%	3
62.5%	37.5%	0%	4
68.7%	31.2%	0%	5
71.8%	28.1%	0%	6
73.4%	26.5%	0%	7
74.2%	25.8%	0%	8
74.6%	25.4%	0%	9
74.8%	25.2%	0%	10
74.9%	25.1%	0%	11
74.9%	25%	0%	12
74.9%	25%	0%	13
75%	25%	0%	14

Compiler

Compiled 10 to 8 computations (20% saved)

sample66.0ms (1.4%)

Algorithm

1×

intervals

Results

29.0ms	76×	body	1024	valid
15.0ms	44×	body	2048	valid
10.0ms	44×	body	512	valid
3.0ms	68×	body	128	valid
3.0ms	22×	body	256	valid
1.0ms	2×	body	4096	valid

Compiler

Compiled 19 to 16 computations (15.8% saved)

simplify88.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	11	14
1	11	14

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

Merged error: 54.1b

Counts

2 → 1

Compiler

Compiled 18 to 14 computations (22.2% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.4b	(+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
3.6b	(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
15.4b	(sqrt.f64 (+.f64 (*.f64 x x) 1))

rewrite24.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`*-un-lft-identity_binary64_3488`
6×	`add-sqr-sqrt_binary64_3510`
5×	`add-cube-cbrt_binary64_3523` `add-log-exp_binary64_3527` `pow1_binary64_3549`
4×	`add-exp-log_binary64_3526` `log-prod_binary64_3574`
3×	`add-cbrt-cube_binary64_3524` `flip-+_binary64_3462` `flip3-+_binary64_3491` `sqrt-prod_binary64_3504`
2×	`distribute-lft-out_binary64_3439` `sqrt-div_binary64_3505` `log-div_binary64_3575`
1×	`rem-log-exp_binary64_3529` `log-pow_binary64_3577` `+-commutative_binary64_3418` `pow1/2_binary64_3568` `sqrt-pow1_binary64_3506` `sum-log_binary64_3579` `rem-sqrt-square_binary64_3501`

Counts

3 → 42

Calls

3 calls:

10.0ms	(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
6.0ms	(+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
5.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))

series93.0ms (1.9%)

Counts

3 → 9

Calls

3 calls:

48.0ms	(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
27.0ms	(+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
18.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))

simplify59.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5224	862

prune70.0ms (1.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	47	4	51
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	48	4	52

Merged error: 0.0b

Counts

52 → 4

Compiler

Compiled 822 to 544 computations (33.8% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.1b	(*.f64 3/40 (pow.f64 x 5))
0.1b	(*.f64 (pow.f64 x 3) 1/6)
19.2b	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))

rewrite22.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64_3510`
15×	`associate-l_binary64_3429`
13×	`add-exp-log_binary64_3526`
10×	`associate-r_binary64_3428` `add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
8×	`unpow-prod-down_binary64_3567` `add-log-exp_binary64_3527`
7×	`unswap-sqr_binary64_3456` `add-cbrt-cube_binary64_3524`
6×	`prod-exp_binary64_3537`
4×	`cube-prod_binary64_3516` `sqr-pow_binary64_3460`
3×	`pow1_binary64_3549`
2×	`pow-exp_binary64_3556` `diff-log_binary64_3580` `cbrt-unprod_binary64_3521` `pow-to-exp_binary64_3557` `*-commutative_binary64_3419`
1×	`unpow3_binary64_3554` `flip3--_binary64_3492` `cancel-sign-sub-inv_binary64_3454` `flip--_binary64_3463` `cube-mult_binary64_3518` `associate--l+_binary64_3425` `sum-log_binary64_3579` `sub-neg_binary64_3481`

Counts

3 → 70

Calls

3 calls:

6.0ms	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))
6.0ms	(*.f64 (pow.f64 x 3) 1/6)
5.0ms	(*.f64 3/40 (pow.f64 x 5))

series81.0ms (1.7%)

Counts

3 → 9

Calls

3 calls:

29.0ms	(*.f64 3/40 (pow.f64 x 5))
28.0ms	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))
24.0ms	(*.f64 (pow.f64 x 3) 1/6)

simplify71.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5018	1015

prune91.0ms (1.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	77	2	79
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	77	6	83

Merged error: 0.0b

Counts

83 → 6

Compiler

Compiled 1545 to 1199 computations (22.4% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

10.8b	(cbrt.f64 (-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6)))
19.2b	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))
19.2b	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))
19.2b	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))

rewrite32.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-log-exp_binary64_3527`
6×	`diff-log_binary64_3580`
5×	`add-sqr-sqrt_binary64_3510` `add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
4×	`flip3--_binary64_3492` `add-cbrt-cube_binary64_3524` `add-exp-log_binary64_3526` `flip--_binary64_3463` `pow1_binary64_3549`
3×	`cbrt-prod_binary64_3519` `cancel-sign-sub-inv_binary64_3454` `associate--l+_binary64_3425` `sum-log_binary64_3579` `sub-neg_binary64_3481`
2×	`cbrt-div_binary64_3520`
1×	`pow1/3_binary64_3570`

Counts

4 → 55

Calls

4 calls:

6.0ms	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))
6.0ms	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))
6.0ms	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))
5.0ms	(cbrt.f64 (-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6)))

series148.0ms (3%)

Counts

4 → 12

Calls

4 calls:

67.0ms	(cbrt.f64 (-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6)))
27.0ms	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))
27.0ms	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))
26.0ms	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))

simplify81.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4924	1714
1	4924	1714

prune199.0ms (4.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	66	1	67
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	67	6	73

Merged error: 0.0b

Counts

73 → 6

Compiler

Compiled 3600 to 2880 computations (20% saved)

localize22.0ms (0.4%)

Local error

Found 4 expressions with local error:

19.2b	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))
19.2b	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))
19.2b	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))
19.2b	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))

rewrite35.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-log-exp_binary64_3527`
8×	`diff-log_binary64_3580`
4×	`flip3--_binary64_3492` `add-cbrt-cube_binary64_3524` `add-sqr-sqrt_binary64_3510` `add-exp-log_binary64_3526` `cancel-sign-sub-inv_binary64_3454` `add-cube-cbrt_binary64_3523` `flip--_binary64_3463` `associate--l+_binary64_3425` `sum-log_binary64_3579` `*-un-lft-identity_binary64_3488` `pow1_binary64_3549` `sub-neg_binary64_3481`

Counts

4 → 56

Calls

4 calls:

6.0ms	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))
6.0ms	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))
6.0ms	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))
6.0ms	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))

series111.0ms (2.3%)

Counts

4 → 12

Calls

4 calls:

29.0ms	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))
28.0ms	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))
27.0ms	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))
26.0ms	(-.f64 (+.f64 x (.f64 3/40 (pow.f64 x 5))) (.f64 (pow.f64 x 3) 1/6))

simplify103.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4970	1660
1	4970	1660

prune325.0ms (6.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	68	6	74

Merged error: 0.0b

Counts

74 → 6

Compiler

Compiled 5700 to 4601 computations (19.3% saved)

regimes205.0ms (4.2%)

Compiler: Compiled 1859 to 1475 computations (20.7% saved)

bsearch38.0ms (0.8%)

Steps

Iters	Range		Point
9	0.008726031102784047	8103.863490779595	0.9624719285935286
9	-543244.2104689342	-0.09076393340788667	-1.047126358664851

Compiler

Compiled 1 to 1 computations (0% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	117	76
1	117	76

end0.0ms (0%)

sample2.6s (53.5%)

Algorithm

1×

intervals

Results

925.0ms	2535×	body	1024	valid
405.0ms	1210×	body	2048	valid
258.0ms	1218×	body	512	valid
116.0ms	2362×	body	128	valid
77.0ms	626×	body	256	valid
22.0ms	49×	body	4096	valid

Compiler

Compiled 662 to 525 computations (20.7% saved)

Details

analyze278.0ms (5.7%)

sample66.0ms (1.4%)

simplify88.0ms (1.8%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite24.0ms (0.5%)

series93.0ms (1.9%)

simplify59.0ms (1.2%)

prune70.0ms (1.4%)

localize8.0ms (0.2%)

rewrite22.0ms (0.4%)

series81.0ms (1.7%)

simplify71.0ms (1.5%)

prune91.0ms (1.8%)

localize13.0ms (0.3%)

rewrite32.0ms (0.7%)

series148.0ms (3%)

simplify81.0ms (1.7%)

prune199.0ms (4.1%)

localize22.0ms (0.4%)

rewrite35.0ms (0.7%)

series111.0ms (2.3%)

simplify103.0ms (2.1%)

prune325.0ms (6.6%)

regimes205.0ms (4.2%)

bsearch38.0ms (0.8%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample2.6s (53.5%)

Profiling