Details

analyze32.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

Compiler

Compiled 8 to 8 computations (0% saved)

sample455.0ms (0.3%)

Algorithm

1×

intervals

Results

423.0ms	256×	body	128	valid
11.0ms	256×	pre	128	true

Compiler

Compiled 51 to 43 computations (15.7% saved)

simplify452.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (170.0ms)

Iter	Nodes	Cost
0	4915	64
1	4915	64

prune13.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 58.1b

Counts

2 → 1

Compiler

Compiled 86 to 66 computations (23.3% saved)

localize168.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b	(-.f64 (.f64 (.f64 (.f64 (.f64 11 x) x) y) y) (pow.f64 y 6))
1.0b	(+.f64 (+.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 11 x) x) y) y) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (.f64 11/2 (pow.f64 y 8))) (/.f64 x (.f64 2 y)))
1.0b	(*.f64 11/2 (pow.f64 y 8))
62.0b	(+.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 11 x) x) y) y) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8)))

rewrite270.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-log-exp_binary64`
14×	`add-sqr-sqrt_binary64`
11×	`*-un-lft-identity_binary64`
9×	`add-cube-cbrt_binary64` `add-exp-log_binary64` `sum-log_binary64`
7×	`associate-r_binary64` `cancel-sign-sub-inv_binary64` `unpow-prod-down_binary64`
6×	`add-cbrt-cube_binary64`
4×	`pow1_binary64`
3×	`flip3-+_binary64` `sqr-pow_binary64` `associate-l_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `flip-+_binary64`
2×	`frac-add_binary64` `associate-+l+_binary64` `+-commutative_binary64`
1×	`pow-to-exp_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `distribute-lft-out_binary64` `flip--_binary64` `pow-exp_binary64` `*-commutative_binary64`

Counts

4 → 73

Calls

4 calls:

90.0ms	(+.f64 (+.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 11 x) x) y) y) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (.f64 11/2 (pow.f64 y 8))) (/.f64 x (.f64 2 y)))
79.0ms	(+.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 11 x) x) y) y) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8)))
36.0ms	(-.f64 (.f64 (.f64 (.f64 (.f64 11 x) x) y) y) (pow.f64 y 6))
23.0ms	(*.f64 11/2 (pow.f64 y 8))

series1.3s (1%)

Counts

4 → 12

Calls

4 calls:

543.0ms	(+.f64 (+.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 11 x) x) y) y) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (.f64 11/2 (pow.f64 y 8))) (/.f64 x (.f64 2 y)))
463.0ms	(+.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 11 x) x) y) y) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8)))
184.0ms	(-.f64 (.f64 (.f64 (.f64 (.f64 11 x) x) y) y) (pow.f64 y 6))
110.0ms	(*.f64 11/2 (pow.f64 y 8))

simplify149.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5714	3465

prune1.4s (1.1%)

Pruning

30 alts after pruning (29 fresh and 1 done)

	Pruned	Kept	Total
New	56	29	85
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	56	30	86

Merged error: 57.1b

Counts

86 → 30

Compiler

Compiled 6713 to 4842 computations (27.9% saved)

localize24.0ms (0%)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify18.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	0	0

prune288.0ms (0.2%)

Pruning

30 alts after pruning (28 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	28	28
Picked	1	1
Done	1	1
Total	30	30

Merged error: 57.1b

Counts

30 → 30

Compiler

Compiled 2088 to 1567 computations (25% saved)

localize80.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b	(.f64 (+.f64 (.f64 121/4 (pow.f64 y 16)) (.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (-.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (.f64 11/2 (pow.f64 y 8))))) (*.f64 y 2))
1.6b	(pow.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) 3)
1.6b	(pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3)
62.3b	(+.f64 (pow.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) 3) (pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3))

rewrite154.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-exp-log_binary64`
13×	`add-cbrt-cube_binary64`
11×	`*-un-lft-identity_binary64` `pow1_binary64`
9×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
6×	`pow-unpow_binary64` `add-log-exp_binary64` `prod-exp_binary64` `pow-exp_binary64`
4×	`cbrt-unprod_binary64` `unpow-prod-down_binary64` `cube-prod_binary64`
3×	`pow-to-exp_binary64` `pow-prod-down_binary64` `flip3-+_binary64` `associate-l_binary64` `rem-cube-cbrt_binary64` `flip-+_binary64`
2×	`pow-pow_binary64` `sqr-pow_binary64` `cube-div_binary64` `unpow3_binary64` `associate-*l/_binary64` `cube-mult_binary64`
1×	`distribute-lft-out_binary64` `associate-r_binary64` `sum-cubes_binary64` `+-commutative_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

4 → 81

Calls

4 calls:

30.0ms	(+.f64 (pow.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) 3) (pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3))
18.0ms	(.f64 (+.f64 (.f64 121/4 (pow.f64 y 16)) (.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (-.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (.f64 11/2 (pow.f64 y 8))))) (*.f64 y 2))
12.0ms	(pow.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) 3)
9.0ms	(pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3)

series4.9s (3.7%)

Counts

4 → 12

Calls

4 calls:

2.6s	(+.f64 (pow.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) 3) (pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3))
1.1s	(.f64 (+.f64 (.f64 121/4 (pow.f64 y 16)) (.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (-.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (.f64 11/2 (pow.f64 y 8))))) (*.f64 y 2))
1.0s	(pow.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) 3)
121.0ms	(pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3)

simplify360.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (190.0ms)

Iter	Nodes	Cost
0	4910	5532
1	4910	5532

prune4.6s (3.5%)

Pruning

60 alts after pruning (57 fresh and 3 done)

	Pruned	Kept	Total
New	63	30	93
Fresh	0	27	27
Picked	0	1	1
Done	0	2	2
Total	63	60	123

Merged error: 57.1b

Counts

123 → 60

Compiler

Compiled 29413 to 21221 computations (27.9% saved)

localize100.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b	(.f64 (+.f64 (.f64 121/4 (pow.f64 y 16)) (.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (-.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (.f64 11/2 (pow.f64 y 8))))) (*.f64 y 2))
1.0b	(.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (pow.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) 2))
1.6b	(pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3)
62.3b	(+.f64 (.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (pow.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) 2)) (pow.f64 (.f64 11/2 (pow.f64 y 8)) 3))

rewrite203.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-exp-log_binary64`
15×	`add-sqr-sqrt_binary64`
14×	`add-cbrt-cube_binary64`
11×	`pow1_binary64`
9×	`-un-lft-identity_binary64` `associate-r*_binary64` `add-cube-cbrt_binary64` `prod-exp_binary64`
6×	`add-log-exp_binary64` `associate-l_binary64` `pow-exp_binary64`
5×	`cbrt-unprod_binary64` `unpow-prod-down_binary64`
4×	`unpow2_binary64` `unswap-sqr_binary64` `associate-*l/_binary64`
3×	`pow-to-exp_binary64` `pow-prod-down_binary64` `flip3-+_binary64` `pow-unpow_binary64` `sqr-pow_binary64` `flip-+_binary64`
2×	`cube-unmult_binary64` `rem-cube-cbrt_binary64` `*-commutative_binary64`
1×	`pow-prod-up_binary64` `pow-pow_binary64` `sum-cubes_binary64` `cube-prod_binary64` `+-commutative_binary64` `unpow3_binary64` `sum-log_binary64` `cube-mult_binary64`

Counts

4 → 86

Calls

4 calls:

41.0ms	(+.f64 (.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (pow.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) 2)) (pow.f64 (.f64 11/2 (pow.f64 y 8)) 3))
33.0ms	(.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (pow.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) 2))
19.0ms	(.f64 (+.f64 (.f64 121/4 (pow.f64 y 16)) (.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (-.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (.f64 11/2 (pow.f64 y 8))))) (*.f64 y 2))
10.0ms	(pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3)

series4.9s (3.7%)

Counts

4 → 12

Calls

4 calls:

2.6s	(+.f64 (.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (pow.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) 2)) (pow.f64 (.f64 11/2 (pow.f64 y 8)) 3))
1.4s	(.f64 (+.f64 (.f64 121/4 (pow.f64 y 16)) (.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (-.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (.f64 11/2 (pow.f64 y 8))))) (*.f64 y 2))
775.0ms	(.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (pow.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) 2))
110.0ms	(pow.f64 (*.f64 11/2 (pow.f64 y 8)) 3)

simplify440.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (219.0ms)

Iter	Nodes	Cost
0	4911	5917
1	4911	5917

prune5.4s (4%)

Pruning

83 alts after pruning (79 fresh and 4 done)

	Pruned	Kept	Total
New	72	26	98
Fresh	3	53	56
Picked	0	1	1
Done	0	3	3
Total	75	83	158

Merged error: 57.1b

Counts

158 → 83

Compiler

Compiled 23587 to 16823 computations (28.7% saved)

regimes9.6s (7.2%)

Compiler: Compiled 73527 to 53718 computations (26.9% saved)

bsearch38.0s (28.5%)

simplify29.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	16
1	13	16

end0.0ms (0%)

sample59.7s (44.8%)

Algorithm

1×

intervals

Results

305.0ms	8000×	pre	128	true
145.0ms	8000×	body	128	valid

Compiler

Compiled 25398 to 18555 computations (26.9% saved)

Pareto

0.8544299991276993

Details

analyze32.0ms (0%)

sample455.0ms (0.3%)

simplify452.0ms (0.3%)

prune13.0ms (0%)

localize168.0ms (0.1%)

rewrite270.0ms (0.2%)

series1.3s (1%)

simplify149.0ms (0.1%)

prune1.4s (1.1%)

localize24.0ms (0%)

rewrite1.0ms (0%)

series0.0ms (0%)

simplify18.0ms (0%)

prune288.0ms (0.2%)

localize80.0ms (0.1%)

rewrite154.0ms (0.1%)

series4.9s (3.7%)

simplify360.0ms (0.3%)

prune4.6s (3.5%)

localize100.0ms (0.1%)

rewrite203.0ms (0.2%)

series4.9s (3.7%)

simplify440.0ms (0.3%)

prune5.4s (4%)

regimes9.6s (7.2%)

bsearch38.0s (28.5%)

simplify29.0ms (0%)

end0.0ms (0%)

sample59.7s (44.8%)

Profiling