Details

analyze117.0ms (0.1%)

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
25%	74.9%	0.1%	5
25%	68.7%	6.3%	6
25%	53.1%	22%	7
25%	46.8%	28.2%	8
25%	33.6%	41.5%	9
28.1%	18%	54%	10
31.6%	12.1%	56.3%	11
33.4%	5.9%	60.8%	12
35.2%	3.8%	61%	13
36.1%	2.9%	61%	14

Compiler

Compiled 30 to 20 computations (33.3% saved)

sample23.0ms (0%)

Algorithm

1×

intervals

Results

15.0ms

256×

body

128

valid

Compiler

Compiled 59 to 41 computations (30.5% saved)

simplify172.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4915	43
1	4915	43

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

Error

0.2b

Counts

2 → 1

Compiler

Compiled 29 to 19 computations (34.5% saved)

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (.f64 a a) (-.f64 1 a)) (.f64 (*.f64 b b) (+.f64 3 a)))))
0.0b	(.f64 4 (+.f64 (.f64 (.f64 a a) (-.f64 1 a)) (.f64 (*.f64 b b) (+.f64 3 a))))
0.0b	(+.f64 (.f64 (.f64 a a) (-.f64 1 a)) (.f64 (.f64 b b) (+.f64 3 a)))
0.0b	(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (.f64 a a) (-.f64 1 a)) (.f64 (*.f64 b b) (+.f64 3 a))))) 1)
0.0b	(+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (.f64 a a) (-.f64 1 a)) (.f64 (*.f64 b b) (+.f64 3 a)))))
0.1b	(.f64 (.f64 a a) (-.f64 1 a))
0.3b	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
0.6b	(.f64 (.f64 b b) (+.f64 3 a))

rewrite48.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`*-un-lft-identity_binary64_3147` `add-exp-log_binary64_3185` `add-sqr-sqrt_binary64_3169` `pow1_binary64_3208`
14×	`add-cbrt-cube_binary64_3183`
10×	`associate-r_binary64_3087` `add-cube-cbrt_binary64_3182`
6×	`cancel-sign-sub-inv_binary64_3113` `pow-prod-down_binary64_3218` `prod-exp_binary64_3196` `distribute-lft-in_binary64_3096` `cbrt-unprod_binary64_3180` `add-log-exp_binary64_3186` `distribute-rgt-in_binary64_3097`
4×	`associate-*r/_binary64_3089`
3×	`unpow-prod-down_binary64_3226` `pow-unpow_binary64_3224`
2×	`-commutative_binary64_3078` `unswap-sqr_binary64_3115` `flip-+_binary64_3121` `flip3-+_binary64_3150` `sub-neg_binary64_3140` `difference-of-squares_binary64_3116` `associate-+r+_binary64_3079` `associate-l*_binary64_3088`
1×	`pow-exp_binary64_3215` `flip--_binary64_3122` `flip3--_binary64_3151` `unpow2_binary64_3212` `pow-to-exp_binary64_3216` `sqr-pow_binary64_3119` `distribute-lft-out_binary64_3098` `distribute-lft-out--_binary64_3099` `+-commutative_binary64_3077` `pow-pow_binary64_3219` `sum-log_binary64_3238`

Counts

4 → 87

Calls

8 calls:

13.0ms	(+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (.f64 a a) (-.f64 1 a)) (.f64 (*.f64 b b) (+.f64 3 a)))))
11.0ms	(.f64 (.f64 a a) (-.f64 1 a))
9.0ms	(.f64 (.f64 b b) (+.f64 3 a))
5.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
0.0ms	(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (.f64 a a) (-.f64 1 a)) (.f64 (*.f64 b b) (+.f64 3 a))))) 1)

series673.0ms (0.5%)

Counts

4 → 47

Calls

4 calls:

420.0ms	(+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (.f64 a a) (-.f64 1 a)) (.f64 (*.f64 b b) (+.f64 3 a)))))
127.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
74.0ms	(.f64 (.f64 b b) (+.f64 3 a))
52.0ms	(.f64 (.f64 a a) (-.f64 1 a))

Compiler

Compiled 1889 to 1502 computations (20.5% saved)

simplify94.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4962	2376
1	4962	2376

prune625.0ms (0.5%)

Pruning

56 alts after pruning (55 fresh and 1 done)

	Pruned	Kept	Total
New	79	55	134
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	79	56	135

Error

0.0b

Counts

135 → 56

Compiler

Compiled 4554 to 2633 computations (42.2% saved)

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4)
0.0b	(-.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a))))) (+.f64 (pow.f64 a 4) (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4)))) 1)
0.0b	(+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a))))) (+.f64 (pow.f64 a 4) (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4)))
0.0b	(+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a))))) (+.f64 (pow.f64 a 4) (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4))))
0.0b	(-.f64 (*.f64 a a) (pow.f64 a 3))
0.0b	(.f64 a (+.f64 4 (.f64 2 a)))
0.0b	(+.f64 (pow.f64 a 4) (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4))
1.6b	(.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a)))))

rewrite39.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_3169`
12×	`cancel-sign-sub-inv_binary64_3113`
11×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183` `pow1_binary64_3208`
10×	`*-un-lft-identity_binary64_3147` `add-cube-cbrt_binary64_3182`
8×	`add-log-exp_binary64_3186`
6×	`associate-r_binary64_3087`
4×	`unpow-prod-down_binary64_3226` `pow-prod-down_binary64_3218` `cube-prod_binary64_3175` `prod-exp_binary64_3196` `difference-of-squares_binary64_3116` `cbrt-unprod_binary64_3180` `associate-l_binary64_3088` `associate-*r/_binary64_3089`
3×	`flip-+_binary64_3121` `flip3-+_binary64_3150`
2×	`*-commutative_binary64_3078` `unswap-sqr_binary64_3115` `sqr-pow_binary64_3119` `distribute-lft-in_binary64_3096` `cube-mult_binary64_3177` `distribute-rgt-in_binary64_3097` `unpow3_binary64_3213`
1×	`flip--_binary64_3122` `flip3--_binary64_3151` `sub-neg_binary64_3140` `distribute-lft-out--_binary64_3099` `+-commutative_binary64_3077` `diff-log_binary64_3239` `distribute-rgt-out--_binary64_3101` `sum-log_binary64_3238`

Counts

4 → 85

Calls

8 calls:

8.0ms	(-.f64 (*.f64 a a) (pow.f64 a 3))
8.0ms	(.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a)))))
6.0ms	(.f64 a (+.f64 4 (.f64 2 a)))
5.0ms	(+.f64 (pow.f64 a 4) (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4))
0.0ms	(+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a))))) (+.f64 (pow.f64 a 4) (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4))))

series332.0ms (0.2%)

Counts

4 → 24

Calls

4 calls:

135.0ms	(+.f64 (pow.f64 a 4) (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4))
111.0ms	(.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a)))))
68.0ms	(-.f64 (*.f64 a a) (pow.f64 a 3))
17.0ms	(.f64 a (+.f64 4 (.f64 2 a)))

Compiler

Compiled 1255 to 1032 computations (17.8% saved)

simplify80.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5385	1655

localize9.0ms (0%)

Local error

Found 6 expressions with local error:

0.7b	(.f64 (.f64 b b) (+.f64 (.f64 b b) (+.f64 12 (.f64 a 4))))
0.0b	(+.f64 (.f64 b b) (+.f64 12 (.f64 a 4)))
0.0b	(-.f64 (.f64 (.f64 b b) (+.f64 (.f64 b b) (+.f64 12 (.f64 a 4)))) 1)
0.0b	(+.f64 (.f64 b b) (+.f64 12 (.f64 a 4)))
0.0b	(-.f64 (.f64 (.f64 b b) (+.f64 (.f64 b b) (+.f64 12 (.f64 a 4)))) 1)
0.7b	(.f64 (.f64 b b) (+.f64 (.f64 b b) (+.f64 12 (.f64 a 4))))

rewrite32.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-log-exp_binary64_3186`
8×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183` `pow1_binary64_3208`
6×	`add-sqr-sqrt_binary64_3169`
5×	`*-un-lft-identity_binary64_3147` `add-cube-cbrt_binary64_3182`
3×	`cancel-sign-sub-inv_binary64_3113` `pow-prod-down_binary64_3218` `associate-r_binary64_3087` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180` `sum-log_binary64_3238`
2×	`flip-+_binary64_3121` `associate--l+_binary64_3084` `flip3-+_binary64_3150` `distribute-lft-in_binary64_3096` `distribute-rgt-in_binary64_3097` `associate-*r/_binary64_3089`
1×	`-commutative_binary64_3078` `flip--_binary64_3122` `unswap-sqr_binary64_3115` `flip3--_binary64_3151` `sub-neg_binary64_3140` `+-commutative_binary64_3077` `associate-+r+_binary64_3079` `diff-log_binary64_3239` `associate-l*_binary64_3088`

Counts

3 → 52

Calls

6 calls:

11.0ms	(-.f64 (.f64 (.f64 b b) (+.f64 (.f64 b b) (+.f64 12 (.f64 a 4)))) 1)
10.0ms	(.f64 (.f64 b b) (+.f64 (.f64 b b) (+.f64 12 (.f64 a 4))))
6.0ms	(+.f64 (.f64 b b) (+.f64 12 (.f64 a 4)))
0.0ms	(-.f64 (.f64 (.f64 b b) (+.f64 (.f64 b b) (+.f64 12 (.f64 a 4)))) 1)
0.0ms	(+.f64 (.f64 b b) (+.f64 12 (.f64 a 4)))

series511.0ms (0.4%)

Counts

3 → 39

Calls

3 calls:

255.0ms	(-.f64 (.f64 (.f64 b b) (+.f64 (.f64 b b) (+.f64 12 (.f64 a 4)))) 1)
161.0ms	(.f64 (.f64 b b) (+.f64 (.f64 b b) (+.f64 12 (.f64 a 4))))
94.0ms	(+.f64 (.f64 b b) (+.f64 12 (.f64 a 4)))

Compiler

Compiled 825 to 748 computations (9.3% saved)

simplify39.0ms (0%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5093	1622

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 a (+.f64 4 (.f64 2 a)))
0.0b	(.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4)
0.0b	(-.f64 (+.f64 (.f64 (.f64 b b) (+.f64 (.f64 a (+.f64 4 (.f64 2 a))) (+.f64 (.f64 b b) 12))) (.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 4)) 1)
0.0b	(+.f64 (.f64 (.f64 b b) (+.f64 (.f64 a (+.f64 4 (.f64 2 a))) (+.f64 (.f64 b b) 12))) (.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 4))
0.0b	(.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4)
0.0b	(-.f64 (*.f64 a a) (pow.f64 a 3))
0.0b	(.f64 a (+.f64 4 (.f64 2 a)))
1.7b	(.f64 (.f64 b b) (+.f64 (.f64 a (+.f64 4 (.f64 2 a))) (+.f64 (*.f64 b b) 12)))

rewrite55.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64_3169`
13×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183` `pow1_binary64_3208` `associate-l_binary64_3088`
12×	`-un-lft-identity_binary64_3147` `cancel-sign-sub-inv_binary64_3113` `add-cube-cbrt_binary64_3182` `associate-r/_binary64_3089`
9×	`associate-r_binary64_3087`
8×	`difference-of-squares_binary64_3116`
6×	`flip-+_binary64_3121` `flip3-+_binary64_3150` `add-log-exp_binary64_3186`
5×	`unpow-prod-down_binary64_3226` `pow-prod-down_binary64_3218` `cube-prod_binary64_3175` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180`
4×	`frac-add_binary64_3155`
3×	`*-commutative_binary64_3078` `unswap-sqr_binary64_3115` `sqr-pow_binary64_3119` `cube-mult_binary64_3177` `unpow3_binary64_3213`
2×	`flip--_binary64_3122` `associate-*l/_binary64_3090` `flip3--_binary64_3151` `distribute-lft-out--_binary64_3099` `distribute-lft-in_binary64_3096` `distribute-rgt-in_binary64_3097` `distribute-rgt-out--_binary64_3101`
1×	`sub-neg_binary64_3140` `diff-log_binary64_3239`

Counts

4 → 104

Calls

8 calls:

15.0ms	(.f64 (.f64 b b) (+.f64 (.f64 a (+.f64 4 (.f64 2 a))) (+.f64 (*.f64 b b) 12)))
13.0ms	(.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4)
7.0ms	(-.f64 (*.f64 a a) (pow.f64 a 3))
6.0ms	(.f64 a (+.f64 4 (.f64 2 a)))
0.0ms	(+.f64 (.f64 (.f64 b b) (+.f64 (.f64 a (+.f64 4 (.f64 2 a))) (+.f64 (.f64 b b) 12))) (.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 4))

series426.0ms (0.3%)

Counts

4 → 31

Calls

4 calls:

270.0ms	(.f64 (.f64 b b) (+.f64 (.f64 a (+.f64 4 (.f64 2 a))) (+.f64 (*.f64 b b) 12)))
70.0ms	(.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4)
58.0ms	(-.f64 (*.f64 a a) (pow.f64 a 3))
27.0ms	(.f64 a (+.f64 4 (.f64 2 a)))

Compiler

Compiled 1392 to 1103 computations (20.8% saved)

simplify61.0ms (0%)

Algorithm

1×	egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5083	2258

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (/.f64 (.f64 a (-.f64 a (pow.f64 a 3))) (+.f64 1 a)) (.f64 (.f64 b b) (+.f64 3 a)))))
0.0b	(.f64 4 (+.f64 (/.f64 (.f64 a (-.f64 a (pow.f64 a 3))) (+.f64 1 a)) (.f64 (.f64 b b) (+.f64 3 a))))
0.0b	(+.f64 (/.f64 (.f64 a (-.f64 a (pow.f64 a 3))) (+.f64 1 a)) (.f64 (*.f64 b b) (+.f64 3 a)))
0.0b	(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (/.f64 (.f64 a (-.f64 a (pow.f64 a 3))) (+.f64 1 a)) (.f64 (.f64 b b) (+.f64 3 a))))) 1)
0.1b	(*.f64 a (-.f64 a (pow.f64 a 3)))
0.1b	(/.f64 (*.f64 a (-.f64 a (pow.f64 a 3))) (+.f64 1 a))
0.3b	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
0.6b	(.f64 (.f64 b b) (+.f64 3 a))

rewrite60.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-sqr-sqrt_binary64_3169`
26×	`*-un-lft-identity_binary64_3147`
24×	`cancel-sign-sub-inv_binary64_3113`
17×	`add-exp-log_binary64_3185` `add-cube-cbrt_binary64_3182`
16×	`add-cbrt-cube_binary64_3183`
14×	`distribute-lft-in_binary64_3096` `distribute-rgt-in_binary64_3097`
13×	`associate-r_binary64_3087`
12×	`pow1_binary64_3208`
10×	`unpow-prod-down_binary64_3226`
7×	`cube-prod_binary64_3175`
6×	`associate-*r/_binary64_3089`
5×	`prod-exp_binary64_3196` `cbrt-unprod_binary64_3180`
4×	`times-frac_binary64_3153` `pow-prod-down_binary64_3218` `associate-/r_binary64_3091` `sqr-pow_binary64_3119` `difference-of-squares_binary64_3116` `add-log-exp_binary64_3186` `associate-l*_binary64_3088`
3×	`distribute-lft-out_binary64_3098` `pow-unpow_binary64_3224` `unpow3_binary64_3213`
2×	`*-commutative_binary64_3078` `flip--_binary64_3122` `unswap-sqr_binary64_3115` `flip-+_binary64_3121` `flip3--_binary64_3151` `flip3-+_binary64_3150` `sub-neg_binary64_3140` `associate-/l/_binary64_3094` `cube-mult_binary64_3177` `cbrt-undiv_binary64_3181` `div-exp_binary64_3198` `associate-/r/_binary64_3093`
1×	`pow-exp_binary64_3215` `clear-num_binary64_3146` `frac-2neg_binary64_3158` `unpow2_binary64_3212` `pow-to-exp_binary64_3216` `distribute-lft-out--_binary64_3099` `associate-/l*_binary64_3092` `pow-pow_binary64_3219` `distribute-rgt-out--_binary64_3101` `div-inv_binary64_3144`

Counts

4 → 121

Calls

8 calls:

15.0ms	(/.f64 (*.f64 a (-.f64 a (pow.f64 a 3))) (+.f64 1 a))
12.0ms	(*.f64 a (-.f64 a (pow.f64 a 3)))
9.0ms	(.f64 (.f64 b b) (+.f64 3 a))
7.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
0.0ms	(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (/.f64 (.f64 a (-.f64 a (pow.f64 a 3))) (+.f64 1 a)) (.f64 (.f64 b b) (+.f64 3 a))))) 1)

series378.0ms (0.3%)

Counts

4 → 32

Calls

4 calls:

128.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
89.0ms	(/.f64 (*.f64 a (-.f64 a (pow.f64 a 3))) (+.f64 1 a))
84.0ms	(.f64 (.f64 b b) (+.f64 3 a))
76.0ms	(*.f64 a (-.f64 a (pow.f64 a 3)))

Compiler

Compiled 1648 to 1247 computations (24.3% saved)

simplify83.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4971	1953
1	4971	1953

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 4 (+.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 3)) (.f64 (.f64 b b) (+.f64 3 a))))
0.0b	(-.f64 (*.f64 a a) (pow.f64 a 3))
0.0b	(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 3)) (.f64 (.f64 b b) (+.f64 3 a))))) 1)
0.0b	(+.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 3)) (.f64 (*.f64 b b) (+.f64 3 a)))
0.1b	(pow.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 3)
0.3b	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
0.6b	(.f64 (.f64 b b) (+.f64 3 a))
22.8b	(cbrt.f64 (pow.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 3))

rewrite46.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64_3169`
25×	`unpow-prod-down_binary64_3226`
24×	`cbrt-prod_binary64_3178`
22×	`cube-prod_binary64_3175`
16×	`difference-of-squares_binary64_3116`
15×	`*-un-lft-identity_binary64_3147`
13×	`add-cube-cbrt_binary64_3182`
11×	`add-exp-log_binary64_3185` `pow1_binary64_3208`
10×	`add-cbrt-cube_binary64_3183`
7×	`sqr-pow_binary64_3119`
6×	`cube-mult_binary64_3177` `pow-unpow_binary64_3224` `unpow3_binary64_3213`
4×	`associate-r_binary64_3087` `distribute-lft-out--_binary64_3099` `add-log-exp_binary64_3186` `cube-div_binary64_3176` `distribute-rgt-out--_binary64_3101`
3×	`pow-prod-down_binary64_3218` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180`
2×	`cbrt-div_binary64_3179` `pow-exp_binary64_3215` `flip--_binary64_3122` `flip3--_binary64_3151` `pow-to-exp_binary64_3216` `pow-pow_binary64_3219` `associate-*r/_binary64_3089`
1×	`rem-cbrt-cube_binary64_3171` `-commutative_binary64_3078` `unswap-sqr_binary64_3115` `pow1/3_binary64_3229` `flip-+_binary64_3121` `rem-cube-cbrt_binary64_3170` `unpow2_binary64_3212` `flip3-+_binary64_3150` `distribute-lft-out_binary64_3098` `distribute-lft-in_binary64_3096` `associate-l*_binary64_3088` `distribute-rgt-in_binary64_3097`

Counts

4 → 114

Calls

8 calls:

9.0ms	(cbrt.f64 (pow.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 3))
9.0ms	(.f64 (.f64 b b) (+.f64 3 a))
9.0ms	(pow.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 3)
5.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
0.0ms	(+.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 3)) (.f64 (*.f64 b b) (+.f64 3 a)))

series241.0ms (0.2%)

Counts

4 → 32

Calls

4 calls:

81.0ms	(.f64 (.f64 b b) (+.f64 3 a))
67.0ms	(cbrt.f64 (pow.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 3))
47.0ms	(pow.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 3)
46.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)

Compiler

Compiled 1505 to 1146 computations (23.9% saved)

simplify57.0ms (0%)

Algorithm

1×	egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5434	2126

prune10.9s (7.9%)

Pruning

223 alts after pruning (218 fresh and 5 done)

	Pruned	Kept	Total
New	456	178	634
Fresh	10	40	50
Picked	0	0	0
Done	1	5	6
Total	467	223	690

Error

Counts

690 → 223

Compiler

Compiled 20826 to 13416 computations (35.6% saved)

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4)
0.0b	(-.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) 12) (+.f64 (pow.f64 a 4) (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4)))) 1)
0.0b	(+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) 12) (+.f64 (pow.f64 a 4) (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4))))
0.0b	(+.f64 (.f64 (.f64 b b) 12) (+.f64 (pow.f64 a 4) (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4)))
0.0b	(.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4)
0.0b	(-.f64 (*.f64 a a) (pow.f64 a 3))
0.0b	(+.f64 (pow.f64 a 4) (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4))
0.2b	(.f64 (.f64 b b) 12)

rewrite38.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64_3169`
12×	`cancel-sign-sub-inv_binary64_3113`
11×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183` `pow1_binary64_3208`
10×	`-un-lft-identity_binary64_3147` `add-cube-cbrt_binary64_3182` `associate-l*_binary64_3088`
8×	`difference-of-squares_binary64_3116` `add-log-exp_binary64_3186`
6×	`associate-r_binary64_3087`
5×	`unpow-prod-down_binary64_3226` `cube-prod_binary64_3175`
4×	`pow-prod-down_binary64_3218` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180`
3×	`sqr-pow_binary64_3119` `cube-mult_binary64_3177` `unpow3_binary64_3213`
2×	`-commutative_binary64_3078` `flip--_binary64_3122` `unswap-sqr_binary64_3115` `associate-l/_binary64_3090` `flip3--_binary64_3151` `distribute-lft-out--_binary64_3099` `distribute-rgt-out--_binary64_3101`
1×	`flip-+_binary64_3121` `flip3-+_binary64_3150` `sub-neg_binary64_3140` `+-commutative_binary64_3077` `diff-log_binary64_3239` `sum-log_binary64_3238`

Counts

4 → 85

Calls

8 calls:

11.0ms	(.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4)
7.0ms	(-.f64 (*.f64 a a) (pow.f64 a 3))
6.0ms	(.f64 (.f64 b b) 12)
5.0ms	(+.f64 (pow.f64 a 4) (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4))
0.0ms	(+.f64 (.f64 (.f64 b b) 12) (+.f64 (pow.f64 a 4) (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4)))

series296.0ms (0.2%)

Counts

4 → 24

Calls

4 calls:

134.0ms	(+.f64 (pow.f64 a 4) (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4))
73.0ms	(.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4)
60.0ms	(-.f64 (*.f64 a a) (pow.f64 a 3))
29.0ms	(.f64 (.f64 b b) 12)

Compiler

Compiled 866 to 737 computations (14.9% saved)

simplify77.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5062	1387

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.5b	(.f64 (.f64 b b) (*.f64 a 4))
0.5b	(.f64 (.f64 b b) (*.f64 a 4))

rewrite9.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183` `pow1_binary64_3208`
8×	`pow-prod-down_binary64_3218` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180`
1×	`-commutative_binary64_3078` `-un-lft-identity_binary64_3147` `associate-r_binary64_3087` `add-sqr-sqrt_binary64_3169` `add-log-exp_binary64_3186` `add-cube-cbrt_binary64_3182` `associate-l_binary64_3088`

Counts

1 → 22

Calls

2 calls:

7.0ms	(.f64 (.f64 b b) (*.f64 a 4))
0.0ms	(.f64 (.f64 b b) (*.f64 a 4))

series74.0ms (0.1%)

Counts

1 → 6

Calls

1 calls:

74.0ms

(*.f64 (*.f64 b b) (*.f64 a 4))

Compiler

Compiled 84 to 84 computations (0% saved)

simplify52.0ms (0%)

Algorithm

1×	egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5686	313

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 a (+.f64 4 (.f64 2 a)))
0.0b	(-.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a))))) (*.f64 (pow.f64 a 3) (+.f64 a -4)))) 1)
0.0b	(+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a))))) (*.f64 (pow.f64 a 3) (+.f64 a -4)))
0.0b	(+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a))))) (*.f64 (pow.f64 a 3) (+.f64 a -4))))
0.0b	(+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a))))) (*.f64 (pow.f64 a 3) (+.f64 a -4))))
0.0b	(.f64 a (+.f64 4 (.f64 2 a)))
0.1b	(*.f64 (pow.f64 a 3) (+.f64 a -4))
1.6b	(.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a)))))

rewrite47.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-sqr-sqrt_binary64_3169`
16×	`add-exp-log_binary64_3185` `associate-l_binary64_3088`
15×	`*-un-lft-identity_binary64_3147`
13×	`add-cbrt-cube_binary64_3183`
11×	`pow1_binary64_3208` `add-cube-cbrt_binary64_3182`
10×	`associate-r_binary64_3087`
9×	`add-log-exp_binary64_3186`
7×	`prod-exp_binary64_3196`
6×	`unswap-sqr_binary64_3115` `associate-*r/_binary64_3089`
5×	`cbrt-unprod_binary64_3180`
4×	`unpow-prod-down_binary64_3226` `flip-+_binary64_3121` `pow-prod-down_binary64_3218` `flip3-+_binary64_3150` `cube-prod_binary64_3175`
3×	`*-commutative_binary64_3078` `distribute-lft-in_binary64_3096` `distribute-rgt-in_binary64_3097` `sum-log_binary64_3238`
2×	`sqr-pow_binary64_3119` `distribute-lft-out_binary64_3098`
1×	`pow-exp_binary64_3215` `pow-to-exp_binary64_3216` `+-commutative_binary64_3077` `associate-+r+_binary64_3079` `cube-mult_binary64_3177` `unpow3_binary64_3213`

Counts

4 → 95

Calls

8 calls:

13.0ms	(+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a))))) (*.f64 (pow.f64 a 3) (+.f64 a -4))))
9.0ms	(*.f64 (pow.f64 a 3) (+.f64 a -4))
8.0ms	(.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a)))))
6.0ms	(.f64 a (+.f64 4 (.f64 2 a)))
0.0ms	(+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a))))) (*.f64 (pow.f64 a 3) (+.f64 a -4))))

series534.0ms (0.4%)

Counts

4 → 36

Calls

4 calls:

365.0ms	(+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a))))) (*.f64 (pow.f64 a 3) (+.f64 a -4))))
93.0ms	(.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 2 a)))))
58.0ms	(*.f64 (pow.f64 a 3) (+.f64 a -4))
17.0ms	(.f64 a (+.f64 4 (.f64 2 a)))

Compiler

Compiled 1307 to 1124 computations (14% saved)

simplify88.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5189	2498

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (pow.f64 a 4) (.f64 4 (+.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 3)) (.f64 (.f64 b b) (+.f64 3 a)))))
0.0b	(.f64 4 (+.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 3)) (.f64 (.f64 b b) (+.f64 3 a))))
0.0b	(-.f64 (*.f64 a a) (pow.f64 a 3))
0.0b	(+.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 3)) (.f64 (*.f64 b b) (+.f64 3 a)))
0.0b	(.f64 4 (+.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 3)) (.f64 (.f64 b b) (+.f64 3 a))))
0.1b	(pow.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 3)
0.6b	(.f64 (.f64 b b) (+.f64 3 a))
22.8b	(cbrt.f64 (pow.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 3))

rewrite68.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-sqr-sqrt_binary64_3169`
24×	`cbrt-prod_binary64_3178`
22×	`unpow-prod-down_binary64_3226` `cube-prod_binary64_3175`
16×	`difference-of-squares_binary64_3116`
15×	`*-un-lft-identity_binary64_3147`
13×	`add-cube-cbrt_binary64_3182`
12×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183` `pow1_binary64_3208` `associate-*r/_binary64_3089`
8×	`cube-div_binary64_3176`
7×	`associate-r_binary64_3087`
6×	`cbrt-div_binary64_3179` `sqr-pow_binary64_3119` `cube-mult_binary64_3177` `unpow3_binary64_3213`
4×	`frac-add_binary64_3155` `flip--_binary64_3122` `flip-+_binary64_3121` `pow-prod-down_binary64_3218` `flip3--_binary64_3151` `flip3-+_binary64_3150` `distribute-lft-out--_binary64_3099` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180` `add-log-exp_binary64_3186` `associate-l_binary64_3088` `distribute-rgt-out--_binary64_3101`
3×	`pow-unpow_binary64_3224`
2×	`*-commutative_binary64_3078` `unswap-sqr_binary64_3115` `distribute-lft-in_binary64_3096` `distribute-rgt-in_binary64_3097`
1×	`rem-cbrt-cube_binary64_3171` `pow-exp_binary64_3215` `pow1/3_binary64_3229` `rem-cube-cbrt_binary64_3170` `pow-to-exp_binary64_3216` `distribute-lft-out_binary64_3098` `pow-pow_binary64_3219`

Counts

4 → 122

Calls

8 calls:

23.0ms	(.f64 4 (+.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 3)) (.f64 (.f64 b b) (+.f64 3 a))))
12.0ms	(pow.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 3)
9.0ms	(cbrt.f64 (pow.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 3))
9.0ms	(.f64 (.f64 b b) (+.f64 3 a))
0.0ms	(+.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 3)) (.f64 (*.f64 b b) (+.f64 3 a)))

series373.0ms (0.3%)

Counts

4 → 41

Calls

4 calls:

185.0ms	(.f64 4 (+.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 3)) (.f64 (.f64 b b) (+.f64 3 a))))
82.0ms	(.f64 (.f64 b b) (+.f64 3 a))
57.0ms	(cbrt.f64 (pow.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 3))
49.0ms	(pow.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 3)

Compiler

Compiled 1352 to 1160 computations (14.2% saved)

simplify105.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4951	2878
1	4951	2878

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (*.f64 a a) (pow.f64 a 3))
0.0b	(-.f64 (*.f64 a a) (pow.f64 a 3))
0.0b	(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (cbrt.f64 (.f64 (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) (-.f64 (.f64 a a) (pow.f64 a 3))) (-.f64 (.f64 a a) (pow.f64 a 3)))) (.f64 (.f64 b b) (+.f64 3 a))))) 1)
0.0b	(+.f64 (cbrt.f64 (.f64 (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) (-.f64 (.f64 a a) (pow.f64 a 3))) (-.f64 (.f64 a a) (pow.f64 a 3)))) (.f64 (*.f64 b b) (+.f64 3 a)))
0.2b	(.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) (-.f64 (*.f64 a a) (pow.f64 a 3)))
0.3b	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
0.6b	(.f64 (.f64 b b) (+.f64 3 a))
22.8b	(cbrt.f64 (.f64 (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) (-.f64 (.f64 a a) (pow.f64 a 3))) (-.f64 (*.f64 a a) (pow.f64 a 3))))

rewrite98.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`add-sqr-sqrt_binary64_3169`
33×	`flip--_binary64_3122` `flip3--_binary64_3151`
32×	`frac-times_binary64_3157`
26×	`cbrt-div_binary64_3179`
24×	`cancel-sign-sub-inv_binary64_3113`
20×	`difference-of-squares_binary64_3116`
19×	`*-un-lft-identity_binary64_3147`
17×	`pow1_binary64_3208` `add-cube-cbrt_binary64_3182`
16×	`associate-*l/_binary64_3090`
15×	`unpow-prod-down_binary64_3226`
14×	`distribute-lft-in_binary64_3096` `distribute-rgt-in_binary64_3097`
13×	`swap-sqr_binary64_3114` `associate-r_binary64_3087`
12×	`add-exp-log_binary64_3185` `cube-prod_binary64_3175` `associate-*r/_binary64_3089`
11×	`add-cbrt-cube_binary64_3183`
10×	`associate-l_binary64_3088`
8×	`cube-mult_binary64_3177` `unpow3_binary64_3213`
7×	`sqr-pow_binary64_3119`
6×	`distribute-lft-out--_binary64_3099` `distribute-rgt-out--_binary64_3101`
4×	`pow-prod-down_binary64_3218` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180` `add-log-exp_binary64_3186`
3×	`pow-unpow_binary64_3224`
2×	`*-commutative_binary64_3078` `unswap-sqr_binary64_3115` `sub-neg_binary64_3140`
1×	`rem-cbrt-cube_binary64_3171` `pow-exp_binary64_3215` `pow1/3_binary64_3229` `flip-+_binary64_3121` `unpow2_binary64_3212` `flip3-+_binary64_3150` `pow-to-exp_binary64_3216` `pow3_binary64_3230` `distribute-lft-out_binary64_3098` `pow-plus_binary64_3210` `pow2_binary64_3228` `pow-prod-up_binary64_3217` `cbrt-prod_binary64_3178` `pow-pow_binary64_3219` `pow-sqr_binary64_3120`

Counts

4 → 159

Calls

8 calls:

27.0ms	(cbrt.f64 (.f64 (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) (-.f64 (.f64 a a) (pow.f64 a 3))) (-.f64 (*.f64 a a) (pow.f64 a 3))))
22.0ms	(.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) (-.f64 (*.f64 a a) (pow.f64 a 3)))
9.0ms	(.f64 (.f64 b b) (+.f64 3 a))
5.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
0.0ms	(+.f64 (cbrt.f64 (.f64 (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) (-.f64 (.f64 a a) (pow.f64 a 3))) (-.f64 (.f64 a a) (pow.f64 a 3)))) (.f64 (*.f64 b b) (+.f64 3 a)))

series287.0ms (0.2%)

Counts

4 → 29

Calls

4 calls:

94.0ms	(.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) (-.f64 (*.f64 a a) (pow.f64 a 3)))
82.0ms	(.f64 (.f64 b b) (+.f64 3 a))
64.0ms	(cbrt.f64 (.f64 (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) (-.f64 (.f64 a a) (pow.f64 a 3))) (-.f64 (*.f64 a a) (pow.f64 a 3))))
47.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)

Compiler

Compiled 1937 to 1325 computations (31.6% saved)

simplify113.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5026	4354

prune19.5s (14.2%)

Pruning

367 alts after pruning (357 fresh and 10 done)

	Pruned	Kept	Total
New	458	161	619
Fresh	17	196	213
Picked	0	0	0
Done	0	10	10
Total	475	367	842

Error

Counts

842 → 367

Compiler

Compiled 26305 to 17730 computations (32.6% saved)

localize31.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4)
0.0b	(+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 (.f64 a (.f64 (cbrt.f64 (+.f64 4 (.f64 a 2))) (cbrt.f64 (+.f64 4 (.f64 a 2))))) (cbrt.f64 (+.f64 4 (.f64 2 a)))))) (+.f64 (pow.f64 a 4) (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4))))
0.0b	(+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 (.f64 a (.f64 (cbrt.f64 (+.f64 4 (.f64 a 2))) (cbrt.f64 (+.f64 4 (.f64 a 2))))) (cbrt.f64 (+.f64 4 (.f64 2 a)))))) (+.f64 (pow.f64 a 4) (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4)))
0.0b	(-.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 (.f64 a (.f64 (cbrt.f64 (+.f64 4 (.f64 a 2))) (cbrt.f64 (+.f64 4 (.f64 a 2))))) (cbrt.f64 (+.f64 4 (.f64 2 a)))))) (+.f64 (pow.f64 a 4) (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4)))) 1)
0.2b	(.f64 a (.f64 (cbrt.f64 (+.f64 4 (.f64 a 2))) (cbrt.f64 (+.f64 4 (.f64 a 2)))))
0.4b	(.f64 (.f64 a (.f64 (cbrt.f64 (+.f64 4 (.f64 a 2))) (cbrt.f64 (+.f64 4 (.f64 a 2))))) (cbrt.f64 (+.f64 4 (.f64 2 a))))
0.9b	(.f64 (cbrt.f64 (+.f64 4 (.f64 a 2))) (cbrt.f64 (+.f64 4 (*.f64 a 2))))
1.6b	(.f64 (.f64 b b) (+.f64 12 (.f64 (.f64 a (.f64 (cbrt.f64 (+.f64 4 (.f64 a 2))) (cbrt.f64 (+.f64 4 (.f64 a 2))))) (cbrt.f64 (+.f64 4 (.f64 2 a))))))

rewrite81.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

78×	`cbrt-div_binary64_3179`
46×	`associate-*r/_binary64_3089`
40×	`flip-+_binary64_3121` `flip3-+_binary64_3150`
36×	`frac-times_binary64_3157`
30×	`pow1_binary64_3208`
26×	`add-sqr-sqrt_binary64_3169`
25×	`add-exp-log_binary64_3185`
19×	`cbrt-prod_binary64_3178`
18×	`associate-*l/_binary64_3090`
16×	`-un-lft-identity_binary64_3147` `add-cbrt-cube_binary64_3183` `associate-r*_binary64_3087` `add-cube-cbrt_binary64_3182`
14×	`pow-prod-down_binary64_3218`
13×	`prod-exp_binary64_3196` `cbrt-unprod_binary64_3180`
11×	`associate-l_binary64_3088`
6×	`unswap-sqr_binary64_3115` `pow1/3_binary64_3229` `swap-sqr_binary64_3114`
4×	`*-commutative_binary64_3078` `add-log-exp_binary64_3186`
2×	`pow-prod-up_binary64_3217` `pow-sqr_binary64_3120`
1×	`distribute-lft-in_binary64_3096` `pow-plus_binary64_3210` `pow2_binary64_3228` `distribute-rgt-in_binary64_3097`

Counts

4 → 148

Calls

8 calls:

18.0ms	(.f64 (.f64 a (.f64 (cbrt.f64 (+.f64 4 (.f64 a 2))) (cbrt.f64 (+.f64 4 (.f64 a 2))))) (cbrt.f64 (+.f64 4 (.f64 2 a))))
13.0ms	(.f64 a (.f64 (cbrt.f64 (+.f64 4 (.f64 a 2))) (cbrt.f64 (+.f64 4 (.f64 a 2)))))
11.0ms	(.f64 (cbrt.f64 (+.f64 4 (.f64 a 2))) (cbrt.f64 (+.f64 4 (*.f64 a 2))))
8.0ms	(.f64 (.f64 b b) (+.f64 12 (.f64 (.f64 a (.f64 (cbrt.f64 (+.f64 4 (.f64 a 2))) (cbrt.f64 (+.f64 4 (.f64 a 2))))) (cbrt.f64 (+.f64 4 (.f64 2 a))))))
0.0ms	(-.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 (.f64 a (.f64 (cbrt.f64 (+.f64 4 (.f64 a 2))) (cbrt.f64 (+.f64 4 (.f64 a 2))))) (cbrt.f64 (+.f64 4 (.f64 2 a)))))) (+.f64 (pow.f64 a 4) (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) 4)))) 1)

series225.0ms (0.2%)

Counts

4 → 15

Calls

4 calls:

111.0ms	(.f64 (.f64 b b) (+.f64 12 (.f64 (.f64 a (.f64 (cbrt.f64 (+.f64 4 (.f64 a 2))) (cbrt.f64 (+.f64 4 (.f64 a 2))))) (cbrt.f64 (+.f64 4 (.f64 2 a))))))
49.0ms	(.f64 a (.f64 (cbrt.f64 (+.f64 4 (.f64 a 2))) (cbrt.f64 (+.f64 4 (.f64 a 2)))))
41.0ms	(.f64 (cbrt.f64 (+.f64 4 (.f64 a 2))) (cbrt.f64 (+.f64 4 (*.f64 a 2))))
24.0ms	(.f64 (.f64 a (.f64 (cbrt.f64 (+.f64 4 (.f64 a 2))) (cbrt.f64 (+.f64 4 (.f64 a 2))))) (cbrt.f64 (+.f64 4 (.f64 2 a))))

Compiler

Compiled 1206 to 997 computations (17.3% saved)

simplify92.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4959	4064
1	4959	4064

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.1b	(.f64 b (.f64 b (*.f64 a 4)))
0.1b	(.f64 b (.f64 b (*.f64 a 4)))

rewrite9.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183` `pow1_binary64_3208`
6×	`pow-prod-down_binary64_3218` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180`
3×	`associate-l_binary64_3088`
2×	`*-un-lft-identity_binary64_3147` `add-sqr-sqrt_binary64_3169` `add-cube-cbrt_binary64_3182`
1×	`-commutative_binary64_3078` `associate-r*_binary64_3087` `add-log-exp_binary64_3186`

Counts

1 → 21

Calls

2 calls:

7.0ms	(.f64 b (.f64 b (*.f64 a 4)))
0.0ms	(.f64 b (.f64 b (*.f64 a 4)))

series77.0ms (0.1%)

Counts

1 → 6

Calls

1 calls:

76.0ms

(*.f64 b (*.f64 b (*.f64 a 4)))

Compiler

Compiled 84 to 84 computations (0% saved)

simplify63.0ms (0%)

Algorithm

1×	egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5672	300

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 4 (+.f64 (.f64 (.f64 a a) (-.f64 1 a)) (/.f64 (.f64 (.f64 b b) (+.f64 27 (pow.f64 a 3))) (+.f64 (.f64 3 3) (-.f64 (.f64 a a) (.f64 3 a))))))
0.0b	(+.f64 (.f64 (.f64 a a) (-.f64 1 a)) (/.f64 (.f64 (.f64 b b) (+.f64 27 (pow.f64 a 3))) (+.f64 (.f64 3 3) (-.f64 (.f64 a a) (*.f64 3 a)))))
0.0b	(+.f64 27 (pow.f64 a 3))
0.0b	(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (.f64 a a) (-.f64 1 a)) (/.f64 (.f64 (.f64 b b) (+.f64 27 (pow.f64 a 3))) (+.f64 (.f64 3 3) (-.f64 (.f64 a a) (.f64 3 a))))))) 1)
0.1b	(.f64 (.f64 a a) (-.f64 1 a))
0.3b	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
0.7b	(/.f64 (.f64 (.f64 b b) (+.f64 27 (pow.f64 a 3))) (+.f64 (.f64 3 3) (-.f64 (.f64 a a) (*.f64 3 a))))
3.1b	(.f64 (.f64 b b) (+.f64 27 (pow.f64 a 3)))

rewrite62.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-exp-log_binary64_3185`
23×	`add-cbrt-cube_binary64_3183`
17×	`*-un-lft-identity_binary64_3147` `add-sqr-sqrt_binary64_3169`
15×	`pow1_binary64_3208`
12×	`add-cube-cbrt_binary64_3182`
10×	`associate-r_binary64_3087`
9×	`prod-exp_binary64_3196` `cbrt-unprod_binary64_3180`
6×	`cancel-sign-sub-inv_binary64_3113` `pow-prod-down_binary64_3218` `associate-*r/_binary64_3089`
5×	`distribute-lft-in_binary64_3096` `distribute-rgt-in_binary64_3097`
4×	`add-log-exp_binary64_3186`
3×	`unpow-prod-down_binary64_3226` `times-frac_binary64_3153` `flip-+_binary64_3121` `associate-/r*_binary64_3091` `flip3-+_binary64_3150` `cbrt-undiv_binary64_3181` `div-exp_binary64_3198` `pow-unpow_binary64_3224`
2×	`-commutative_binary64_3078` `unswap-sqr_binary64_3115` `sub-neg_binary64_3140` `associate-/l/_binary64_3094` `difference-of-squares_binary64_3116` `associate-l*_binary64_3088` `associate-/r/_binary64_3093`
1×	`pow-exp_binary64_3215` `flip--_binary64_3122` `clear-num_binary64_3146` `flip3--_binary64_3151` `frac-2neg_binary64_3158` `unpow2_binary64_3212` `pow-to-exp_binary64_3216` `sqr-pow_binary64_3119` `distribute-lft-out_binary64_3098` `distribute-lft-out--_binary64_3099` `associate-/l*_binary64_3092` `pow-pow_binary64_3219` `div-inv_binary64_3144`

Counts

4 → 101

Calls

8 calls:

17.0ms	(/.f64 (.f64 (.f64 b b) (+.f64 27 (pow.f64 a 3))) (+.f64 (.f64 3 3) (-.f64 (.f64 a a) (*.f64 3 a))))
11.0ms	(.f64 (.f64 b b) (+.f64 27 (pow.f64 a 3)))
10.0ms	(.f64 (.f64 a a) (-.f64 1 a))
5.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
0.0ms	(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (.f64 (.f64 a a) (-.f64 1 a)) (/.f64 (.f64 (.f64 b b) (+.f64 27 (pow.f64 a 3))) (+.f64 (.f64 3 3) (-.f64 (.f64 a a) (.f64 3 a))))))) 1)

series544.0ms (0.4%)

Counts

4 → 34

Calls

4 calls:

219.0ms	(/.f64 (.f64 (.f64 b b) (+.f64 27 (pow.f64 a 3))) (+.f64 (.f64 3 3) (-.f64 (.f64 a a) (*.f64 3 a))))
142.0ms	(.f64 (.f64 b b) (+.f64 27 (pow.f64 a 3)))
132.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
52.0ms	(.f64 (.f64 a a) (-.f64 1 a))

Compiler

Compiled 2295 to 1698 computations (26% saved)

simplify56.0ms (0%)

Algorithm

1×	egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5825	2173

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (*.f64 a a) (pow.f64 a 3))
0.0b	(-.f64 a (*.f64 a a))
0.0b	(+.f64 (cbrt.f64 (.f64 (.f64 a (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) (-.f64 a (.f64 a a)))) (-.f64 (.f64 a a) (pow.f64 a 3)))) (.f64 (.f64 b b) (+.f64 3 a)))
0.0b	(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (cbrt.f64 (.f64 (.f64 a (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) (-.f64 a (.f64 a a)))) (-.f64 (.f64 a a) (pow.f64 a 3)))) (.f64 (*.f64 b b) (+.f64 3 a))))) 1)
0.1b	(.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) (-.f64 a (*.f64 a a)))
0.3b	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
0.6b	(.f64 (.f64 b b) (+.f64 3 a))
22.8b	(cbrt.f64 (.f64 (.f64 a (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) (-.f64 a (.f64 a a)))) (-.f64 (.f64 a a) (pow.f64 a 3))))

rewrite72.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`associate-*r/_binary64_3089`
33×	`flip--_binary64_3122` `flip3--_binary64_3151`
32×	`frac-times_binary64_3157`
26×	`cbrt-div_binary64_3179`
16×	`associate-*l/_binary64_3090` `add-sqr-sqrt_binary64_3169`
12×	`*-un-lft-identity_binary64_3147` `add-exp-log_binary64_3185` `pow1_binary64_3208`
11×	`add-cbrt-cube_binary64_3183`
10×	`associate-l_binary64_3088`
9×	`associate-r_binary64_3087` `add-cube-cbrt_binary64_3182`
5×	`difference-of-squares_binary64_3116`
4×	`unpow-prod-down_binary64_3226` `pow-prod-down_binary64_3218` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180` `add-log-exp_binary64_3186`
3×	`distribute-lft-in_binary64_3096` `pow-unpow_binary64_3224` `distribute-rgt-in_binary64_3097`
2×	`*-commutative_binary64_3078` `unswap-sqr_binary64_3115` `cancel-sign-sub-inv_binary64_3113` `sub-neg_binary64_3140` `sqr-pow_binary64_3119` `distribute-rgt-out--_binary64_3101`
1×	`pow-exp_binary64_3215` `pow1/3_binary64_3229` `flip-+_binary64_3121` `unpow2_binary64_3212` `flip3-+_binary64_3150` `pow-to-exp_binary64_3216` `cube-prod_binary64_3175` `distribute-lft-out_binary64_3098` `distribute-lft-out--_binary64_3099` `cube-mult_binary64_3177` `cbrt-prod_binary64_3178` `pow-pow_binary64_3219` `unpow3_binary64_3213`

Counts

4 → 115

Calls

8 calls:

22.0ms	(cbrt.f64 (.f64 (.f64 a (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) (-.f64 a (.f64 a a)))) (-.f64 (.f64 a a) (pow.f64 a 3))))
14.0ms	(.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) (-.f64 a (*.f64 a a)))
9.0ms	(.f64 (.f64 b b) (+.f64 3 a))
5.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
0.0ms	(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (+.f64 (cbrt.f64 (.f64 (.f64 a (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) (-.f64 a (.f64 a a)))) (-.f64 (.f64 a a) (pow.f64 a 3)))) (.f64 (*.f64 b b) (+.f64 3 a))))) 1)

series445.0ms (0.3%)

Counts

4 → 28

Calls

4 calls:

181.0ms	(cbrt.f64 (.f64 (.f64 a (.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) (-.f64 a (.f64 a a)))) (-.f64 (.f64 a a) (pow.f64 a 3))))
135.0ms	(.f64 (-.f64 (.f64 a a) (pow.f64 a 3)) (-.f64 a (*.f64 a a)))
79.0ms	(.f64 (.f64 b b) (+.f64 3 a))
48.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)

Compiler

Compiled 1959 to 1316 computations (32.8% saved)

simplify74.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5489	3524

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 a 2))))) (*.f64 (+.f64 a -4) (pow.f64 a 3))))
0.0b	(+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 a 2))))) (*.f64 (+.f64 a -4) (pow.f64 a 3)))
0.0b	(+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 a 2))))) (*.f64 (+.f64 a -4) (pow.f64 a 3)))
0.0b	(-.f64 (.f64 (sqrt.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 a 2))))) (.f64 (+.f64 a -4) (pow.f64 a 3))))) (sqrt.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 a 2))))) (*.f64 (+.f64 a -4) (pow.f64 a 3)))))) 1)
1.6b	(.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 a 2)))))
1.6b	(.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 a 2)))))
11.4b	(sqrt.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 a 2))))) (*.f64 (+.f64 a -4) (pow.f64 a 3)))))
11.4b	(sqrt.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 a 2))))) (*.f64 (+.f64 a -4) (pow.f64 a 3)))))

rewrite52.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`pow1_binary64_3208`
14×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183`
12×	`*-un-lft-identity_binary64_3147` `add-sqr-sqrt_binary64_3169`
8×	`add-cube-cbrt_binary64_3182` `sqrt-prod_binary64_3163`
6×	`pow-prod-down_binary64_3218` `associate-r_binary64_3087` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180`
4×	`flip-+_binary64_3121` `flip3-+_binary64_3150` `add-log-exp_binary64_3186` `sqrt-div_binary64_3164` `associate-*r/_binary64_3089`
2×	`-commutative_binary64_3078` `unswap-sqr_binary64_3115` `distribute-lft-out_binary64_3098` `rem-sqrt-square_binary64_3160` `distribute-lft-in_binary64_3096` `sqrt-pow1_binary64_3165` `pow1/2_binary64_3227` `associate-l*_binary64_3088` `distribute-rgt-in_binary64_3097`

Counts

4 → 78

Calls

8 calls:

11.0ms	(sqrt.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 a 2))))) (*.f64 (+.f64 a -4) (pow.f64 a 3)))))
10.0ms	(sqrt.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 a 2))))) (*.f64 (+.f64 a -4) (pow.f64 a 3)))))
8.0ms	(.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 a 2)))))
8.0ms	(.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 a 2)))))
0.0ms	(-.f64 (.f64 (sqrt.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 a 2))))) (.f64 (+.f64 a -4) (pow.f64 a 3))))) (sqrt.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 a 2))))) (*.f64 (+.f64 a -4) (pow.f64 a 3)))))) 1)

series1.0s (0.7%)

Counts

4 → 58

Calls

4 calls:

329.0ms	(sqrt.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 a 2))))) (*.f64 (+.f64 a -4) (pow.f64 a 3)))))
321.0ms	(sqrt.f64 (+.f64 (pow.f64 b 4) (+.f64 (.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 a 2))))) (*.f64 (+.f64 a -4) (pow.f64 a 3)))))
186.0ms	(.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 a 2)))))
176.0ms	(.f64 (.f64 b b) (+.f64 12 (.f64 a (+.f64 4 (.f64 a 2)))))

Compiler

Compiled 5170 to 4194 computations (18.9% saved)

simplify103.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4957	4424
1	4957	4424

prune34.0s (24.7%)

Pruning

517 alts after pruning (502 fresh and 15 done)

	Pruned	Kept	Total
New	432	172	604
Fresh	22	330	352
Picked	0	0	0
Done	0	15	15
Total	454	517	971

Error

Counts

971 → 517

Compiler

Compiled 20257 to 13073 computations (35.5% saved)

simplify948.0ms (0.7%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (12.0ms)

Iter	Nodes	Cost
0	5453	68654

regimes17.1s (12.4%)

Compiler: Compiled 253034 to 182158 computations (28% saved)

bsearch0.0ms (0%)

regimes1.5s (1.1%)

Compiler: Compiled 16729 to 12305 computations (26.4% saved)

bsearch0.0ms (0%)

regimes276.0ms (0.2%)

Compiler: Compiled 1774 to 1368 computations (22.9% saved)

bsearch46.0ms (0%)

Steps

Iters	Range		Point
5	3436087.660237079	11065765.177484704	3491160.435770424
8	-3.7966352278401687	-0.00024185980727217836	-3.7422719384935035

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes252.0ms (0.2%)

Compiler: Compiled 1542 to 1208 computations (21.7% saved)

bsearch44.0ms (0%)

Steps

Iters	Range		Point
5	3436087.660237079	11065765.177484704	3491160.435770424
8	-3.7966352278401687	-0.00024185980727217836	-3.7422719384935035

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes226.0ms (0.2%)

Compiler: Compiled 1242 to 992 computations (20.1% saved)

bsearch38.0ms (0%)

Steps

Iters	Range		Point
5	3436087.660237079	11065765.177484704	3931742.640037186
7	-1.6519358686333424e-05	-1.5401782606115647e-07	-1.611460634106778e-05

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes110.0ms (0.1%)

Compiler: Compiled 818 to 680 computations (16.9% saved)

bsearch0.0ms (0%)

regimes82.0ms (0.1%)

Compiler: Compiled 550 to 464 computations (15.6% saved)

bsearch0.0ms (0%)

regimes67.0ms (0%)

Compiler: Compiled 370 to 332 computations (10.3% saved)

bsearch0.0ms (0%)

regimes50.0ms (0%)

Compiler: Compiled 232 to 221 computations (4.7% saved)

bsearch0.0ms (0%)

regimes46.0ms (0%)

Accuracy

Total 0.4b remaining (99.1%)

Threshold costs 0.4b (99.1%)

Compiler

Compiled 178 to 179 computations (-0.6% saved)

bsearch13.0ms (0%)

Compiler: Compiled 306 to 201 computations (34.3% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	154	382
1	154	382

end0.0ms (0%)

sample42.7s (31%)

Algorithm

1×

intervals

Results

500.0ms	8000×	body	128	valid
0.0ms	5×	body	128	invalid

Compiler

Compiled 45966 to 33273 computations (27.6% saved)

Pareto

0.8788025919876581