Details

analyze979.0ms (0.6%)

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
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
25%	74.9%	0.1%	5
31.2%	68.6%	0.1%	6
32.8%	67.1%	0.1%	7
34.3%	65.5%	0.1%	8
38.2%	61.2%	0.5%	9
39.6%	53%	7.4%	10
40.3%	52.4%	7.4%	11
41.6%	49.6%	8.8%	12
42%	39.9%	18.1%	13
42.3%	39.6%	18.2%	14

Compiler

Compiled 16 to 13 computations (18.8% saved)

sample48.0ms (0%)

Algorithm

1×

intervals

Results

16.0ms	256×	body	128	valid
9.0ms	113×	body	128	invalid
3.0ms	68×	body	128	nan

Compiler

Compiled 34 to 34 computations (0% saved)

simplify225.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

4 → 4

Iterations

Useful iterations: 0 (120.0ms)

Iter	Nodes	Cost
0	5020	22

prune4.0ms (0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Kept	Total
New	4	4
Fresh	4	4
Picked	0	0
Done	0	0
Total	8	8

Error

1.4b

Counts

8 → 5

Compiler

Compiled 16 to 14 computations (12.5% saved)

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

1.4b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (+.f64 1 (.f64 10 k)) (*.f64 k k)))
0.0b	(+.f64 (+.f64 1 (.f64 10 k)) (.f64 k k))
0.0b	(*.f64 a (pow.f64 k m))
0.0b	(+.f64 1 (*.f64 10 k))
0.0b	(+.f64 1 (*.f64 10 k))
0.0b	(*.f64 a (pow.f64 k m))
0.0b	(+.f64 (+.f64 1 (.f64 10 k)) (.f64 k k))
1.4b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (+.f64 1 (.f64 10 k)) (*.f64 k k)))

rewrite29.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-exp-log_binary64_2503`
14×	`add-sqr-sqrt_binary64_2487`
11×	`add-log-exp_binary64_2504` `add-cbrt-cube_binary64_2501`
9×	`*-un-lft-identity_binary64_2465` `add-cube-cbrt_binary64_2500`
7×	`associate-r_binary64_2405`
6×	`prod-exp_binary64_2514`
4×	`sum-log_binary64_2556` `unpow-prod-down_binary64_2544` `div-exp_binary64_2516` `pow1_binary64_2526`
3×	`flip3-+_binary64_2468` `times-frac_binary64_2471` `associate-/r_binary64_2409` `flip-+_binary64_2439` `unswap-sqr_binary64_2433` `associate-l*_binary64_2406`
2×	`+-commutative_binary64_2395` `cbrt-undiv_binary64_2499` `pow-exp_binary64_2533` `pow-to-exp_binary64_2534` `sqr-pow_binary64_2437` `associate-/r/_binary64_2411` `cbrt-unprod_binary64_2498`
1×	`-commutative_binary64_2396` `associate-+l+_binary64_2398` `clear-num_binary64_2464` `div-inv_binary64_2462` `frac-2neg_binary64_2476` `associate-/l_binary64_2410`

Counts

4 → 74

Calls

8 calls:

9.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (+.f64 1 (.f64 10 k)) (*.f64 k k)))
5.0ms	(*.f64 a (pow.f64 k m))
5.0ms	(+.f64 (+.f64 1 (.f64 10 k)) (.f64 k k))
3.0ms	(+.f64 1 (*.f64 10 k))
0.0ms	(+.f64 1 (*.f64 10 k))

series655.0ms (0.4%)

Counts

4 → 42

Calls

4 calls:

339.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (+.f64 1 (.f64 10 k)) (*.f64 k k)))
220.0ms	(*.f64 a (pow.f64 k m))
68.0ms	(+.f64 (+.f64 1 (.f64 10 k)) (.f64 k k))
28.0ms	(+.f64 1 (*.f64 10 k))

Compiler

Compiled 1202 to 991 computations (17.6% saved)

simplify85.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4957	1894
1	4957	1894

localize14.0ms (0%)

Local error

Found 6 expressions with local error:

1.4b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
0.0b	(*.f64 a (pow.f64 k m))
0.0b	(*.f64 k (+.f64 k 10))
0.0b	(*.f64 k (+.f64 k 10))
0.0b	(*.f64 a (pow.f64 k m))
1.4b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))

rewrite25.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-exp-log_binary64_2503`
17×	`add-sqr-sqrt_binary64_2487`
12×	`*-un-lft-identity_binary64_2465` `add-cbrt-cube_binary64_2501`
11×	`associate-r_binary64_2405`
10×	`add-cube-cbrt_binary64_2500`
7×	`prod-exp_binary64_2514`
6×	`associate-l_binary64_2406`
5×	`pow1_binary64_2526`
4×	`unswap-sqr_binary64_2433` `unpow-prod-down_binary64_2544` `div-exp_binary64_2516`
3×	`add-log-exp_binary64_2504` `times-frac_binary64_2471` `associate-/r*_binary64_2409` `cbrt-unprod_binary64_2498`
2×	`flip3-+_binary64_2468` `-commutative_binary64_2396` `flip-+_binary64_2439` `associate-r/_binary64_2407` `cbrt-undiv_binary64_2499` `pow-exp_binary64_2533` `pow-to-exp_binary64_2534` `sqr-pow_binary64_2437` `associate-/r/_binary64_2411`
1×	`distribute-lft-in_binary64_2414` `clear-num_binary64_2464` `distribute-rgt-in_binary64_2415` `div-inv_binary64_2462` `frac-2neg_binary64_2476` `pow-prod-down_binary64_2536` `distribute-lft-out_binary64_2416` `associate-/l*_binary64_2410`

Counts

3 → 73

Calls

6 calls:

7.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
6.0ms	(*.f64 k (+.f64 k 10))
5.0ms	(*.f64 a (pow.f64 k m))
0.0ms	(*.f64 k (+.f64 k 10))
0.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))

series588.0ms (0.4%)

Counts

3 → 33

Calls

3 calls:

341.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
205.0ms	(*.f64 a (pow.f64 k m))
42.0ms	(*.f64 k (+.f64 k 10))

Compiler

Compiled 1006 to 845 computations (16% saved)

simplify49.0ms (0%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5123	1764

prune1.4s (0.9%)

Pruning

96 alts after pruning (95 fresh and 1 done)

	Pruned	Kept	Total
New	130	92	222
Fresh	0	3	3
Picked	0	0	0
Done	1	1	2
Total	131	96	227

Error

1.4b

Counts

227 → 96

Compiler

Compiled 4868 to 2950 computations (39.4% saved)

localize10.0ms (0%)

Local error

Found 6 expressions with local error:

1.4b	(/.f64 (neg.f64 (.f64 a (pow.f64 k m))) (-.f64 -1 (.f64 k (+.f64 k 10))))
0.0b	(*.f64 a (pow.f64 k m))
0.0b	(*.f64 k (+.f64 k 10))
0.0b	(*.f64 k (+.f64 k 10))
0.0b	(*.f64 a (pow.f64 k m))
1.4b	(/.f64 (neg.f64 (.f64 a (pow.f64 k m))) (-.f64 -1 (.f64 k (+.f64 k 10))))

rewrite26.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64_2487`
21×	`*-un-lft-identity_binary64_2465`
19×	`add-cube-cbrt_binary64_2500`
18×	`times-frac_binary64_2471`
12×	`add-exp-log_binary64_2503`
11×	`associate-r_binary64_2405`
9×	`add-cbrt-cube_binary64_2501`
6×	`associate-/l_binary64_2410` `associate-l*_binary64_2406`
5×	`pow1_binary64_2526`
4×	`distribute-lft-neg-in_binary64_2422` `distribute-rgt-neg-in_binary64_2423` `unswap-sqr_binary64_2433` `unpow-prod-down_binary64_2544` `prod-exp_binary64_2514` `neg-mul-1_binary64_2461`
3×	`add-log-exp_binary64_2504` `associate-/r*_binary64_2409`
2×	`-commutative_binary64_2396` `associate-r/_binary64_2407` `sqr-pow_binary64_2437` `associate-/r/_binary64_2411` `cbrt-unprod_binary64_2498`
1×	`flip3-+_binary64_2468` `distribute-lft-in_binary64_2414` `flip--_binary64_2440` `flip-+_binary64_2439` `clear-num_binary64_2464` `cbrt-undiv_binary64_2499` `div-sub_binary64_2470` `pow-exp_binary64_2533` `pow-to-exp_binary64_2534` `distribute-rgt-in_binary64_2415` `div-exp_binary64_2516` `div-inv_binary64_2462` `frac-2neg_binary64_2476` `pow-prod-down_binary64_2536` `distribute-lft-out_binary64_2416` `flip3--_binary64_2469` `distribute-frac-neg_binary64_2428` `neg-sub0_binary64_2460`

Counts

3 → 91

Calls

6 calls:

6.0ms	(*.f64 k (+.f64 k 10))
6.0ms	(/.f64 (neg.f64 (.f64 a (pow.f64 k m))) (-.f64 -1 (.f64 k (+.f64 k 10))))
6.0ms	(*.f64 a (pow.f64 k m))
0.0ms	(*.f64 k (+.f64 k 10))
0.0ms	(/.f64 (neg.f64 (.f64 a (pow.f64 k m))) (-.f64 -1 (.f64 k (+.f64 k 10))))

series578.0ms (0.4%)

Counts

3 → 33

Calls

3 calls:

333.0ms	(/.f64 (neg.f64 (.f64 a (pow.f64 k m))) (-.f64 -1 (.f64 k (+.f64 k 10))))
204.0ms	(*.f64 a (pow.f64 k m))
42.0ms	(*.f64 k (+.f64 k 10))

Compiler

Compiled 1035 to 874 computations (15.6% saved)

simplify57.0ms (0%)

Algorithm

1×	egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4976	2514
1	4976	2514

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

4.2b	(/.f64 a (+.f64 1 (*.f64 k (+.f64 k 10))))
0.0b	(*.f64 k (+.f64 k 10))
0.0b	(*.f64 k (+.f64 k 10))
4.2b	(/.f64 a (+.f64 1 (*.f64 k (+.f64 k 10))))

rewrite15.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`*-un-lft-identity_binary64_2465` `add-sqr-sqrt_binary64_2487`
12×	`add-cube-cbrt_binary64_2500`
9×	`times-frac_binary64_2471`
6×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
4×	`pow1_binary64_2526` `associate-r_binary64_2405`
3×	`associate-/r_binary64_2409` `associate-/l_binary64_2410` `associate-l_binary64_2406`
2×	`flip3-+_binary64_2468` `add-log-exp_binary64_2504` `flip-+_binary64_2439` `associate-*r/_binary64_2407` `associate-/r/_binary64_2411`
1×	`distribute-lft-in_binary64_2414` `*-commutative_binary64_2396` `clear-num_binary64_2464` `cbrt-undiv_binary64_2499` `unswap-sqr_binary64_2433` `distribute-rgt-in_binary64_2415` `div-exp_binary64_2516` `div-inv_binary64_2462` `prod-exp_binary64_2514` `frac-2neg_binary64_2476` `pow-prod-down_binary64_2536` `distribute-lft-out_binary64_2416` `cbrt-unprod_binary64_2498`

Counts

2 → 52

Calls

4 calls:

6.0ms	(*.f64 k (+.f64 k 10))
5.0ms	(/.f64 a (+.f64 1 (*.f64 k (+.f64 k 10))))
0.0ms	(*.f64 k (+.f64 k 10))
0.0ms	(/.f64 a (+.f64 1 (*.f64 k (+.f64 k 10))))

series166.0ms (0.1%)

Counts

2 → 18

Calls

2 calls:

124.0ms	(/.f64 a (+.f64 1 (*.f64 k (+.f64 k 10))))
41.0ms	(*.f64 k (+.f64 k 10))

Compiler

Compiled 297 to 286 computations (3.7% saved)

simplify73.0ms (0%)

Algorithm

1×	egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4928	1077
1	4928	1077

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(pow.f64 (*.f64 k 10) 3)
0.1b	(.f64 k (+.f64 (.f64 k 100) -10))
0.0b	(+.f64 (/.f64 (+.f64 1 (pow.f64 (.f64 k 10) 3)) (+.f64 1 (.f64 k (+.f64 (.f64 k 100) -10)))) (.f64 k k))
0.0b	(*.f64 a (pow.f64 k m))
0.1b	(.f64 k (+.f64 (.f64 k 100) -10))
0.2b	(pow.f64 (*.f64 k 10) 3)
1.4b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (/.f64 (+.f64 1 (pow.f64 (.f64 k 10) 3)) (+.f64 1 (.f64 k (+.f64 (.f64 k 100) -10)))) (*.f64 k k)))
19.6b	(/.f64 (+.f64 1 (pow.f64 (.f64 k 10) 3)) (+.f64 1 (.f64 k (+.f64 (*.f64 k 100) -10))))

rewrite51.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`*-un-lft-identity_binary64_2465`
21×	`add-exp-log_binary64_2503`
20×	`add-sqr-sqrt_binary64_2487`
18×	`add-cube-cbrt_binary64_2500`
16×	`add-cbrt-cube_binary64_2501`
15×	`times-frac_binary64_2471`
9×	`pow1_binary64_2526`
6×	`associate-/r*_binary64_2409`
5×	`div-exp_binary64_2516` `prod-exp_binary64_2514` `associate-/l*_binary64_2410`
4×	`flip3-+_binary64_2468` `add-log-exp_binary64_2504` `flip-+_binary64_2439` `associate-/r/_binary64_2411` `distribute-lft-out_binary64_2416`
3×	`cbrt-undiv_binary64_2499` `pow-exp_binary64_2533` `associate-r_binary64_2405` `pow-unpow_binary64_2542` `associate-l_binary64_2406` `cbrt-unprod_binary64_2498`
2×	`rem-cube-cbrt_binary64_2488` `associate-/l/_binary64_2412` `associate-*r/_binary64_2407` `clear-num_binary64_2464` `pow-to-exp_binary64_2534` `div-inv_binary64_2462` `pow-pow_binary64_2537` `frac-2neg_binary64_2476` `pow-prod-down_binary64_2536`
1×	`distribute-lft-in_binary64_2414` `unpow3_binary64_2531` `*-commutative_binary64_2396` `cube-prod_binary64_2493` `unswap-sqr_binary64_2433` `cube-mult_binary64_2495` `distribute-rgt-in_binary64_2415` `unpow-prod-down_binary64_2544` `sqr-pow_binary64_2437`

Counts

4 → 104

Calls

8 calls:

16.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (/.f64 (+.f64 1 (pow.f64 (.f64 k 10) 3)) (+.f64 1 (.f64 k (+.f64 (.f64 k 100) -10)))) (*.f64 k k)))
9.0ms	(/.f64 (+.f64 1 (pow.f64 (.f64 k 10) 3)) (+.f64 1 (.f64 k (+.f64 (*.f64 k 100) -10))))
7.0ms	(.f64 k (+.f64 (.f64 k 100) -10))
4.0ms	(pow.f64 (*.f64 k 10) 3)
0.0ms	(*.f64 a (pow.f64 k m))

series1.3s (0.8%)

Counts

4 → 30

Calls

4 calls:

1.1s	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (/.f64 (+.f64 1 (pow.f64 (.f64 k 10) 3)) (+.f64 1 (.f64 k (+.f64 (.f64 k 100) -10)))) (*.f64 k k)))
108.0ms	(/.f64 (+.f64 1 (pow.f64 (.f64 k 10) 3)) (+.f64 1 (.f64 k (+.f64 (*.f64 k 100) -10))))
51.0ms	(.f64 k (+.f64 (.f64 k 100) -10))
38.0ms	(pow.f64 (*.f64 k 10) 3)

Compiler

Compiled 1609 to 1338 computations (16.8% saved)

simplify71.0ms (0%)

Algorithm

1×	egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5272	4079

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

5.4b	(-.f64 (/.f64 (.f64 a (pow.f64 k m)) (.f64 k k)) (.f64 10 (/.f64 (.f64 a (pow.f64 k m)) (pow.f64 k 3))))
0.1b	(.f64 10 (/.f64 (.f64 a (pow.f64 k m)) (pow.f64 k 3)))
0.0b	(*.f64 a (pow.f64 k m))
0.0b	(*.f64 a (pow.f64 k m))
0.1b	(.f64 10 (/.f64 (.f64 a (pow.f64 k m)) (pow.f64 k 3)))
5.4b	(-.f64 (/.f64 (.f64 a (pow.f64 k m)) (.f64 k k)) (.f64 10 (/.f64 (.f64 a (pow.f64 k m)) (pow.f64 k 3))))
13.5b	(/.f64 (.f64 a (pow.f64 k m)) (.f64 k k))
14.8b	(/.f64 (*.f64 a (pow.f64 k m)) (pow.f64 k 3))

rewrite49.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

94×	`add-exp-log_binary64_2503`
41×	`prod-exp_binary64_2514`
32×	`div-exp_binary64_2516`
30×	`add-cbrt-cube_binary64_2501`
25×	`times-frac_binary64_2471`
17×	`add-sqr-sqrt_binary64_2487`
16×	`pow-exp_binary64_2533` `pow-to-exp_binary64_2534` `associate-r_binary64_2405`
15×	`*-un-lft-identity_binary64_2465` `add-cube-cbrt_binary64_2500`
13×	`associate-/r*_binary64_2409`
9×	`cube-prod_binary64_2493` `unpow-prod-down_binary64_2544` `cbrt-unprod_binary64_2498`
8×	`cbrt-undiv_binary64_2499`
6×	`add-log-exp_binary64_2504` `pow1_binary64_2526`
3×	`unpow3_binary64_2531` `cube-mult_binary64_2495` `div-inv_binary64_2462` `sqr-pow_binary64_2437` `associate-l_binary64_2406`
2×	`associate-r/_binary64_2407` `clear-num_binary64_2464` `frac-2neg_binary64_2476` `associate-/l_binary64_2410`
1×	`*-commutative_binary64_2396` `flip--_binary64_2440` `sub-neg_binary64_2458` `unswap-sqr_binary64_2433` `cancel-sign-sub-inv_binary64_2431` `diff-log_binary64_2557` `pow-prod-down_binary64_2536` `flip3--_binary64_2469` `frac-sub_binary64_2474`

Counts

4 → 133

Calls

8 calls:

11.0ms	(.f64 10 (/.f64 (.f64 a (pow.f64 k m)) (pow.f64 k 3)))
9.0ms	(-.f64 (/.f64 (.f64 a (pow.f64 k m)) (.f64 k k)) (.f64 10 (/.f64 (.f64 a (pow.f64 k m)) (pow.f64 k 3))))
7.0ms	(/.f64 (*.f64 a (pow.f64 k m)) (pow.f64 k 3))
7.0ms	(/.f64 (.f64 a (pow.f64 k m)) (.f64 k k))
0.0ms	(*.f64 a (pow.f64 k m))

series1.5s (1%)

Counts

4 → 38

Calls

4 calls:

595.0ms	(-.f64 (/.f64 (.f64 a (pow.f64 k m)) (.f64 k k)) (.f64 10 (/.f64 (.f64 a (pow.f64 k m)) (pow.f64 k 3))))
341.0ms	(.f64 10 (/.f64 (.f64 a (pow.f64 k m)) (pow.f64 k 3)))
306.0ms	(/.f64 (*.f64 a (pow.f64 k m)) (pow.f64 k 3))
268.0ms	(/.f64 (.f64 a (pow.f64 k m)) (.f64 k k))

Compiler

Compiled 1660 to 1179 computations (29% saved)

simplify90.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4991	3002
1	4991	3002

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(*.f64 a (pow.f64 k m))
0.0b	(*.f64 a (pow.f64 k m))
0.0b	(*.f64 k (+.f64 k 10))
0.0b	(*.f64 k (+.f64 k 10))
1.4b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
1.4b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
7.3b	(sqrt.f64 (/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10)))))
7.3b	(sqrt.f64 (/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10)))))

rewrite37.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-exp-log_binary64_2503`
18×	`sqrt-prod_binary64_2481`
14×	`add-sqr-sqrt_binary64_2487` `add-cbrt-cube_binary64_2501`
12×	`*-un-lft-identity_binary64_2465` `times-frac_binary64_2471` `add-cube-cbrt_binary64_2500`
8×	`div-exp_binary64_2516` `associate-/r/_binary64_2411`
6×	`associate-/r*_binary64_2409` `pow1_binary64_2526` `prod-exp_binary64_2514`
4×	`flip3-+_binary64_2468` `add-log-exp_binary64_2504` `flip-+_binary64_2439` `cbrt-undiv_binary64_2499` `div-inv_binary64_2462`
2×	`pow1/2_binary64_2545` `clear-num_binary64_2464` `pow-exp_binary64_2533` `pow-to-exp_binary64_2534` `rem-sqrt-square_binary64_2478` `frac-2neg_binary64_2476` `sqrt-div_binary64_2482` `sqrt-pow1_binary64_2483` `associate-/l*_binary64_2410` `cbrt-unprod_binary64_2498`

Counts

4 → 90

Calls

8 calls:

7.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
7.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
6.0ms	(sqrt.f64 (/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10)))))
5.0ms	(sqrt.f64 (/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10)))))
0.0ms	(*.f64 k (+.f64 k 10))

series1.3s (0.8%)

Counts

4 → 62

Calls

4 calls:

359.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
353.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
284.0ms	(sqrt.f64 (/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10)))))
281.0ms	(sqrt.f64 (/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10)))))

Compiler

Compiled 3922 to 2952 computations (24.7% saved)

simplify71.0ms (0%)

Algorithm

1×	egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	4969	4182
1	4969	4182

prune16.0s (10.2%)

Pruning

305 alts after pruning (300 fresh and 5 done)

	Pruned	Kept	Total
New	433	218	651
Fresh	8	82	90
Picked	0	0	0
Done	1	5	6
Total	442	305	747

Error

0.0b

Counts

747 → 305

Compiler

Compiled 22292 to 14056 computations (36.9% saved)

localize11.0ms (0%)

Local error

Found 6 expressions with local error:

1.4b	(/.f64 (neg.f64 (.f64 1 (.f64 a (pow.f64 k m)))) (-.f64 -1 (*.f64 k (+.f64 k 10))))
0.0b	(*.f64 a (pow.f64 k m))
0.0b	(*.f64 k (+.f64 k 10))
0.0b	(*.f64 k (+.f64 k 10))
0.0b	(*.f64 a (pow.f64 k m))
1.4b	(/.f64 (neg.f64 (.f64 1 (.f64 a (pow.f64 k m)))) (-.f64 -1 (*.f64 k (+.f64 k 10))))

rewrite26.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64_2487`
21×	`*-un-lft-identity_binary64_2465`
19×	`add-cube-cbrt_binary64_2500`
18×	`times-frac_binary64_2471`
12×	`add-exp-log_binary64_2503`
11×	`associate-r_binary64_2405`
9×	`add-cbrt-cube_binary64_2501`
6×	`associate-/l_binary64_2410` `associate-l*_binary64_2406`
5×	`pow1_binary64_2526`
4×	`distribute-lft-neg-in_binary64_2422` `distribute-rgt-neg-in_binary64_2423` `unswap-sqr_binary64_2433` `unpow-prod-down_binary64_2544` `prod-exp_binary64_2514` `neg-mul-1_binary64_2461`
3×	`add-log-exp_binary64_2504` `associate-/r*_binary64_2409`
2×	`-commutative_binary64_2396` `associate-r/_binary64_2407` `sqr-pow_binary64_2437` `associate-/r/_binary64_2411` `cbrt-unprod_binary64_2498`
1×	`flip3-+_binary64_2468` `distribute-lft-in_binary64_2414` `flip--_binary64_2440` `flip-+_binary64_2439` `clear-num_binary64_2464` `cbrt-undiv_binary64_2499` `div-sub_binary64_2470` `pow-exp_binary64_2533` `pow-to-exp_binary64_2534` `distribute-rgt-in_binary64_2415` `div-exp_binary64_2516` `div-inv_binary64_2462` `frac-2neg_binary64_2476` `pow-prod-down_binary64_2536` `distribute-lft-out_binary64_2416` `flip3--_binary64_2469` `distribute-frac-neg_binary64_2428` `neg-sub0_binary64_2460`

Counts

3 → 91

Calls

6 calls:

6.0ms	(/.f64 (neg.f64 (.f64 1 (.f64 a (pow.f64 k m)))) (-.f64 -1 (*.f64 k (+.f64 k 10))))
6.0ms	(*.f64 k (+.f64 k 10))
5.0ms	(*.f64 a (pow.f64 k m))
0.0ms	(*.f64 k (+.f64 k 10))
0.0ms	(*.f64 a (pow.f64 k m))

series571.0ms (0.4%)

Counts

3 → 33

Calls

3 calls:

328.0ms	(/.f64 (neg.f64 (.f64 1 (.f64 a (pow.f64 k m)))) (-.f64 -1 (*.f64 k (+.f64 k 10))))
200.0ms	(*.f64 a (pow.f64 k m))
42.0ms	(*.f64 k (+.f64 k 10))

Compiler

Compiled 1093 to 932 computations (14.7% saved)

simplify74.0ms (0%)

Algorithm

1×	egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4947	2532
1	4947	2532

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

7.6b	(/.f64 a (*.f64 k k))
7.6b	(/.f64 a (*.f64 k k))

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
3×	`-un-lft-identity_binary64_2465` `times-frac_binary64_2471` `add-cube-cbrt_binary64_2500` `add-sqr-sqrt_binary64_2487` `associate-/l_binary64_2410`
2×	`cbrt-undiv_binary64_2499` `div-exp_binary64_2516`
1×	`add-log-exp_binary64_2504` `associate-/r*_binary64_2409` `clear-num_binary64_2464` `div-inv_binary64_2462` `pow1_binary64_2526` `prod-exp_binary64_2514` `frac-2neg_binary64_2476` `cbrt-unprod_binary64_2498`

Counts

1 → 21

Calls

2 calls:

4.0ms	(/.f64 a (*.f64 k k))
0.0ms	(/.f64 a (*.f64 k k))

series69.0ms (0%)

Counts

1 → 6

Calls

1 calls:

69.0ms

(/.f64 a (*.f64 k k))

Compiler

Compiled 60 to 72 computations (-20% saved)

simplify82.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	6109	244

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

1.0b	(/.f64 (exp.f64 (log.f64 (.f64 a (pow.f64 k m)))) (+.f64 1 (.f64 k (+.f64 k 10))))
0.5b	(log.f64 (*.f64 a (pow.f64 k m)))
0.0b	(*.f64 a (pow.f64 k m))
0.0b	(*.f64 k (+.f64 k 10))
0.0b	(*.f64 a (pow.f64 k m))
0.5b	(log.f64 (*.f64 a (pow.f64 k m)))
1.0b	(/.f64 (exp.f64 (log.f64 (.f64 a (pow.f64 k m)))) (+.f64 1 (.f64 k (+.f64 k 10))))
1.5b	(exp.f64 (log.f64 (*.f64 a (pow.f64 k m))))

rewrite29.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64_2487`
17×	`*-un-lft-identity_binary64_2465` `add-cube-cbrt_binary64_2500`
16×	`add-exp-log_binary64_2503`
12×	`times-frac_binary64_2471`
8×	`add-cbrt-cube_binary64_2501`
7×	`associate-r_binary64_2405`
6×	`log-prod_binary64_2551` `pow1_binary64_2526` `prod-exp_binary64_2514`
5×	`exp-sum_binary64_2511`
4×	`add-log-exp_binary64_2504` `unpow-prod-down_binary64_2544` `exp-prod_binary64_2517` `associate-/l*_binary64_2410` `rem-log-exp_binary64_2506`
3×	`associate-/r_binary64_2409` `unswap-sqr_binary64_2433` `associate-l*_binary64_2406`
2×	`log-pow_binary64_2554` `pow-exp_binary64_2533` `pow-to-exp_binary64_2534` `sqr-pow_binary64_2437` `associate-/r/_binary64_2411`
1×	`flip3-+_binary64_2468` `*-commutative_binary64_2396` `flip-+_binary64_2439` `clear-num_binary64_2464` `cbrt-undiv_binary64_2499` `div-exp_binary64_2516` `div-inv_binary64_2462` `frac-2neg_binary64_2476` `rem-exp-log_binary64_2505` `cbrt-unprod_binary64_2498`

Counts

4 → 84

Calls

8 calls:

8.0ms	(/.f64 (exp.f64 (log.f64 (.f64 a (pow.f64 k m)))) (+.f64 1 (.f64 k (+.f64 k 10))))
5.0ms	(*.f64 a (pow.f64 k m))
4.0ms	(exp.f64 (log.f64 (*.f64 a (pow.f64 k m))))
3.0ms	(log.f64 (*.f64 a (pow.f64 k m)))
0.0ms	(*.f64 k (+.f64 k 10))

series1.5s (1%)

Counts

4 → 49

Calls

4 calls:

455.0ms	(/.f64 (exp.f64 (log.f64 (.f64 a (pow.f64 k m)))) (+.f64 1 (.f64 k (+.f64 k 10))))
425.0ms	(exp.f64 (log.f64 (*.f64 a (pow.f64 k m))))
425.0ms	(log.f64 (*.f64 a (pow.f64 k m)))
201.0ms	(*.f64 a (pow.f64 k m))

Compiler

Compiled 1740 to 1479 computations (15% saved)

simplify88.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4965	2341
1	4965	2341

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

5.4b	(-.f64 (/.f64 (.f64 a (pow.f64 k m)) (.f64 k k)) (.f64 (.f64 (/.f64 a (*.f64 k k)) 10) (/.f64 (pow.f64 k m) (cbrt.f64 (pow.f64 k 3)))))
0.2b	(.f64 (/.f64 a (.f64 k k)) 10)
0.0b	(*.f64 a (pow.f64 k m))
0.0b	(/.f64 (pow.f64 k m) (cbrt.f64 (pow.f64 k 3)))
7.6b	(/.f64 a (*.f64 k k))
11.9b	(.f64 (.f64 (/.f64 a (*.f64 k k)) 10) (/.f64 (pow.f64 k m) (cbrt.f64 (pow.f64 k 3))))
13.5b	(/.f64 (.f64 a (pow.f64 k m)) (.f64 k k))
40.9b	(cbrt.f64 (pow.f64 k 3))

rewrite77.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

109×	`times-frac_binary64_2471` `associate-r_binary64_2405`
97×	`add-exp-log_binary64_2503`
96×	`cbrt-prod_binary64_2496`
69×	`unpow-prod-down_binary64_2544`
68×	`*-un-lft-identity_binary64_2465` `add-cube-cbrt_binary64_2500` `add-sqr-sqrt_binary64_2487`
49×	`add-cbrt-cube_binary64_2501`
43×	`prod-exp_binary64_2514`
30×	`div-exp_binary64_2516`
24×	`cube-prod_binary64_2493`
23×	`sqr-pow_binary64_2437`
21×	`cbrt-unprod_binary64_2498`
14×	`cbrt-undiv_binary64_2499`
9×	`pow1_binary64_2526`
8×	`unpow3_binary64_2531` `cube-mult_binary64_2495`
6×	`pow-exp_binary64_2533` `pow-to-exp_binary64_2534`
4×	`add-log-exp_binary64_2504` `associate-/l*_binary64_2410`
3×	`associate-*l/_binary64_2408` `div-inv_binary64_2462` `pow-prod-down_binary64_2536`
2×	`associate-/r*_binary64_2409` `clear-num_binary64_2464` `frac-2neg_binary64_2476`
1×	`-commutative_binary64_2396` `frac-times_binary64_2475` `associate-r/_binary64_2407` `pow1/3_binary64_2547` `rem-cbrt-cube_binary64_2489` `associate-l_binary64_2406`

Counts

4 → 214

Calls

8 calls:

31.0ms	(.f64 (.f64 (/.f64 a (*.f64 k k)) 10) (/.f64 (pow.f64 k m) (cbrt.f64 (pow.f64 k 3))))
7.0ms	(/.f64 (.f64 a (pow.f64 k m)) (.f64 k k))
4.0ms	(/.f64 a (*.f64 k k))
2.0ms	(cbrt.f64 (pow.f64 k 3))
0.0ms	(/.f64 (pow.f64 k m) (cbrt.f64 (pow.f64 k 3)))

series728.0ms (0.5%)

Counts

4 → 27

Calls

4 calls:

368.0ms	(.f64 (.f64 (/.f64 a (*.f64 k k)) 10) (/.f64 (pow.f64 k m) (cbrt.f64 (pow.f64 k 3))))
265.0ms	(/.f64 (.f64 a (pow.f64 k m)) (.f64 k k))
71.0ms	(/.f64 a (*.f64 k k))
25.0ms	(cbrt.f64 (pow.f64 k 3))

Compiler

Compiled 1372 to 946 computations (31% saved)

simplify91.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

241 → 241

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4960	4218
1	4960	4218

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 a (.f64 (cbrt.f64 (pow.f64 k m)) (cbrt.f64 (pow.f64 k m))))
0.0b	(*.f64 (cbrt.f64 (pow.f64 k m)) (cbrt.f64 (pow.f64 k m)))
0.0b	(.f64 (.f64 a (*.f64 (cbrt.f64 (pow.f64 k m)) (cbrt.f64 (pow.f64 k m)))) (cbrt.f64 (pow.f64 k m)))
0.0b	(+.f64 1 (*.f64 10 k))
0.0b	(cbrt.f64 (pow.f64 k m))
0.0b	(cbrt.f64 (pow.f64 k m))
0.0b	(cbrt.f64 (pow.f64 k m))
1.4b	(/.f64 (.f64 (.f64 a (.f64 (cbrt.f64 (pow.f64 k m)) (cbrt.f64 (pow.f64 k m)))) (cbrt.f64 (pow.f64 k m))) (+.f64 (+.f64 1 (.f64 10 k)) (*.f64 k k)))

rewrite34.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`cbrt-prod_binary64_2496`
18×	`add-exp-log_binary64_2503`
13×	`add-cbrt-cube_binary64_2501`
12×	`*-un-lft-identity_binary64_2465` `add-cube-cbrt_binary64_2500` `add-sqr-sqrt_binary64_2487`
9×	`unpow-prod-down_binary64_2544`
6×	`prod-exp_binary64_2514` `cbrt-unprod_binary64_2498`
4×	`add-log-exp_binary64_2504` `cbrt-undiv_binary64_2499` `div-exp_binary64_2516` `pow1_binary64_2526`
3×	`times-frac_binary64_2471` `associate-/r*_binary64_2409` `pow1/3_binary64_2547` `sqr-pow_binary64_2437`
2×	`associate-/r/_binary64_2411`
1×	`flip3-+_binary64_2468` `flip-+_binary64_2439` `clear-num_binary64_2464` `div-inv_binary64_2462` `frac-2neg_binary64_2476` `associate-/l*_binary64_2410`

Counts

4 → 72

Calls

8 calls:

20.0ms	(/.f64 (.f64 (.f64 a (.f64 (cbrt.f64 (pow.f64 k m)) (cbrt.f64 (pow.f64 k m)))) (cbrt.f64 (pow.f64 k m))) (+.f64 (+.f64 1 (.f64 10 k)) (*.f64 k k)))
2.0ms	(cbrt.f64 (pow.f64 k m))
2.0ms	(cbrt.f64 (pow.f64 k m))
2.0ms	(cbrt.f64 (pow.f64 k m))
0.0ms	(+.f64 1 (*.f64 10 k))

series1.1s (0.7%)

Counts

4 → 42

Calls

4 calls:

335.0ms	(/.f64 (.f64 (.f64 a (.f64 (cbrt.f64 (pow.f64 k m)) (cbrt.f64 (pow.f64 k m)))) (cbrt.f64 (pow.f64 k m))) (+.f64 (+.f64 1 (.f64 10 k)) (*.f64 k k)))
275.0ms	(cbrt.f64 (pow.f64 k m))
271.0ms	(cbrt.f64 (pow.f64 k m))
259.0ms	(cbrt.f64 (pow.f64 k m))

Compiler

Compiled 1879 to 1369 computations (27.1% saved)

simplify54.0ms (0%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5357	2038

prune23.9s (15.3%)

Pruning

439 alts after pruning (430 fresh and 9 done)

	Pruned	Kept	Total
New	472	167	639
Fresh	32	263	295
Picked	0	0	0
Done	1	9	10
Total	505	439	944

Error

0.0b

Counts

944 → 439

Compiler

Compiled 24078 to 13877 computations (42.4% saved)

localize12.0ms (0%)

Local error

Found 6 expressions with local error:

1.4b	(/.f64 (neg.f64 (.f64 1 (.f64 1 (.f64 a (pow.f64 k m))))) (-.f64 -1 (.f64 k (+.f64 k 10))))
0.0b	(*.f64 a (pow.f64 k m))
0.0b	(*.f64 k (+.f64 k 10))
0.0b	(*.f64 k (+.f64 k 10))
0.0b	(*.f64 a (pow.f64 k m))
1.4b	(/.f64 (neg.f64 (.f64 1 (.f64 1 (.f64 a (pow.f64 k m))))) (-.f64 -1 (.f64 k (+.f64 k 10))))

rewrite28.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64_2487`
21×	`*-un-lft-identity_binary64_2465`
19×	`add-cube-cbrt_binary64_2500`
18×	`times-frac_binary64_2471`
12×	`add-exp-log_binary64_2503`
11×	`associate-r_binary64_2405`
9×	`add-cbrt-cube_binary64_2501`
6×	`associate-/l_binary64_2410` `associate-l*_binary64_2406`
5×	`pow1_binary64_2526`
4×	`distribute-lft-neg-in_binary64_2422` `distribute-rgt-neg-in_binary64_2423` `unswap-sqr_binary64_2433` `unpow-prod-down_binary64_2544` `prod-exp_binary64_2514` `neg-mul-1_binary64_2461`
3×	`add-log-exp_binary64_2504` `associate-/r*_binary64_2409`
2×	`-commutative_binary64_2396` `associate-r/_binary64_2407` `sqr-pow_binary64_2437` `associate-/r/_binary64_2411` `cbrt-unprod_binary64_2498`
1×	`flip3-+_binary64_2468` `distribute-lft-in_binary64_2414` `flip--_binary64_2440` `flip-+_binary64_2439` `clear-num_binary64_2464` `cbrt-undiv_binary64_2499` `div-sub_binary64_2470` `pow-exp_binary64_2533` `pow-to-exp_binary64_2534` `distribute-rgt-in_binary64_2415` `div-exp_binary64_2516` `div-inv_binary64_2462` `frac-2neg_binary64_2476` `pow-prod-down_binary64_2536` `distribute-lft-out_binary64_2416` `flip3--_binary64_2469` `distribute-frac-neg_binary64_2428` `neg-sub0_binary64_2460`

Counts

3 → 91

Calls

6 calls:

7.0ms	(/.f64 (neg.f64 (.f64 1 (.f64 1 (.f64 a (pow.f64 k m))))) (-.f64 -1 (.f64 k (+.f64 k 10))))
6.0ms	(*.f64 k (+.f64 k 10))
6.0ms	(*.f64 a (pow.f64 k m))
0.0ms	(*.f64 k (+.f64 k 10))
0.0ms	(/.f64 (neg.f64 (.f64 1 (.f64 1 (.f64 a (pow.f64 k m))))) (-.f64 -1 (.f64 k (+.f64 k 10))))

series575.0ms (0.4%)

Counts

3 → 33

Calls

3 calls:

335.0ms	(/.f64 (neg.f64 (.f64 1 (.f64 1 (.f64 a (pow.f64 k m))))) (-.f64 -1 (.f64 k (+.f64 k 10))))
200.0ms	(*.f64 a (pow.f64 k m))
40.0ms	(*.f64 k (+.f64 k 10))

Compiler

Compiled 1151 to 990 computations (14% saved)

simplify79.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4946	2496
1	4946	2496

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.1b	(/.f64 (/.f64 a k) k)
0.1b	(/.f64 (/.f64 a k) k)

rewrite13.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`times-frac_binary64_2471`
43×	`*-un-lft-identity_binary64_2465` `add-cube-cbrt_binary64_2500` `add-sqr-sqrt_binary64_2487`
13×	`associate-/l*_binary64_2410`
6×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
5×	`div-inv_binary64_2462`
3×	`associate-/r*_binary64_2409` `cbrt-undiv_binary64_2499` `div-exp_binary64_2516`
1×	`add-log-exp_binary64_2504` `associate-/l/_binary64_2412` `clear-num_binary64_2464` `pow1_binary64_2526` `frac-2neg_binary64_2476`

Counts

1 → 70

Calls

2 calls:

6.0ms	(/.f64 (/.f64 a k) k)
0.0ms	(/.f64 (/.f64 a k) k)

series67.0ms (0%)

Counts

1 → 6

Calls

1 calls:

67.0ms

(/.f64 (/.f64 a k) k)

Compiler

Compiled 60 to 72 computations (-20% saved)

simplify99.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4763	1090
1	4763	1090

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

1.4b	(/.f64 (neg.f64 (.f64 a (pow.f64 k m))) (-.f64 -1 (.f64 (sqrt.f64 k) (*.f64 (+.f64 k 10) (sqrt.f64 k)))))
0.2b	(.f64 (sqrt.f64 k) (.f64 (+.f64 k 10) (sqrt.f64 k)))
0.2b	(*.f64 (+.f64 k 10) (sqrt.f64 k))
0.0b	(*.f64 a (pow.f64 k m))
0.0b	(*.f64 a (pow.f64 k m))
0.2b	(*.f64 (+.f64 k 10) (sqrt.f64 k))
0.2b	(.f64 (sqrt.f64 k) (.f64 (+.f64 k 10) (sqrt.f64 k)))
1.4b	(/.f64 (neg.f64 (.f64 a (pow.f64 k m))) (-.f64 -1 (.f64 (sqrt.f64 k) (*.f64 (+.f64 k 10) (sqrt.f64 k)))))

rewrite40.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-sqr-sqrt_binary64_2487`
25×	`*-un-lft-identity_binary64_2465`
23×	`add-cube-cbrt_binary64_2500`
18×	`times-frac_binary64_2471` `add-exp-log_binary64_2503`
15×	`add-cbrt-cube_binary64_2501`
14×	`associate-r_binary64_2405`
13×	`associate-l_binary64_2406`
11×	`pow1_binary64_2526`
7×	`sqrt-prod_binary64_2481` `prod-exp_binary64_2514`
6×	`associate-/l*_binary64_2410`
5×	`unswap-sqr_binary64_2433` `cbrt-unprod_binary64_2498`
4×	`distribute-lft-neg-in_binary64_2422` `associate-*l/_binary64_2408` `add-log-exp_binary64_2504` `distribute-rgt-neg-in_binary64_2423` `unpow-prod-down_binary64_2544` `neg-mul-1_binary64_2461` `pow-prod-down_binary64_2536`
3×	`-commutative_binary64_2396` `associate-/r_binary64_2409`
2×	`flip3-+_binary64_2468` `flip-+_binary64_2439` `associate-*r/_binary64_2407` `sqr-pow_binary64_2437` `associate-/r/_binary64_2411`
1×	`flip--_binary64_2440` `clear-num_binary64_2464` `cbrt-undiv_binary64_2499` `div-sub_binary64_2470` `pow-exp_binary64_2533` `pow-to-exp_binary64_2534` `div-exp_binary64_2516` `div-inv_binary64_2462` `frac-2neg_binary64_2476` `distribute-lft-out_binary64_2416` `flip3--_binary64_2469` `distribute-frac-neg_binary64_2428` `neg-sub0_binary64_2460`

Counts

4 → 116

Calls

8 calls:

10.0ms	(.f64 (sqrt.f64 k) (.f64 (+.f64 k 10) (sqrt.f64 k)))
7.0ms	(*.f64 (+.f64 k 10) (sqrt.f64 k))
6.0ms	(/.f64 (neg.f64 (.f64 a (pow.f64 k m))) (-.f64 -1 (.f64 (sqrt.f64 k) (*.f64 (+.f64 k 10) (sqrt.f64 k)))))
6.0ms	(*.f64 a (pow.f64 k m))
0.0ms	(*.f64 a (pow.f64 k m))

series589.0ms (0.4%)

Counts

4 → 35

Calls

4 calls:

325.0ms	(/.f64 (neg.f64 (.f64 a (pow.f64 k m))) (-.f64 -1 (.f64 (sqrt.f64 k) (*.f64 (+.f64 k 10) (sqrt.f64 k)))))
210.0ms	(*.f64 a (pow.f64 k m))
30.0ms	(.f64 (sqrt.f64 k) (.f64 (+.f64 k 10) (sqrt.f64 k)))
22.0ms	(*.f64 (+.f64 k 10) (sqrt.f64 k))

Compiler

Compiled 1285 to 1055 computations (17.9% saved)

simplify100.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

151 → 151

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4935	2817
1	4935	2817

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

1.4b	(/.f64 (exp.f64 (log.f64 (log.f64 (exp.f64 (.f64 a (pow.f64 k m)))))) (+.f64 1 (.f64 k (+.f64 k 10))))
0.0b	(exp.f64 (log.f64 (log.f64 (exp.f64 (*.f64 a (pow.f64 k m))))))
0.0b	(*.f64 a (pow.f64 k m))
0.0b	(*.f64 k (+.f64 k 10))
0.0b	(*.f64 a (pow.f64 k m))
0.0b	(exp.f64 (log.f64 (log.f64 (exp.f64 (*.f64 a (pow.f64 k m))))))
1.4b	(/.f64 (exp.f64 (log.f64 (log.f64 (exp.f64 (.f64 a (pow.f64 k m)))))) (+.f64 1 (.f64 k (+.f64 k 10))))
1.7b	(log.f64 (exp.f64 (*.f64 a (pow.f64 k m))))

rewrite31.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`log-prod_binary64_2551` `add-sqr-sqrt_binary64_2487`
30×	`exp-sum_binary64_2511`
28×	`*-un-lft-identity_binary64_2465` `add-cube-cbrt_binary64_2500`
27×	`times-frac_binary64_2471`
19×	`log-pow_binary64_2554`
11×	`pow1_binary64_2526`
10×	`add-log-exp_binary64_2504` `add-exp-log_binary64_2503` `exp-prod_binary64_2517`
9×	`associate-/l*_binary64_2410`
8×	`add-cbrt-cube_binary64_2501`
7×	`associate-r_binary64_2405`
6×	`exp-to-pow_binary64_2527`
4×	`unpow-prod-down_binary64_2544`
3×	`associate-/r_binary64_2409` `unswap-sqr_binary64_2433` `prod-exp_binary64_2514` `associate-l*_binary64_2406`
2×	`sqr-pow_binary64_2437` `associate-/r/_binary64_2411`
1×	`flip3-+_binary64_2468` `*-commutative_binary64_2396` `flip-+_binary64_2439` `clear-num_binary64_2464` `cbrt-undiv_binary64_2499` `pow-exp_binary64_2533` `pow-to-exp_binary64_2534` `div-exp_binary64_2516` `div-inv_binary64_2462` `frac-2neg_binary64_2476` `rem-exp-log_binary64_2505` `rem-log-exp_binary64_2506` `cbrt-unprod_binary64_2498`

Counts

4 → 110

Calls

8 calls:

8.0ms	(/.f64 (exp.f64 (log.f64 (log.f64 (exp.f64 (.f64 a (pow.f64 k m)))))) (+.f64 1 (.f64 k (+.f64 k 10))))
6.0ms	(*.f64 a (pow.f64 k m))
3.0ms	(exp.f64 (log.f64 (log.f64 (exp.f64 (*.f64 a (pow.f64 k m))))))
2.0ms	(log.f64 (exp.f64 (*.f64 a (pow.f64 k m))))
0.0ms	(*.f64 k (+.f64 k 10))

series1.8s (1.1%)

Counts

4 → 39

Calls

4 calls:

626.0ms	(exp.f64 (log.f64 (log.f64 (exp.f64 (*.f64 a (pow.f64 k m))))))
538.0ms	(/.f64 (exp.f64 (log.f64 (log.f64 (exp.f64 (.f64 a (pow.f64 k m)))))) (+.f64 1 (.f64 k (+.f64 k 10))))
410.0ms	(log.f64 (exp.f64 (*.f64 a (pow.f64 k m))))
183.0ms	(*.f64 a (pow.f64 k m))

Compiler

Compiled 1476 to 1290 computations (12.6% saved)

simplify79.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5063	2647

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 (/.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 k (/.f64 (cbrt.f64 a) k))) 10)
0.1b	(/.f64 k (/.f64 (cbrt.f64 a) k))
0.0b	(*.f64 a (pow.f64 k m))
0.0b	(/.f64 (pow.f64 k m) (cbrt.f64 (pow.f64 k 3)))
5.9b	(/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 k (/.f64 (cbrt.f64 a) k)))
11.9b	(.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 k (/.f64 (cbrt.f64 a) k))) 10) (/.f64 (pow.f64 k m) (cbrt.f64 (pow.f64 k 3))))
13.5b	(/.f64 (.f64 a (pow.f64 k m)) (.f64 k k))
40.9b	(cbrt.f64 (pow.f64 k 3))

rewrite154.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

417×	`times-frac_binary64_2471`
217×	`add-exp-log_binary64_2503`
190×	`*-un-lft-identity_binary64_2465` `add-cube-cbrt_binary64_2500` `add-sqr-sqrt_binary64_2487`
150×	`cbrt-prod_binary64_2496`
109×	`associate-r_binary64_2405`
92×	`div-exp_binary64_2516`
89×	`add-cbrt-cube_binary64_2501`
85×	`prod-exp_binary64_2514`
72×	`associate-/r*_binary64_2409`
69×	`unpow-prod-down_binary64_2544`
48×	`cbrt-undiv_binary64_2499`
43×	`cbrt-unprod_binary64_2498`
24×	`cube-prod_binary64_2493`
23×	`sqr-pow_binary64_2437`
11×	`div-inv_binary64_2462`
10×	`pow-exp_binary64_2533` `pow-to-exp_binary64_2534`
9×	`pow1_binary64_2526`
8×	`unpow3_binary64_2531` `cube-mult_binary64_2495`
4×	`add-log-exp_binary64_2504`
3×	`associate-*l/_binary64_2408` `associate-/r/_binary64_2411` `pow-prod-down_binary64_2536`
2×	`clear-num_binary64_2464` `frac-2neg_binary64_2476` `associate-/l*_binary64_2410`
1×	`-commutative_binary64_2396` `frac-times_binary64_2475` `associate-r/_binary64_2407` `pow1/3_binary64_2547` `rem-cbrt-cube_binary64_2489` `associate-l_binary64_2406`

Counts

4 → 383

Calls

8 calls:

48.0ms	(.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 k (/.f64 (cbrt.f64 a) k))) 10) (/.f64 (pow.f64 k m) (cbrt.f64 (pow.f64 k 3))))
19.0ms	(/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 k (/.f64 (cbrt.f64 a) k)))
7.0ms	(/.f64 (.f64 a (pow.f64 k m)) (.f64 k k))
2.0ms	(cbrt.f64 (pow.f64 k 3))
0.0ms	(/.f64 (pow.f64 k m) (cbrt.f64 (pow.f64 k 3)))

series785.0ms (0.5%)

Counts

4 → 27

Calls

4 calls:

387.0ms	(.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 k (/.f64 (cbrt.f64 a) k))) 10) (/.f64 (pow.f64 k m) (cbrt.f64 (pow.f64 k 3))))
280.0ms	(/.f64 (.f64 a (pow.f64 k m)) (.f64 k k))
96.0ms	(/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 k (/.f64 (cbrt.f64 a) k)))
21.0ms	(cbrt.f64 (pow.f64 k 3))

Compiler

Compiled 1564 to 1050 computations (32.9% saved)

simplify136.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

410 → 410

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	4984	11219
1	4984	11219

prune45.1s (28.8%)

Pruning

673 alts after pruning (662 fresh and 11 done)

	Pruned	Kept	Total
New	625	285	910
Fresh	48	377	425
Picked	0	0	0
Done	3	11	14
Total	676	673	1349

Error

Counts

1349 → 673

Compiler

Compiled 17289 to 6113 computations (64.6% saved)

simplify947.0ms (0.6%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5315	60919

regimes14.9s (9.5%)

Compiler: Compiled 153125 to 104200 computations (32% saved)

bsearch108.0ms (0.1%)

Steps

Iters	Range		Point
10	7.7092579229222e+135	1.2990912364246491e+150	2.350163294637587e+136

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes2.1s (1.3%)

Compiler: Compiled 21685 to 17984 computations (17.1% saved)

bsearch0.0ms (0%)

regimes172.0ms (0.1%)

Compiler: Compiled 1137 to 1110 computations (2.4% saved)

bsearch0.0ms (0%)

regimes252.0ms (0.2%)

Compiler: Compiled 966 to 963 computations (0.3% saved)

bsearch67.0ms (0%)

Steps

Iters	Range		Point
9	1.6752749776832562e-13	6.478629181494936e-08	8.916671353359343e-09
8	-0.007473384971623997	-1.780152865754066e-06	-2.2363572764943224e-06

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes312.0ms (0.2%)

Compiler: Compiled 870 to 879 computations (-1% saved)

bsearch68.0ms (0%)

Steps

Iters	Range		Point
6	0.49408776031429963	3.830693482191324	0.4998279862905466
9	-4.1589457018152506e+33	-1.733403848947092e+27	-1.7590351739721123e+27

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes434.0ms (0.3%)

Compiler: Compiled 258 to 306 computations (-18.6% saved)

bsearch77.0ms (0%)

Steps

Iters	Range		Point
6	0.49408776031429963	3.830693482191324	0.6374213960110211
9	-4.1589457018152506e+33	-1.733403848947092e+27	-1.7590351739721123e+27

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes132.0ms (0.1%)

Compiler: Compiled 195 to 240 computations (-23.1% saved)

bsearch123.0ms (0.1%)

Steps

Iters	Range		Point
6	0.49408776031429963	3.830693482191324	0.5914995882010451
6	2.0729281998282852e-128	2.7995851016707963e-127	4.1855111657774655e-128
8	-4.881421861834393e-288	-4.337701922667552e-292	-5.701926045057698e-292
8	-1.326740942512297e-69	-3.361472945152218e-74	-3.4141330431881928e-74
4	-8.099856236356352e-35	-4.6275949106588253e-35	-7.98549713398114e-35

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes110.0ms (0.1%)

Compiler: Compiled 111 to 156 computations (-40.5% saved)

bsearch118.0ms (0.1%)

Steps

Iters	Range		Point
6	0.49408776031429963	3.830693482191324	0.889991338965889
6	2.0729281998282852e-128	2.7995851016707963e-127	1.1692655545065984e-127
8	-4.881421861834393e-288	-4.337701922667552e-292	-2.8984927067274725e-290
8	-1.326740942512297e-69	-3.361472945152218e-74	-3.179614406887836e-71
4	-8.099856236356352e-35	-4.6275949106588253e-35	-7.98549713398114e-35

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes53.0ms (0%)

Compiler: Compiled 18 to 63 computations (-250% saved)

bsearch38.0ms (0%)

Steps

Iters	Range		Point
6	2.0729281998282852e-128	2.7995851016707963e-127	2.7459188292006855e-127
4	-8.099856236356352e-35	-4.6275949106588253e-35	-7.98549713398114e-35

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes23.0ms (0%)

Accuracy

Total 0.1b remaining (98.8%)

Threshold costs 0.1b (98.8%)

Compiler

Compiled 12 to 39 computations (-225% saved)

bsearch10.0ms (0%)

Compiler: Compiled 207 to 153 computations (26.1% saved)

simplify9.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	144	291
1	144	291

end0.0ms (0%)

sample32.9s (21%)

Algorithm

1×

intervals

Results

493.0ms	8000×	body	128	valid
281.0ms	3214×	body	128	invalid
93.0ms	2022×	body	128	nan

Compiler

Compiled 38678 to 26348 computations (31.9% saved)

Pareto

0.7970313692744179