Details

analyze3.0ms (0%)

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
68.7%	6.2%	25%	6
71.8%	3.1%	25%	7
73.4%	1.6%	25%	8
74.2%	0.8%	25%	9
74.6%	0.4%	25%	10
74.8%	0.2%	25%	11
74.9%	0.1%	25%	12
74.9%	0%	25%	13
74.9%	0%	25%	14

Compiler

Compiled 6 to 5 computations (16.7% saved)

sample9.0ms (0%)

Algorithm

1×

intervals

Results

4.0ms

256×

body

128

valid

Compiler

Compiled 11 to 10 computations (9.1% saved)

simplify99.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	105	7
1	105	7

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

Error

0.0b

Counts

2 → 1

Compiler

Compiled 5 to 4 computations (20% saved)

localize3.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 x (-.f64 x 1))
0.0b	(*.f64 x (-.f64 x 1))

rewrite10.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_14763`
8×	`*-un-lft-identity_binary64_14741`
7×	`associate-r_binary64_14681`
6×	`cancel-sign-sub-inv_binary64_14707`
5×	`add-cube-cbrt_binary64_14776`
4×	`distribute-lft-in_binary64_14690` `distribute-rgt-in_binary64_14691`
3×	`add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777` `associate-l_binary64_14682` `pow1_binary64_14802`
2×	`associate-*r/_binary64_14683` `sub-neg_binary64_14734` `difference-of-squares_binary64_14710`
1×	`unswap-sqr_binary64_14709` `distribute-lft-out--_binary64_14693` `cbrt-unprod_binary64_14774` `pow-prod-down_binary64_14812` `add-log-exp_binary64_14780` `difference-of-sqr-1_binary64_14711` `*-commutative_binary64_14672` `prod-exp_binary64_14790` `flip--_binary64_14716` `flip3--_binary64_14745`

Counts

1 → 32

Calls

2 calls:

8.0ms	(*.f64 x (-.f64 x 1))
0.0ms	(*.f64 x (-.f64 x 1))

series33.0ms (0.1%)

Counts

1 → 6

Calls

1 calls:

33.0ms

(*.f64 x (-.f64 x 1))

Compiler

Compiled 39 to 33 computations (15.4% saved)

simplify72.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	5004	299

prune90.0ms (0.2%)

Pruning

20 alts after pruning (19 fresh and 1 done)

	Pruned	Kept	Total
New	19	19	38
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	19	20	39

Error

Counts

39 → 20

Compiler

Compiled 390 to 276 computations (29.2% saved)

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (*.f64 x x) (neg.f64 x))
0.0b	(+.f64 (*.f64 x x) (neg.f64 x))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-log-exp_binary64_14780`
2×	`*-un-lft-identity_binary64_14741` `distribute-rgt-out_binary64_14694` `sum-log_binary64_14832`
1×	`neg-sub0_binary64_14736` `unsub-neg_binary64_14735` `add-sqr-sqrt_binary64_14763` `neg-log_binary64_14834` `+-commutative_binary64_14671` `add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777` `flip-+_binary64_14715` `neg-mul-1_binary64_14737` `flip3-+_binary64_14744` `pow1_binary64_14802` `distribute-lft-neg-in_binary64_14698` `add-cube-cbrt_binary64_14776` `associate-+r-_binary64_14675`

Counts

1 → 16

Calls

2 calls:

6.0ms	(+.f64 (*.f64 x x) (neg.f64 x))
0.0ms	(+.f64 (*.f64 x x) (neg.f64 x))

series35.0ms (0.1%)

Counts

1 → 6

Calls

1 calls:

35.0ms

(+.f64 (*.f64 x x) (neg.f64 x))

Compiler

Compiled 39 to 33 computations (15.4% saved)

simplify102.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	4881	180
1	4881	180

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

5.5b	(/.f64 (-.f64 (pow.f64 x 3) x) (+.f64 x 1))
0.0b	(-.f64 (pow.f64 x 3) x)
0.0b	(-.f64 (pow.f64 x 3) x)
5.5b	(/.f64 (-.f64 (pow.f64 x 3) x) (+.f64 x 1))

rewrite29.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`add-sqr-sqrt_binary64_14763`
56×	`*-un-lft-identity_binary64_14741`
36×	`times-frac_binary64_14747`
24×	`difference-of-squares_binary64_14710`
18×	`add-cube-cbrt_binary64_14776`
10×	`distribute-lft-out_binary64_14692`
9×	`associate-/l*_binary64_14686`
6×	`distribute-lft-out--_binary64_14693` `cube-prod_binary64_14769` `unpow3_binary64_14807` `unpow-prod-down_binary64_14820` `sqr-pow_binary64_14713` `distribute-rgt-out--_binary64_14695`
4×	`associate-/r*_binary64_14685` `add-log-exp_binary64_14780` `add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777`
3×	`cancel-sign-sub-inv_binary64_14707`
2×	`associate-/l/_binary64_14688` `associate-/r/_binary64_14687` `flip--_binary64_14716` `flip3--_binary64_14745` `pow1_binary64_14802`
1×	`div-sub_binary64_14746` `frac-2neg_binary64_14752` `div-inv_binary64_14738` `cbrt-undiv_binary64_14775` `div-exp_binary64_14792` `diff-log_binary64_14833` `sub-neg_binary64_14734` `flip-+_binary64_14715` `clear-num_binary64_14740` `flip3-+_binary64_14744`

Counts

2 → 86

Calls

4 calls:

12.0ms	(/.f64 (-.f64 (pow.f64 x 3) x) (+.f64 x 1))
7.0ms	(-.f64 (pow.f64 x 3) x)
0.0ms	(-.f64 (pow.f64 x 3) x)
0.0ms	(/.f64 (-.f64 (pow.f64 x 3) x) (+.f64 x 1))

series112.0ms (0.3%)

Counts

2 → 12

Calls

2 calls:

67.0ms	(/.f64 (-.f64 (pow.f64 x 3) x) (+.f64 x 1))
45.0ms	(-.f64 (pow.f64 x 3) x)

Compiler

Compiled 114 to 93 computations (18.4% saved)

simplify113.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	4930	1669
1	4930	1669

localize6.0ms (0%)

Local error

Found 6 expressions with local error:

40.4b	(cbrt.f64 (pow.f64 (*.f64 x (-.f64 x 1)) 3))
0.1b	(pow.f64 (*.f64 x (-.f64 x 1)) 3)
0.0b	(*.f64 x (-.f64 x 1))
0.0b	(*.f64 x (-.f64 x 1))
0.1b	(pow.f64 (*.f64 x (-.f64 x 1)) 3)
40.4b	(cbrt.f64 (pow.f64 (*.f64 x (-.f64 x 1)) 3))

rewrite22.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_14763`
12×	`*-un-lft-identity_binary64_14741`
9×	`add-cube-cbrt_binary64_14776`
8×	`add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777` `cbrt-prod_binary64_14772` `pow1_binary64_14802`
7×	`associate-r_binary64_14681`
6×	`cancel-sign-sub-inv_binary64_14707` `associate-*r/_binary64_14683`
4×	`distribute-lft-in_binary64_14690` `cube-div_binary64_14770` `distribute-rgt-in_binary64_14691`
3×	`pow-unpow_binary64_14818` `add-log-exp_binary64_14780` `associate-l_binary64_14682` `flip--_binary64_14716` `flip3--_binary64_14745`
2×	`cube-mult_binary64_14771` `pow-pow_binary64_14813` `cube-prod_binary64_14769` `cbrt-unprod_binary64_14774` `pow-prod-down_binary64_14812` `rem-cube-cbrt_binary64_14764` `unpow3_binary64_14807` `unpow-prod-down_binary64_14820` `sub-neg_binary64_14734` `sqr-pow_binary64_14713` `prod-exp_binary64_14790` `cbrt-div_binary64_14773` `difference-of-squares_binary64_14710` `pow-exp_binary64_14809`
1×	`pow1/3_binary64_14823` `pow-to-exp_binary64_14810` `unswap-sqr_binary64_14709` `distribute-lft-out--_binary64_14693` `difference-of-sqr-1_binary64_14711` `*-commutative_binary64_14672` `rem-cbrt-cube_binary64_14765`

Counts

3 → 75

Calls

6 calls:

8.0ms	(*.f64 x (-.f64 x 1))
6.0ms	(pow.f64 (*.f64 x (-.f64 x 1)) 3)
2.0ms	(cbrt.f64 (pow.f64 (*.f64 x (-.f64 x 1)) 3))
0.0ms	(*.f64 x (-.f64 x 1))
0.0ms	(pow.f64 (*.f64 x (-.f64 x 1)) 3)

series105.0ms (0.3%)

Counts

3 → 24

Calls

3 calls:

35.0ms	(pow.f64 (*.f64 x (-.f64 x 1)) 3)
35.0ms	(*.f64 x (-.f64 x 1))
34.0ms	(cbrt.f64 (pow.f64 (*.f64 x (-.f64 x 1)) 3))

Compiler

Compiled 257 to 227 computations (11.7% saved)

simplify50.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5013	1002

localize6.0ms (0%)

Local error

Found 6 expressions with local error:

0.1b	(.f64 (sqrt.f64 (.f64 x (-.f64 x 1))) (sqrt.f64 (*.f64 x (-.f64 x 1))))
0.0b	(*.f64 x (-.f64 x 1))
0.0b	(*.f64 x (-.f64 x 1))
0.0b	(*.f64 x (-.f64 x 1))
0.0b	(*.f64 x (-.f64 x 1))
0.1b	(.f64 (sqrt.f64 (.f64 x (-.f64 x 1))) (sqrt.f64 (*.f64 x (-.f64 x 1))))

rewrite39.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

56×	`pow1_binary64_14802`
29×	`add-sqr-sqrt_binary64_14763`
28×	`sqrt-pow1_binary64_14759`
22×	`pow-prod-down_binary64_14812`
21×	`*-un-lft-identity_binary64_14741`
18×	`associate-r/_binary64_14683` `associate-r*_binary64_14681`
15×	`add-cube-cbrt_binary64_14776`
12×	`cancel-sign-sub-inv_binary64_14707` `sqrt-div_binary64_14758`
10×	`associate-l_binary64_14682` `pow1/2_binary64_14821` `pow-prod-up_binary64_14811`
9×	`add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777`
8×	`distribute-lft-in_binary64_14690` `flip--_binary64_14716` `flip3--_binary64_14745` `distribute-rgt-in_binary64_14691`
6×	`pow-sqr_binary64_14714`
4×	`frac-times_binary64_14751` `swap-sqr_binary64_14708` `sub-neg_binary64_14734` `difference-of-squares_binary64_14710` `sqrt-prod_binary64_14757`
3×	`unswap-sqr_binary64_14709` `cbrt-unprod_binary64_14774` `add-log-exp_binary64_14780` `*-commutative_binary64_14672` `prod-exp_binary64_14790`
2×	`distribute-lft-out--_binary64_14693` `difference-of-sqr-1_binary64_14711` `associate-*l/_binary64_14684`
1×	`pow2_binary64_14822` `sqrt-unprod_binary64_14761` `pow-plus_binary64_14804` `rem-square-sqrt_binary64_14753`

Counts

3 → 121

Calls

6 calls:

14.0ms	(.f64 (sqrt.f64 (.f64 x (-.f64 x 1))) (sqrt.f64 (*.f64 x (-.f64 x 1))))
7.0ms	(*.f64 x (-.f64 x 1))
7.0ms	(*.f64 x (-.f64 x 1))
0.0ms	(*.f64 x (-.f64 x 1))
0.0ms	(.f64 (sqrt.f64 (.f64 x (-.f64 x 1))) (sqrt.f64 (*.f64 x (-.f64 x 1))))

series105.0ms (0.3%)

Counts

3 → 18

Calls

3 calls:

38.0ms	(.f64 (sqrt.f64 (.f64 x (-.f64 x 1))) (sqrt.f64 (*.f64 x (-.f64 x 1))))
34.0ms	(*.f64 x (-.f64 x 1))
33.0ms	(*.f64 x (-.f64 x 1))

Compiler

Compiled 261 to 207 computations (20.7% saved)

simplify62.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5877	1165

prune2.4s (6.2%)

Pruning

131 alts after pruning (126 fresh and 5 done)

	Pruned	Kept	Total
New	243	115	358
Fresh	3	11	14
Picked	0	0	0
Done	1	5	6
Total	247	131	378

Error

Counts

378 → 131

Compiler

Compiled 4666 to 3372 computations (27.7% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (*.f64 x x) (neg.f64 x))
0.0b	(+.f64 (*.f64 x x) (neg.f64 x))

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-log-exp_binary64_14780`
2×	`*-un-lft-identity_binary64_14741` `distribute-rgt-out_binary64_14694` `sum-log_binary64_14832`
1×	`neg-sub0_binary64_14736` `unsub-neg_binary64_14735` `add-sqr-sqrt_binary64_14763` `neg-log_binary64_14834` `+-commutative_binary64_14671` `add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777` `flip-+_binary64_14715` `neg-mul-1_binary64_14737` `flip3-+_binary64_14744` `pow1_binary64_14802` `distribute-lft-neg-in_binary64_14698` `add-cube-cbrt_binary64_14776` `associate-+r-_binary64_14675`

Counts

1 → 16

Calls

2 calls:

5.0ms	(+.f64 (*.f64 x x) (neg.f64 x))
0.0ms	(+.f64 (*.f64 x x) (neg.f64 x))

series33.0ms (0.1%)

Counts

1 → 6

Calls

1 calls:

33.0ms

(+.f64 (*.f64 x x) (neg.f64 x))

Compiler

Compiled 57 to 51 computations (10.5% saved)

simplify102.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	4881	180
1	4881	180

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize7.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(pow.f64 (*.f64 x (-.f64 x 1)) 2)
0.1b	(.f64 (.f64 x (-.f64 x 1)) (pow.f64 (*.f64 x (-.f64 x 1)) 2))
0.0b	(*.f64 x (-.f64 x 1))
0.0b	(*.f64 x (-.f64 x 1))
0.0b	(*.f64 x (-.f64 x 1))
0.1b	(.f64 (.f64 x (-.f64 x 1)) (pow.f64 (*.f64 x (-.f64 x 1)) 2))
0.1b	(pow.f64 (*.f64 x (-.f64 x 1)) 2)
40.4b	(cbrt.f64 (.f64 (.f64 x (-.f64 x 1)) (pow.f64 (*.f64 x (-.f64 x 1)) 2)))

rewrite42.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`add-exp-log_binary64_14779`
16×	`add-sqr-sqrt_binary64_14763` `prod-exp_binary64_14790`
13×	`-un-lft-identity_binary64_14741` `associate-r*_binary64_14681`
12×	`pow1_binary64_14802`
11×	`add-cbrt-cube_binary64_14777`
10×	`add-cube-cbrt_binary64_14776`
6×	`cancel-sign-sub-inv_binary64_14707` `associate-*r/_binary64_14683` `pow-exp_binary64_14809`
4×	`unpow2_binary64_14806` `cbrt-unprod_binary64_14774` `add-log-exp_binary64_14780` `distribute-lft-in_binary64_14690` `associate-l/_binary64_14684` `associate-l*_binary64_14682` `distribute-rgt-in_binary64_14691`
3×	`pow-to-exp_binary64_14810` `pow-unpow_binary64_14818` `pow-prod-down_binary64_14812` `flip--_binary64_14716` `flip3--_binary64_14745`
2×	`pow-pow_binary64_14813` `cube-unmult_binary64_14778` `unpow-prod-down_binary64_14820` `sub-neg_binary64_14734` `sqr-pow_binary64_14713` `*-commutative_binary64_14672` `cbrt-div_binary64_14773` `difference-of-squares_binary64_14710` `pow-prod-up_binary64_14811`
1×	`pow1/3_binary64_14823` `unswap-sqr_binary64_14709` `distribute-lft-out--_binary64_14693` `difference-of-sqr-1_binary64_14711` `cbrt-prod_binary64_14772` `rem-cbrt-cube_binary64_14765`

Counts

4 → 92

Calls

8 calls:

10.0ms	(.f64 (.f64 x (-.f64 x 1)) (pow.f64 (*.f64 x (-.f64 x 1)) 2))
9.0ms	(pow.f64 (*.f64 x (-.f64 x 1)) 2)
8.0ms	(*.f64 x (-.f64 x 1))
7.0ms	(cbrt.f64 (.f64 (.f64 x (-.f64 x 1)) (pow.f64 (*.f64 x (-.f64 x 1)) 2)))
0.0ms	(*.f64 x (-.f64 x 1))

series173.0ms (0.4%)

Counts

4 → 33

Calls

4 calls:

57.0ms	(pow.f64 (*.f64 x (-.f64 x 1)) 2)
45.0ms	(.f64 (.f64 x (-.f64 x 1)) (pow.f64 (*.f64 x (-.f64 x 1)) 2))
36.0ms	(*.f64 x (-.f64 x 1))
34.0ms	(cbrt.f64 (.f64 (.f64 x (-.f64 x 1)) (pow.f64 (*.f64 x (-.f64 x 1)) 2)))

Compiler

Compiled 509 to 422 computations (17.1% saved)

simplify75.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5014	1288

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(cbrt.f64 (+.f64 x 1))
0.1b	(/.f64 (-.f64 (*.f64 x x) 1) (cbrt.f64 (+.f64 x 1)))
0.1b	(.f64 (/.f64 x (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (/.f64 (-.f64 (*.f64 x x) 1) (cbrt.f64 (+.f64 x 1))))
0.1b	(/.f64 x (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))))
0.2b	(cbrt.f64 (+.f64 x 1))
0.2b	(cbrt.f64 (+.f64 x 1))
0.2b	(cbrt.f64 (+.f64 x 1))
0.2b	(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))

rewrite30.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`cbrt-prod_binary64_14772`
35×	`*-un-lft-identity_binary64_14741`
23×	`add-sqr-sqrt_binary64_14763`
18×	`cbrt-div_binary64_14773`
15×	`add-cube-cbrt_binary64_14776`
11×	`pow1_binary64_14802`
9×	`pow1/3_binary64_14823` `distribute-lft-out_binary64_14692` `swap-sqr_binary64_14708` `flip-+_binary64_14715` `flip3-+_binary64_14744`
7×	`associate-l_binary64_14682` `associate-r_binary64_14681`
6×	`add-exp-log_binary64_14779`
4×	`unswap-sqr_binary64_14709` `frac-times_binary64_14751` `add-log-exp_binary64_14780` `add-cbrt-cube_binary64_14777`
2×	`pow-sqr_binary64_14714` `pow-prod-down_binary64_14812` `associate-r/_binary64_14683` `associate-l/_binary64_14684` `pow-prod-up_binary64_14811`
1×	`cbrt-unprod_binary64_14774` `pow2_binary64_14822` `*-commutative_binary64_14672` `prod-exp_binary64_14790` `pow-plus_binary64_14804`

Counts

4 → 95

Calls

8 calls:

11.0ms	(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
3.0ms	(cbrt.f64 (+.f64 x 1))
3.0ms	(cbrt.f64 (+.f64 x 1))
3.0ms	(cbrt.f64 (+.f64 x 1))
0.0ms	(/.f64 x (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))))

series214.0ms (0.5%)

Counts

4 → 39

Calls

4 calls:

63.0ms	(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
53.0ms	(cbrt.f64 (+.f64 x 1))
51.0ms	(cbrt.f64 (+.f64 x 1))
46.0ms	(cbrt.f64 (+.f64 x 1))

Compiler

Compiled 1301 to 1059 computations (18.6% saved)

simplify110.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	4856	1870
1	4856	1870

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

23.7b	(cbrt.f64 (pow.f64 (*.f64 (+.f64 x (pow.f64 x 3/2)) (-.f64 (sqrt.f64 x) (sqrt.f64 1))) 3))
0.1b	(*.f64 (+.f64 x (pow.f64 x 3/2)) (-.f64 (sqrt.f64 x) (sqrt.f64 1)))
0.1b	(pow.f64 (*.f64 (+.f64 x (pow.f64 x 3/2)) (-.f64 (sqrt.f64 x) (sqrt.f64 1))) 3)
0.0b	(+.f64 x (pow.f64 x 3/2))
0.0b	(+.f64 x (pow.f64 x 3/2))
0.1b	(pow.f64 (*.f64 (+.f64 x (pow.f64 x 3/2)) (-.f64 (sqrt.f64 x) (sqrt.f64 1))) 3)
0.1b	(*.f64 (+.f64 x (pow.f64 x 3/2)) (-.f64 (sqrt.f64 x) (sqrt.f64 1)))
23.7b	(cbrt.f64 (pow.f64 (*.f64 (+.f64 x (pow.f64 x 3/2)) (-.f64 (sqrt.f64 x) (sqrt.f64 1))) 3))

rewrite52.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64_14763`
22×	`*-un-lft-identity_binary64_14741`
16×	`cube-div_binary64_14770`
15×	`sqrt-prod_binary64_14757`
12×	`frac-times_binary64_14751` `cancel-sign-sub-inv_binary64_14707` `add-cube-cbrt_binary64_14776`
11×	`associate-r_binary64_14681`
10×	`flip-+_binary64_14715` `flip3-+_binary64_14744`
9×	`add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777` `flip--_binary64_14716` `flip3--_binary64_14745` `pow1_binary64_14802`
8×	`cbrt-prod_binary64_14772` `cbrt-div_binary64_14773`
7×	`distribute-lft-in_binary64_14690` `distribute-rgt-in_binary64_14691`
6×	`add-log-exp_binary64_14780` `associate-r/_binary64_14683` `associate-l/_binary64_14684` `difference-of-squares_binary64_14710`
4×	`associate-l_binary64_14682`
3×	`pow-unpow_binary64_14818`
2×	`cube-mult_binary64_14771` `pow-pow_binary64_14813` `distribute-lft-out--_binary64_14693` `cube-prod_binary64_14769` `cbrt-unprod_binary64_14774` `pow-prod-down_binary64_14812` `rem-cube-cbrt_binary64_14764` `unpow3_binary64_14807` `distribute-lft-out_binary64_14692` `unpow-prod-down_binary64_14820` `sub-neg_binary64_14734` `sqr-pow_binary64_14713` `prod-exp_binary64_14790` `pow-exp_binary64_14809`
1×	`pow1/3_binary64_14823` `pow-to-exp_binary64_14810` `unswap-sqr_binary64_14709` `+-commutative_binary64_14671` `*-commutative_binary64_14672` `rem-cbrt-cube_binary64_14765` `sum-log_binary64_14832`

Counts

4 → 116

Calls

8 calls:

19.0ms	(*.f64 (+.f64 x (pow.f64 x 3/2)) (-.f64 (sqrt.f64 x) (sqrt.f64 1)))
13.0ms	(pow.f64 (*.f64 (+.f64 x (pow.f64 x 3/2)) (-.f64 (sqrt.f64 x) (sqrt.f64 1))) 3)
5.0ms	(+.f64 x (pow.f64 x 3/2))
4.0ms	(cbrt.f64 (pow.f64 (*.f64 (+.f64 x (pow.f64 x 3/2)) (-.f64 (sqrt.f64 x) (sqrt.f64 1))) 3))
0.0ms	(+.f64 x (pow.f64 x 3/2))

series211.0ms (0.5%)

Counts

4 → 14

Calls

4 calls:

82.0ms	(pow.f64 (*.f64 (+.f64 x (pow.f64 x 3/2)) (-.f64 (sqrt.f64 x) (sqrt.f64 1))) 3)
61.0ms	(+.f64 x (pow.f64 x 3/2))
35.0ms	(cbrt.f64 (pow.f64 (*.f64 (+.f64 x (pow.f64 x 3/2)) (-.f64 (sqrt.f64 x) (sqrt.f64 1))) 3))
33.0ms	(*.f64 (+.f64 x (pow.f64 x 3/2)) (-.f64 (sqrt.f64 x) (sqrt.f64 1)))

Compiler

Compiled 587 to 508 computations (13.5% saved)

simplify73.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4952	2597
1	4952	2597

prune6.8s (17.4%)

Pruning

290 alts after pruning (280 fresh and 10 done)

	Pruned	Kept	Total
New	247	164	411
Fresh	5	116	121
Picked	0	0	0
Done	0	10	10
Total	252	290	542

Error

Counts

542 → 290

Compiler

Compiled 11514 to 8448 computations (26.6% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (*.f64 x x) (neg.f64 x))
0.0b	(+.f64 (*.f64 x x) (neg.f64 x))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-log-exp_binary64_14780`
2×	`*-un-lft-identity_binary64_14741` `distribute-rgt-out_binary64_14694` `sum-log_binary64_14832`
1×	`neg-sub0_binary64_14736` `unsub-neg_binary64_14735` `add-sqr-sqrt_binary64_14763` `neg-log_binary64_14834` `+-commutative_binary64_14671` `add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777` `flip-+_binary64_14715` `neg-mul-1_binary64_14737` `flip3-+_binary64_14744` `pow1_binary64_14802` `distribute-lft-neg-in_binary64_14698` `add-cube-cbrt_binary64_14776` `associate-+r-_binary64_14675`

Counts

1 → 16

Calls

2 calls:

5.0ms	(+.f64 (*.f64 x x) (neg.f64 x))
0.0ms	(+.f64 (*.f64 x x) (neg.f64 x))

series38.0ms (0.1%)

Counts

1 → 6

Calls

1 calls:

38.0ms

(+.f64 (*.f64 x x) (neg.f64 x))

Compiler

Compiled 57 to 51 computations (10.5% saved)

simplify101.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 0 (94.0ms)

Iter	Nodes	Cost
0	4881	180
1	4881	180

localize3.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 (*.f64 x x) x)
0.0b	(-.f64 (*.f64 x x) x)

rewrite5.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`cancel-sign-sub-inv_binary64_14707` `add-log-exp_binary64_14780` `add-sqr-sqrt_binary64_14763` `*-un-lft-identity_binary64_14741`
2×	`add-cube-cbrt_binary64_14776`
1×	`diff-log_binary64_14833` `add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777` `sub-neg_binary64_14734` `flip--_binary64_14716` `distribute-rgt-out--_binary64_14695` `difference-of-squares_binary64_14710` `flip3--_binary64_14745` `pow1_binary64_14802`

Counts

1 → 16

Calls

2 calls:

4.0ms	(-.f64 (*.f64 x x) x)
0.0ms	(-.f64 (*.f64 x x) x)

series34.0ms (0.1%)

Counts

1 → 6

Calls

1 calls:

33.0ms

(-.f64 (*.f64 x x) x)

Compiler

Compiled 39 to 33 computations (15.4% saved)

simplify92.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4945	187
1	4945	187

localize8.0ms (0%)

Local error

Found 8 expressions with local error:

36.4b	(cbrt.f64 (pow.f64 (-.f64 (pow.f64 x 3) x) 3))
5.5b	(/.f64 (cbrt.f64 (pow.f64 (-.f64 (pow.f64 x 3) x) 3)) (+.f64 x 1))
0.1b	(pow.f64 (-.f64 (pow.f64 x 3) x) 3)
0.0b	(-.f64 (pow.f64 x 3) x)
0.0b	(-.f64 (pow.f64 x 3) x)
0.1b	(pow.f64 (-.f64 (pow.f64 x 3) x) 3)
5.5b	(/.f64 (cbrt.f64 (pow.f64 (-.f64 (pow.f64 x 3) x) 3)) (+.f64 x 1))
36.4b	(cbrt.f64 (pow.f64 (-.f64 (pow.f64 x 3) x) 3))

rewrite72.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

164×	`add-sqr-sqrt_binary64_14763`
160×	`*-un-lft-identity_binary64_14741`
144×	`cbrt-prod_binary64_14772`
108×	`times-frac_binary64_14747`
78×	`cube-prod_binary64_14769` `unpow-prod-down_binary64_14820`
60×	`difference-of-squares_binary64_14710`
59×	`add-cube-cbrt_binary64_14776`
28×	`distribute-lft-out_binary64_14692`
27×	`associate-/l*_binary64_14686`
22×	`unpow3_binary64_14807` `sqr-pow_binary64_14713`
15×	`distribute-lft-out--_binary64_14693` `distribute-rgt-out--_binary64_14695`
7×	`cube-mult_binary64_14771` `add-exp-log_binary64_14779`
6×	`add-log-exp_binary64_14780` `add-cbrt-cube_binary64_14777` `cube-div_binary64_14770`
5×	`pow1_binary64_14802`
4×	`associate-/r*_binary64_14685` `flip--_binary64_14716` `cbrt-div_binary64_14773` `flip3--_binary64_14745`
3×	`pow-unpow_binary64_14818` `cancel-sign-sub-inv_binary64_14707`
2×	`associate-/l/_binary64_14688` `associate-/r/_binary64_14687`
1×	`pow1/3_binary64_14823` `pow-to-exp_binary64_14810` `pow-pow_binary64_14813` `frac-2neg_binary64_14752` `div-inv_binary64_14738` `cbrt-undiv_binary64_14775` `rem-cube-cbrt_binary64_14764` `div-exp_binary64_14792` `diff-log_binary64_14833` `sub-neg_binary64_14734` `flip-+_binary64_14715` `rem-cbrt-cube_binary64_14765` `clear-num_binary64_14740` `flip3-+_binary64_14744` `pow-exp_binary64_14809`

Counts

4 → 247

Calls

8 calls:

21.0ms	(/.f64 (cbrt.f64 (pow.f64 (-.f64 (pow.f64 x 3) x) 3)) (+.f64 x 1))
8.0ms	(cbrt.f64 (pow.f64 (-.f64 (pow.f64 x 3) x) 3))
8.0ms	(pow.f64 (-.f64 (pow.f64 x 3) x) 3)
8.0ms	(-.f64 (pow.f64 x 3) x)
0.0ms	(-.f64 (pow.f64 x 3) x)

series231.0ms (0.6%)

Counts

4 → 30

Calls

4 calls:

66.0ms	(pow.f64 (-.f64 (pow.f64 x 3) x) 3)
63.0ms	(/.f64 (cbrt.f64 (pow.f64 (-.f64 (pow.f64 x 3) x) 3)) (+.f64 x 1))
51.0ms	(cbrt.f64 (pow.f64 (-.f64 (pow.f64 x 3) x) 3))
50.0ms	(-.f64 (pow.f64 x 3) x)

Compiler

Compiled 416 to 350 computations (15.9% saved)

simplify125.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

277 → 277

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4939	5501
1	4939	5501

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(cbrt.f64 (+.f64 x 1))
0.1b	(/.f64 (-.f64 (*.f64 x x) 1) (cbrt.f64 (+.f64 x 1)))
0.1b	(.f64 (/.f64 x (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 6))) (/.f64 (-.f64 (.f64 x x) 1) (cbrt.f64 (+.f64 x 1))))
0.1b	(/.f64 x (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 6)))
0.2b	(cbrt.f64 (+.f64 x 1))
0.2b	(cbrt.f64 (+.f64 x 1))
0.2b	(cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 6))
0.5b	(pow.f64 (cbrt.f64 (+.f64 x 1)) 6)

rewrite23.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`cbrt-prod_binary64_14772`
20×	`*-un-lft-identity_binary64_14741`
14×	`unpow-prod-down_binary64_14820`
12×	`add-sqr-sqrt_binary64_14763` `add-cube-cbrt_binary64_14776`
5×	`add-exp-log_binary64_14779` `pow1_binary64_14802`
4×	`pow1/3_binary64_14823` `add-log-exp_binary64_14780` `distribute-lft-out_binary64_14692` `add-cbrt-cube_binary64_14777` `cbrt-div_binary64_14773`
3×	`pow-unpow_binary64_14818`
2×	`pow-pow_binary64_14813` `sqr-pow_binary64_14713` `flip-+_binary64_14715` `flip3-+_binary64_14744`
1×	`pow-to-exp_binary64_14810` `pow-exp_binary64_14809`

Counts

4 → 69

Calls

8 calls:

5.0ms	(pow.f64 (cbrt.f64 (+.f64 x 1)) 6)
5.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 6))
3.0ms	(cbrt.f64 (+.f64 x 1))
3.0ms	(cbrt.f64 (+.f64 x 1))
0.0ms	(/.f64 x (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 6)))

series592.0ms (1.5%)

Counts

4 → 37

Calls

4 calls:

283.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 6))
216.0ms	(pow.f64 (cbrt.f64 (+.f64 x 1)) 6)
47.0ms	(cbrt.f64 (+.f64 x 1))
45.0ms	(cbrt.f64 (+.f64 x 1))

Compiler

Compiled 1173 to 965 computations (17.7% saved)

simplify57.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5161	1288

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (sqrt.f64 (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (.f64 x (-.f64 x 1)))) 4) (cbrt.f64 (.f64 x (-.f64 x 1))))) (sqrt.f64 (*.f64 x (-.f64 x 1))))
0.0b	(*.f64 x (-.f64 x 1))
0.0b	(*.f64 x (-.f64 x 1))
0.0b	(*.f64 x (-.f64 x 1))
0.2b	(.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (.f64 x (-.f64 x 1)))) 4) (cbrt.f64 (*.f64 x (-.f64 x 1))))
0.4b	(cbrt.f64 (sqrt.f64 (*.f64 x (-.f64 x 1))))
0.6b	(pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (-.f64 x 1)))) 4)
0.6b	(cbrt.f64 (*.f64 x (-.f64 x 1)))

rewrite33.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64_14763`
16×	`unpow-prod-down_binary64_14820`
15×	`cbrt-prod_binary64_14772`
12×	`*-un-lft-identity_binary64_14741` `add-cube-cbrt_binary64_14776`
11×	`associate-l_binary64_14682`
10×	`add-exp-log_binary64_14779`
8×	`associate-*r/_binary64_14683`
6×	`cbrt-div_binary64_14773`
5×	`add-cbrt-cube_binary64_14777` `pow1_binary64_14802`
4×	`unswap-sqr_binary64_14709` `add-log-exp_binary64_14780` `associate-r_binary64_14681`
3×	`pow1/3_binary64_14823` `pow-unpow_binary64_14818` `sqr-pow_binary64_14713` `prod-exp_binary64_14790` `flip--_binary64_14716` `flip3--_binary64_14745` `sqrt-prod_binary64_14757`
2×	`pow-to-exp_binary64_14810` `pow-pow_binary64_14813` `pow-exp_binary64_14809` `sqrt-div_binary64_14758`
1×	`cbrt-unprod_binary64_14774` `*-commutative_binary64_14672`

Counts

4 → 80

Calls

8 calls:

9.0ms	(.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (.f64 x (-.f64 x 1)))) 4) (cbrt.f64 (*.f64 x (-.f64 x 1))))
6.0ms	(cbrt.f64 (sqrt.f64 (*.f64 x (-.f64 x 1))))
5.0ms	(cbrt.f64 (*.f64 x (-.f64 x 1)))
4.0ms	(pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (-.f64 x 1)))) 4)
0.0ms	(*.f64 x (-.f64 x 1))

series251.0ms (0.6%)

Counts

4 → 30

Calls

4 calls:

104.0ms	(pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (-.f64 x 1)))) 4)
68.0ms	(cbrt.f64 (*.f64 x (-.f64 x 1)))
44.0ms	(cbrt.f64 (sqrt.f64 (*.f64 x (-.f64 x 1))))
35.0ms	(.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (.f64 x (-.f64 x 1)))) 4) (cbrt.f64 (*.f64 x (-.f64 x 1))))

Compiler

Compiled 1046 to 870 computations (16.8% saved)

simplify101.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4941	2260
1	4941	2260

prune10.7s (27.5%)

Pruning

455 alts after pruning (441 fresh and 14 done)

	Pruned	Kept	Total
New	357	180	537
Fresh	14	261	275
Picked	0	0	0
Done	1	14	15
Total	372	455	827

Error

Counts

827 → 455

Compiler

Compiled 6926 to 4974 computations (28.2% saved)

simplify337.0ms (0.9%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5142	21718

regimes2.8s (7.2%)

Compiler: Compiled 24656 to 19424 computations (21.2% saved)

bsearch0.0ms (0%)

regimes24.0ms (0.1%)

Compiler: Compiled 38 to 38 computations (0% saved)

bsearch0.0ms (0%)

regimes22.0ms (0.1%)

Compiler: Compiled 10 to 12 computations (-20% saved)

bsearch19.0ms (0%)

Steps

Iters	Range		Point
8	0.0037070930194020454	57.51658933111033	1.0150417341532645
10	-762080614756.6744	-0.004185610438705886	-0.9979022278705204

Compiler

Compiled 1 to 1 computations (0% saved)

regimes8.0ms (0%)

Compiler: Compiled 7 to 10 computations (-42.9% saved)

bsearch0.0ms (0%)

regimes10.0ms (0%)

Accuracy

Total 0.0b remaining (100%)

Threshold costs 0.0b (100%)

Compiler

Compiled 5 to 8 computations (-60% saved)

bsearch3.0ms (0%)

Compiler: Compiled 30 to 22 computations (26.7% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	40
1	30	40

end0.0ms (0%)

sample11.7s (30%)

Algorithm

1×

intervals

Results

142.0ms	8000×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 11264 to 8853 computations (21.4% saved)

Pareto

0.6514349153733049