Details

Time bar (total: 3.3min)

analyze4.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%56.2%43.8%0
0%56.2%43.8%1
28.1%28.1%43.8%2
56.2%0%43.8%3
Compiler

Compiled 20 to 16 computations (20% saved)

sample33.0ms (0%)

Algorithm
1×intervals
Results
7.0ms26×body1024valid
7.0ms197×body128valid
4.0ms256×pre128true
2.0ms17×body512valid
1.0ms13×body256valid
1.0ms3×body2048valid
Compiler

Compiled 36 to 34 computations (5.6% saved)

simplify343.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
3 → 3
Iterations

Useful iterations: 0 (251.0ms)

IterNodesCost
0501821

prune2.0ms (0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New123
Fresh033
Picked000
Done000
Total156
Error
15.4b
Counts
6 → 3
Compiler

Compiled 15 to 13 computations (13.3% saved)

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

1.9b
(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)
0.0b
(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))
0.0b
(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))
1.9b
(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)

rewrite43.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
58×*-un-lft-identity_binary64_2465
26×add-sqr-sqrt_binary64_2487
25×times-frac_binary64_2471
19×distribute-lft-out_binary64_2416
14×add-cube-cbrt_binary64_2500
6×difference-of-squares_binary64_2434 distribute-lft-out--_binary64_2417
5×associate-/r*_binary64_2409 associate-/l*_binary64_2410
4×add-log-exp_binary64_2504 add-exp-log_binary64_2503 add-cbrt-cube_binary64_2501
2×flip3-+_binary64_2468 associate-/l/_binary64_2412 flip-+_binary64_2439 div-sub_binary64_2470 pow1_binary64_2526 associate-/r/_binary64_2411
1×associate-+l-_binary64_2400 +-commutative_binary64_2395 flip--_binary64_2440 sum-log_binary64_2556 clear-num_binary64_2464 cbrt-undiv_binary64_2499 div-exp_binary64_2516 div-inv_binary64_2462 frac-2neg_binary64_2476 flip3--_binary64_2469
Counts
2 → 65
Calls

4 calls:

25.0ms
(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)
11.0ms
(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))
0.0ms
(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))
0.0ms
(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)

series391.0ms (0.2%)

Counts
2 → 46
Calls

2 calls:

234.0ms
(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)
157.0ms
(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))
Compiler

Compiled 1994 to 1666 computations (16.4% saved)

simplify62.0ms (0%)

Algorithm
1×egg-herbie
Counts
111 → 111
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
049683533
149683533

prune523.0ms (0.3%)

Pruning

66 alts after pruning (65 fresh and 1 done)

PrunedKeptTotal
New4863111
Fresh022
Picked000
Done011
Total4866114
Error
0.1b
Counts
114 → 66
Compiler

Compiled 3786 to 2464 computations (34.9% saved)

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
0.0b
(/.f64 (-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (-.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1)) 2)
0.0b
(/.f64 alpha (+.f64 (+.f64 beta alpha) 2))
0.0b
(-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (-.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1))
0.0b
(/.f64 (-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (-.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1)) 2)
0.0b
(/.f64 alpha (+.f64 (+.f64 beta alpha) 2))
0.0b
(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
1.9b
(-.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1)

rewrite88.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
101×*-un-lft-identity_binary64_2465
68×add-sqr-sqrt_binary64_2487
58×times-frac_binary64_2471
37×add-cube-cbrt_binary64_2500
24×distribute-lft-out_binary64_2416
13×associate-/r*_binary64_2409 distribute-lft-out--_binary64_2417 associate-/l*_binary64_2410
12×difference-of-squares_binary64_2434
10×add-exp-log_binary64_2503 add-cbrt-cube_binary64_2501
6×add-log-exp_binary64_2504
4×associate-/l/_binary64_2412 pow1_binary64_2526 associate-/r/_binary64_2411
3×flip--_binary64_2440 clear-num_binary64_2464 cbrt-undiv_binary64_2499 cancel-sign-sub-inv_binary64_2431 div-exp_binary64_2516 div-inv_binary64_2462 frac-2neg_binary64_2476 flip3--_binary64_2469
2×flip3-+_binary64_2468 difference-of-sqr-1_binary64_2435 flip-+_binary64_2439 frac-sub_binary64_2474
1×div-sub_binary64_2470 sub-neg_binary64_2458 diff-log_binary64_2557
Counts
4 → 143
Calls

8 calls:

41.0ms
(/.f64 (-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (-.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1)) 2)
15.0ms
(-.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1)
8.0ms
(/.f64 alpha (+.f64 (+.f64 beta alpha) 2))
8.0ms
(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
0.0ms
(-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (-.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1))

series604.0ms (0.3%)

Counts
4 → 77
Calls

4 calls:

242.0ms
(/.f64 (-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (-.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1)) 2)
139.0ms
(-.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1)
120.0ms
(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
103.0ms
(/.f64 alpha (+.f64 (+.f64 beta alpha) 2))
Compiler

Compiled 3354 to 2690 computations (19.8% saved)

simplify90.0ms (0%)

Algorithm
1×egg-herbie
Counts
220 → 220
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
053436628

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)

IterNodesCost
000

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

16.2b
(/.f64 (-.f64 beta alpha) (-.f64 (*.f64 (+.f64 beta alpha) (+.f64 beta alpha)) 4))
4.3b
(+.f64 (*.f64 (/.f64 (-.f64 beta alpha) (-.f64 (*.f64 (+.f64 beta alpha) (+.f64 beta alpha)) 4)) (-.f64 (+.f64 alpha beta) 2)) 1)
0.1b
(*.f64 (/.f64 (-.f64 beta alpha) (-.f64 (*.f64 (+.f64 beta alpha) (+.f64 beta alpha)) 4)) (-.f64 (+.f64 alpha beta) 2))
0.0b
(*.f64 (+.f64 beta alpha) (+.f64 beta alpha))
0.0b
(*.f64 (+.f64 beta alpha) (+.f64 beta alpha))
0.1b
(*.f64 (/.f64 (-.f64 beta alpha) (-.f64 (*.f64 (+.f64 beta alpha) (+.f64 beta alpha)) 4)) (-.f64 (+.f64 alpha beta) 2))
4.3b
(+.f64 (*.f64 (/.f64 (-.f64 beta alpha) (-.f64 (*.f64 (+.f64 beta alpha) (+.f64 beta alpha)) 4)) (-.f64 (+.f64 alpha beta) 2)) 1)
16.2b
(/.f64 (-.f64 beta alpha) (-.f64 (*.f64 (+.f64 beta alpha) (+.f64 beta alpha)) 4))

rewrite103.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
72×add-sqr-sqrt_binary64_2487
71×*-un-lft-identity_binary64_2465
41×times-frac_binary64_2471
34×add-cube-cbrt_binary64_2500
30×associate-*l*_binary64_2406
21×difference-of-squares_binary64_2434
13×add-exp-log_binary64_2503 add-cbrt-cube_binary64_2501 pow1_binary64_2526
12×cancel-sign-sub-inv_binary64_2431
11×distribute-lft-in_binary64_2414 distribute-lft-out--_binary64_2417 distribute-rgt-in_binary64_2415
10×associate-+l+_binary64_2398 associate-*r*_binary64_2405
7×flip3-+_binary64_2468 flip-+_binary64_2439 distribute-lft-out_binary64_2416
6×add-log-exp_binary64_2504 frac-times_binary64_2475 swap-sqr_binary64_2432
5×flip--_binary64_2440 flip3--_binary64_2469 associate-/l*_binary64_2410
4×associate-/r*_binary64_2409 associate-*r/_binary64_2407 sub-neg_binary64_2458 associate-/r/_binary64_2411 associate--l+_binary64_2402
3×associate-*l/_binary64_2408 unswap-sqr_binary64_2433 prod-exp_binary64_2514 cbrt-unprod_binary64_2498
2×*-commutative_binary64_2396 associate-/l/_binary64_2412 cbrt-undiv_binary64_2499 div-exp_binary64_2516 div-inv_binary64_2462 pow-prod-down_binary64_2536
1×+-commutative_binary64_2395 pow-plus_binary64_2528 sum-log_binary64_2556 clear-num_binary64_2464 div-sub_binary64_2470 pow2_binary64_2546 frac-2neg_binary64_2476 pow-sqr_binary64_2438 pow-prod-up_binary64_2535
Counts
4 → 169
Calls

8 calls:

28.0ms
(*.f64 (/.f64 (-.f64 beta alpha) (-.f64 (*.f64 (+.f64 beta alpha) (+.f64 beta alpha)) 4)) (-.f64 (+.f64 alpha beta) 2))
24.0ms
(+.f64 (*.f64 (/.f64 (-.f64 beta alpha) (-.f64 (*.f64 (+.f64 beta alpha) (+.f64 beta alpha)) 4)) (-.f64 (+.f64 alpha beta) 2)) 1)
16.0ms
(/.f64 (-.f64 beta alpha) (-.f64 (*.f64 (+.f64 beta alpha) (+.f64 beta alpha)) 4))
10.0ms
(*.f64 (+.f64 beta alpha) (+.f64 beta alpha))
0.0ms
(*.f64 (+.f64 beta alpha) (+.f64 beta alpha))

series1.3s (0.7%)

Counts
4 → 81
Calls

4 calls:

600.0ms
(+.f64 (*.f64 (/.f64 (-.f64 beta alpha) (-.f64 (*.f64 (+.f64 beta alpha) (+.f64 beta alpha)) 4)) (-.f64 (+.f64 alpha beta) 2)) 1)
422.0ms
(*.f64 (/.f64 (-.f64 beta alpha) (-.f64 (*.f64 (+.f64 beta alpha) (+.f64 beta alpha)) 4)) (-.f64 (+.f64 alpha beta) 2))
195.0ms
(/.f64 (-.f64 beta alpha) (-.f64 (*.f64 (+.f64 beta alpha) (+.f64 beta alpha)) 4))
97.0ms
(*.f64 (+.f64 beta alpha) (+.f64 beta alpha))
Compiler

Compiled 4426 to 3718 computations (16% saved)

simplify112.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
250 → 250
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
049568913
149568913

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

5.5b
(log.f64 (exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2))))
1.9b
(+.f64 (log.f64 (exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)))) 1)
0.0b
(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2))
0.0b
(exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)))
0.0b
(exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)))
0.0b
(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2))
1.9b
(+.f64 (log.f64 (exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)))) 1)
5.5b
(log.f64 (exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2))))

rewrite89.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
155×*-un-lft-identity_binary64_2465
75×times-frac_binary64_2471
72×add-sqr-sqrt_binary64_2487
62×exp-prod_binary64_2517
50×distribute-lft-out_binary64_2416
40×add-cube-cbrt_binary64_2500
33×log-pow_binary64_2554
16×difference-of-squares_binary64_2434 distribute-lft-out--_binary64_2417
6×add-log-exp_binary64_2504 log-prod_binary64_2551 add-exp-log_binary64_2503 add-cbrt-cube_binary64_2501 pow1_binary64_2526 associate-/r/_binary64_2411
5×associate-/r*_binary64_2409 associate-/l*_binary64_2410
4×flip3-+_binary64_2468 flip-+_binary64_2439 div-sub_binary64_2470
3×associate-+l+_binary64_2398 div-inv_binary64_2462 exp-diff_binary64_2513
2×log-div_binary64_2552 associate-/l/_binary64_2412
1×associate-+l-_binary64_2400 +-commutative_binary64_2395 flip--_binary64_2440 sum-log_binary64_2556 clear-num_binary64_2464 cbrt-undiv_binary64_2499 div-exp_binary64_2516 frac-2neg_binary64_2476 rem-exp-log_binary64_2505 flip3--_binary64_2469 rem-log-exp_binary64_2506
Counts
4 → 153
Calls

8 calls:

31.0ms
(+.f64 (log.f64 (exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)))) 1)
15.0ms
(log.f64 (exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2))))
14.0ms
(exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)))
12.0ms
(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2))
0.0ms
(exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)))

series1000.0ms (0.5%)

Counts
4 → 92
Calls

4 calls:

284.0ms
(exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)))
283.0ms
(+.f64 (log.f64 (exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2)))) 1)
277.0ms
(log.f64 (exp.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2))))
154.0ms
(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 beta alpha) 2))
Compiler

Compiled 4280 to 3590 computations (16.1% saved)

simplify115.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
245 → 245
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
049517204
149517204

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.6b
(/.f64 1 (*.f64 (cbrt.f64 (+.f64 (+.f64 beta alpha) 2)) (cbrt.f64 (+.f64 (+.f64 beta alpha) 2))))
0.3b
(*.f64 (cbrt.f64 (+.f64 (+.f64 beta alpha) 2)) (cbrt.f64 (+.f64 (+.f64 beta alpha) 2)))
0.2b
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (+.f64 beta alpha) 2)) (cbrt.f64 (+.f64 (+.f64 beta alpha) 2)))) (/.f64 (-.f64 beta alpha) (cbrt.f64 (+.f64 (+.f64 beta alpha) 2))))
0.2b
(/.f64 (-.f64 beta alpha) (cbrt.f64 (+.f64 (+.f64 beta alpha) 2)))
0.8b
(cbrt.f64 (+.f64 (+.f64 beta alpha) 2))
0.8b
(cbrt.f64 (+.f64 (+.f64 beta alpha) 2))
0.8b
(cbrt.f64 (+.f64 (+.f64 beta alpha) 2))
11.1b
(+.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (+.f64 beta alpha) 2)) (cbrt.f64 (+.f64 (+.f64 beta alpha) 2)))) (/.f64 (-.f64 beta alpha) (cbrt.f64 (+.f64 (+.f64 beta alpha) 2)))) 1)

rewrite58.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
22×*-un-lft-identity_binary64_2465
15×cbrt-prod_binary64_2496
9×distribute-lft-out_binary64_2416
7×add-cube-cbrt_binary64_2500 add-sqr-sqrt_binary64_2487
6×add-log-exp_binary64_2504 cbrt-div_binary64_2497
4×flip3-+_binary64_2468 flip-+_binary64_2439 add-exp-log_binary64_2503 add-cbrt-cube_binary64_2501 pow1_binary64_2526
3×pow1/3_binary64_2547
1×+-commutative_binary64_2395 sum-log_binary64_2556
Counts
4 → 56
Calls

8 calls:

34.0ms
(+.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (+.f64 beta alpha) 2)) (cbrt.f64 (+.f64 (+.f64 beta alpha) 2)))) (/.f64 (-.f64 beta alpha) (cbrt.f64 (+.f64 (+.f64 beta alpha) 2)))) 1)
6.0ms
(cbrt.f64 (+.f64 (+.f64 beta alpha) 2))
6.0ms
(cbrt.f64 (+.f64 (+.f64 beta alpha) 2))
6.0ms
(cbrt.f64 (+.f64 (+.f64 beta alpha) 2))
0.0ms
(/.f64 (-.f64 beta alpha) (cbrt.f64 (+.f64 (+.f64 beta alpha) 2)))

series798.0ms (0.4%)

Counts
4 → 71
Calls

4 calls:

250.0ms
(+.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (+.f64 beta alpha) 2)) (cbrt.f64 (+.f64 (+.f64 beta alpha) 2)))) (/.f64 (-.f64 beta alpha) (cbrt.f64 (+.f64 (+.f64 beta alpha) 2)))) 1)
185.0ms
(cbrt.f64 (+.f64 (+.f64 beta alpha) 2))
181.0ms
(cbrt.f64 (+.f64 (+.f64 beta alpha) 2))
181.0ms
(cbrt.f64 (+.f64 (+.f64 beta alpha) 2))
Compiler

Compiled 4475 to 3706 computations (17.2% saved)

simplify73.0ms (0%)

Algorithm
1×egg-herbie
Counts
127 → 127
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
053274701

prune18.5s (9.5%)

Pruning

411 alts after pruning (405 fresh and 6 done)

PrunedKeptTotal
New483359842
Fresh144660
Picked000
Done066
Total497411908
Error
0.1b
Counts
908 → 411
Compiler

Compiled 36842 to 22838 computations (38% saved)

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
0.0b
(/.f64 (neg.f64 alpha) (-.f64 -2 (+.f64 alpha beta)))
0.0b
(/.f64 (-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (-.f64 (/.f64 (neg.f64 alpha) (-.f64 -2 (+.f64 alpha beta))) 1)) 2)
0.0b
(-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (-.f64 (/.f64 (neg.f64 alpha) (-.f64 -2 (+.f64 alpha beta))) 1))
0.0b
(/.f64 (neg.f64 alpha) (-.f64 -2 (+.f64 alpha beta)))
0.0b
(/.f64 (-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (-.f64 (/.f64 (neg.f64 alpha) (-.f64 -2 (+.f64 alpha beta))) 1)) 2)
0.0b
(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
1.9b
(-.f64 (/.f64 (neg.f64 alpha) (-.f64 -2 (+.f64 alpha beta))) 1)

rewrite127.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
158×*-un-lft-identity_binary64_2465
112×add-sqr-sqrt_binary64_2487
103×times-frac_binary64_2471
59×add-cube-cbrt_binary64_2500
35×distribute-lft-out--_binary64_2417
23×difference-of-squares_binary64_2434 distribute-lft-out_binary64_2416
21×distribute-lft-neg-in_binary64_2422 distribute-rgt-neg-in_binary64_2423
20×associate-/l*_binary64_2410
14×associate-/r*_binary64_2409
10×add-exp-log_binary64_2503 add-cbrt-cube_binary64_2501
7×neg-mul-1_binary64_2461
6×add-log-exp_binary64_2504
4×flip--_binary64_2440 associate-/l/_binary64_2412 pow1_binary64_2526 associate-/r/_binary64_2411 flip3--_binary64_2469
3×clear-num_binary64_2464 cbrt-undiv_binary64_2499 div-sub_binary64_2470 cancel-sign-sub-inv_binary64_2431 div-exp_binary64_2516 div-inv_binary64_2462 frac-2neg_binary64_2476
2×difference-of-sqr-1_binary64_2435 frac-sub_binary64_2474 neg-sub0_binary64_2460
1×flip3-+_binary64_2468 associate--l-_binary64_2403 flip-+_binary64_2439 sub-neg_binary64_2458 diff-log_binary64_2557 distribute-frac-neg_binary64_2428
Counts
4 → 199
Calls

8 calls:

53.0ms
(/.f64 (-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (-.f64 (/.f64 (neg.f64 alpha) (-.f64 -2 (+.f64 alpha beta))) 1)) 2)
32.0ms
(-.f64 (/.f64 (neg.f64 alpha) (-.f64 -2 (+.f64 alpha beta))) 1)
10.0ms
(/.f64 (neg.f64 alpha) (-.f64 -2 (+.f64 alpha beta)))
8.0ms
(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
0.0ms
(-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (-.f64 (/.f64 (neg.f64 alpha) (-.f64 -2 (+.f64 alpha beta))) 1))

series596.0ms (0.3%)

Counts
4 → 77
Calls

4 calls:

242.0ms
(/.f64 (-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (-.f64 (/.f64 (neg.f64 alpha) (-.f64 -2 (+.f64 alpha beta))) 1)) 2)
133.0ms
(-.f64 (/.f64 (neg.f64 alpha) (-.f64 -2 (+.f64 alpha beta))) 1)
115.0ms
(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
105.0ms
(/.f64 (neg.f64 alpha) (-.f64 -2 (+.f64 alpha beta)))
Compiler

Compiled 3376 to 2712 computations (19.7% saved)

simplify112.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
276 → 276
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
054878109

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify11.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
000

localize7.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)

IterNodesCost
000

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) 2)) (cbrt.f64 (+.f64 (+.f64 alpha beta) 2)))) (/.f64 beta (cbrt.f64 (+.f64 (+.f64 alpha beta) 2))))
0.0b
(/.f64 (-.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) 2)) (cbrt.f64 (+.f64 (+.f64 alpha beta) 2)))) (/.f64 beta (cbrt.f64 (+.f64 (+.f64 alpha beta) 2)))) (-.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1)) 2)
0.0b
(/.f64 alpha (+.f64 (+.f64 beta alpha) 2))
0.0b
(-.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) 2)) (cbrt.f64 (+.f64 (+.f64 alpha beta) 2)))) (/.f64 beta (cbrt.f64 (+.f64 (+.f64 alpha beta) 2)))) (-.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1))
0.8b
(cbrt.f64 (+.f64 (+.f64 alpha beta) 2))
0.8b
(cbrt.f64 (+.f64 (+.f64 alpha beta) 2))
0.8b
(cbrt.f64 (+.f64 (+.f64 alpha beta) 2))
1.9b
(-.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1)

rewrite42.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
27×*-un-lft-identity_binary64_2465
19×add-sqr-sqrt_binary64_2487
15×cbrt-prod_binary64_2496
9×distribute-lft-out_binary64_2416
8×add-cube-cbrt_binary64_2500
6×add-log-exp_binary64_2504 cbrt-div_binary64_2497
4×difference-of-squares_binary64_2434 add-exp-log_binary64_2503 add-cbrt-cube_binary64_2501 pow1_binary64_2526
3×flip3-+_binary64_2468 times-frac_binary64_2471 flip-+_binary64_2439 pow1/3_binary64_2547 cancel-sign-sub-inv_binary64_2431
2×difference-of-sqr-1_binary64_2435
1×flip--_binary64_2440 distribute-lft-out--_binary64_2417 sub-neg_binary64_2458 diff-log_binary64_2557 flip3--_binary64_2469
Counts
4 → 66
Calls

8 calls:

16.0ms
(-.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1)
6.0ms
(cbrt.f64 (+.f64 (+.f64 alpha beta) 2))
6.0ms
(cbrt.f64 (+.f64 (+.f64 alpha beta) 2))
6.0ms
(cbrt.f64 (+.f64 (+.f64 alpha beta) 2))
0.0ms
(-.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) 2)) (cbrt.f64 (+.f64 (+.f64 alpha beta) 2)))) (/.f64 beta (cbrt.f64 (+.f64 (+.f64 alpha beta) 2)))) (-.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1))

series700.0ms (0.4%)

Counts
4 → 60
Calls

4 calls:

187.0ms
(cbrt.f64 (+.f64 (+.f64 alpha beta) 2))
182.0ms
(cbrt.f64 (+.f64 (+.f64 alpha beta) 2))
181.0ms
(cbrt.f64 (+.f64 (+.f64 alpha beta) 2))
149.0ms
(-.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1)
Compiler

Compiled 4787 to 3809 computations (20.4% saved)

simplify91.0ms (0%)

Algorithm
1×egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
049512841
149512841

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(exp.f64 (/.f64 beta (+.f64 beta 2)))
0.0b
(exp.f64 (/.f64 beta (+.f64 beta 2)))
0.0b
(exp.f64 (/.f64 beta (+.f64 beta 2)))
0.0b
(-.f64 (exp.f64 (/.f64 beta (+.f64 beta 2))) (+.f64 (/.f64 (*.f64 alpha (*.f64 beta (exp.f64 (/.f64 beta (+.f64 beta 2))))) (pow.f64 (+.f64 beta 2) 2)) (*.f64 (/.f64 alpha (+.f64 beta 2)) (exp.f64 (/.f64 beta (+.f64 beta 2))))))
0.1b
(*.f64 beta (exp.f64 (/.f64 beta (+.f64 beta 2))))
0.1b
(*.f64 (/.f64 alpha (+.f64 beta 2)) (exp.f64 (/.f64 beta (+.f64 beta 2))))
5.5b
(log.f64 (-.f64 (exp.f64 (/.f64 beta (+.f64 beta 2))) (+.f64 (/.f64 (*.f64 alpha (*.f64 beta (exp.f64 (/.f64 beta (+.f64 beta 2))))) (pow.f64 (+.f64 beta 2) 2)) (*.f64 (/.f64 alpha (+.f64 beta 2)) (exp.f64 (/.f64 beta (+.f64 beta 2)))))))
6.1b
(/.f64 (*.f64 alpha (*.f64 beta (exp.f64 (/.f64 beta (+.f64 beta 2))))) (pow.f64 (+.f64 beta 2) 2))

rewrite103.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
32×*-un-lft-identity_binary64_2465
30×add-exp-log_binary64_2503
29×add-sqr-sqrt_binary64_2487
22×times-frac_binary64_2471
21×associate-*l*_binary64_2406
20×add-cube-cbrt_binary64_2500 add-cbrt-cube_binary64_2501
12×prod-exp_binary64_2514
10×div-exp_binary64_2516
9×associate-/r*_binary64_2409 pow1_binary64_2526
8×unpow-prod-down_binary64_2544
6×associate-*r*_binary64_2405 cbrt-unprod_binary64_2498
5×log-prod_binary64_2551 distribute-lft-out_binary64_2416
4×add-log-exp_binary64_2504 cbrt-undiv_binary64_2499
3×pow-exp_binary64_2533 unswap-sqr_binary64_2433 pow-to-exp_binary64_2534
2×log-div_binary64_2552 *-commutative_binary64_2396 unpow2_binary64_2530 div-inv_binary64_2462 sqr-pow_binary64_2437 associate-/r/_binary64_2411 pow-prod-down_binary64_2536
1×flip3-+_binary64_2468 associate-*l/_binary64_2408 difference-of-squares_binary64_2434 flip--_binary64_2440 log-pow_binary64_2554 flip-+_binary64_2439 clear-num_binary64_2464 distribute-lft-out--_binary64_2417 frac-2neg_binary64_2476 flip3--_binary64_2469 associate-/l*_binary64_2410 rem-log-exp_binary64_2506
Counts
4 → 112
Calls

8 calls:

30.0ms
(log.f64 (-.f64 (exp.f64 (/.f64 beta (+.f64 beta 2))) (+.f64 (/.f64 (*.f64 alpha (*.f64 beta (exp.f64 (/.f64 beta (+.f64 beta 2))))) (pow.f64 (+.f64 beta 2) 2)) (*.f64 (/.f64 alpha (+.f64 beta 2)) (exp.f64 (/.f64 beta (+.f64 beta 2)))))))
20.0ms
(/.f64 (*.f64 alpha (*.f64 beta (exp.f64 (/.f64 beta (+.f64 beta 2))))) (pow.f64 (+.f64 beta 2) 2))
20.0ms
(*.f64 (/.f64 alpha (+.f64 beta 2)) (exp.f64 (/.f64 beta (+.f64 beta 2))))
13.0ms
(*.f64 beta (exp.f64 (/.f64 beta (+.f64 beta 2))))
0.0ms
(-.f64 (exp.f64 (/.f64 beta (+.f64 beta 2))) (+.f64 (/.f64 (*.f64 alpha (*.f64 beta (exp.f64 (/.f64 beta (+.f64 beta 2))))) (pow.f64 (+.f64 beta 2) 2)) (*.f64 (/.f64 alpha (+.f64 beta 2)) (exp.f64 (/.f64 beta (+.f64 beta 2))))))

series790.0ms (0.4%)

Counts
4 → 42
Calls

4 calls:

415.0ms
(log.f64 (-.f64 (exp.f64 (/.f64 beta (+.f64 beta 2))) (+.f64 (/.f64 (*.f64 alpha (*.f64 beta (exp.f64 (/.f64 beta (+.f64 beta 2))))) (pow.f64 (+.f64 beta 2) 2)) (*.f64 (/.f64 alpha (+.f64 beta 2)) (exp.f64 (/.f64 beta (+.f64 beta 2)))))))
200.0ms
(/.f64 (*.f64 alpha (*.f64 beta (exp.f64 (/.f64 beta (+.f64 beta 2))))) (pow.f64 (+.f64 beta 2) 2))
132.0ms
(*.f64 (/.f64 alpha (+.f64 beta 2)) (exp.f64 (/.f64 beta (+.f64 beta 2))))
43.0ms
(*.f64 beta (exp.f64 (/.f64 beta (+.f64 beta 2))))
Compiler

Compiled 2874 to 2293 computations (20.2% saved)

simplify100.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
154 → 154
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
049804914
149804914

prune28.0s (14.3%)

Pruning

590 alts after pruning (580 fresh and 10 done)

PrunedKeptTotal
New353203556
Fresh23377400
Picked000
Done11011
Total377590967
Error
0.1b
Counts
967 → 590
Compiler

Compiled 40287 to 27247 computations (32.4% saved)

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
0.0b
(/.f64 alpha (-.f64 -2 (+.f64 alpha beta)))
0.0b
(/.f64 (-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (-.f64 (/.f64 0 (-.f64 -2 (+.f64 alpha beta))) (+.f64 1 (/.f64 alpha (-.f64 -2 (+.f64 alpha beta)))))) 2)
0.0b
(-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (-.f64 (/.f64 0 (-.f64 -2 (+.f64 alpha beta))) (+.f64 1 (/.f64 alpha (-.f64 -2 (+.f64 alpha beta))))))
0.0b
(/.f64 alpha (-.f64 -2 (+.f64 alpha beta)))
0.0b
(/.f64 (-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (-.f64 (/.f64 0 (-.f64 -2 (+.f64 alpha beta))) (+.f64 1 (/.f64 alpha (-.f64 -2 (+.f64 alpha beta)))))) 2)
0.0b
(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
1.9b
(+.f64 1 (/.f64 alpha (-.f64 -2 (+.f64 alpha beta))))

rewrite100.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
116×*-un-lft-identity_binary64_2465
66×add-sqr-sqrt_binary64_2487
61×times-frac_binary64_2471
38×add-cube-cbrt_binary64_2500
28×distribute-lft-out--_binary64_2417
21×distribute-lft-out_binary64_2416
14×associate-/r*_binary64_2409 associate-/l*_binary64_2410
12×difference-of-squares_binary64_2434
10×add-exp-log_binary64_2503 add-cbrt-cube_binary64_2501
6×add-log-exp_binary64_2504 associate-/l/_binary64_2412 frac-sub_binary64_2474
4×pow1_binary64_2526 associate-/r/_binary64_2411
3×flip3-+_binary64_2468 flip--_binary64_2440 flip-+_binary64_2439 clear-num_binary64_2464 cbrt-undiv_binary64_2499 div-exp_binary64_2516 div-inv_binary64_2462 frac-2neg_binary64_2476 flip3--_binary64_2469
1×+-commutative_binary64_2395 sum-log_binary64_2556 div-sub_binary64_2470
Counts
4 → 144
Calls

8 calls:

49.0ms
(/.f64 (-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (-.f64 (/.f64 0 (-.f64 -2 (+.f64 alpha beta))) (+.f64 1 (/.f64 alpha (-.f64 -2 (+.f64 alpha beta)))))) 2)
13.0ms
(+.f64 1 (/.f64 alpha (-.f64 -2 (+.f64 alpha beta))))
8.0ms
(/.f64 alpha (-.f64 -2 (+.f64 alpha beta)))
8.0ms
(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
0.0ms
(-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (-.f64 (/.f64 0 (-.f64 -2 (+.f64 alpha beta))) (+.f64 1 (/.f64 alpha (-.f64 -2 (+.f64 alpha beta))))))

series622.0ms (0.3%)

Counts
4 → 77
Calls

4 calls:

248.0ms
(/.f64 (-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (-.f64 (/.f64 0 (-.f64 -2 (+.f64 alpha beta))) (+.f64 1 (/.f64 alpha (-.f64 -2 (+.f64 alpha beta)))))) 2)
138.0ms
(+.f64 1 (/.f64 alpha (-.f64 -2 (+.f64 alpha beta))))
118.0ms
(/.f64 alpha (-.f64 -2 (+.f64 alpha beta)))
118.0ms
(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
Compiler

Compiled 3878 to 3019 computations (22.2% saved)

simplify94.0ms (0%)

Algorithm
1×egg-herbie
Counts
221 → 221
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
051206750

localize3.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify9.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

16.2b
(/.f64 (-.f64 beta alpha) (-.f64 (cbrt.f64 (pow.f64 (+.f64 beta alpha) 6)) 4))
4.3b
(+.f64 (*.f64 (/.f64 (-.f64 beta alpha) (-.f64 (cbrt.f64 (pow.f64 (+.f64 beta alpha) 6)) 4)) (-.f64 (+.f64 alpha beta) 2)) 1)
0.1b
(*.f64 (/.f64 (-.f64 beta alpha) (-.f64 (cbrt.f64 (pow.f64 (+.f64 beta alpha) 6)) 4)) (-.f64 (+.f64 alpha beta) 2))
0.0b
(pow.f64 (+.f64 beta alpha) 6)
0.1b
(*.f64 (/.f64 (-.f64 beta alpha) (-.f64 (cbrt.f64 (pow.f64 (+.f64 beta alpha) 6)) 4)) (-.f64 (+.f64 alpha beta) 2))
4.3b
(+.f64 (*.f64 (/.f64 (-.f64 beta alpha) (-.f64 (cbrt.f64 (pow.f64 (+.f64 beta alpha) 6)) 4)) (-.f64 (+.f64 alpha beta) 2)) 1)
16.2b
(/.f64 (-.f64 beta alpha) (-.f64 (cbrt.f64 (pow.f64 (+.f64 beta alpha) 6)) 4))
22.3b
(cbrt.f64 (pow.f64 (+.f64 beta alpha) 6))

rewrite106.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
158×add-sqr-sqrt_binary64_2487
103×*-un-lft-identity_binary64_2465
81×times-frac_binary64_2471
62×difference-of-squares_binary64_2434
46×associate-*l*_binary64_2406
41×cbrt-prod_binary64_2496
40×add-cube-cbrt_binary64_2500
30×distribute-lft-out--_binary64_2417
15×unpow-prod-down_binary64_2544
12×cancel-sign-sub-inv_binary64_2431 sqr-pow_binary64_2437
11×add-exp-log_binary64_2503 add-cbrt-cube_binary64_2501
10×distribute-lft-in_binary64_2414 associate-+l+_binary64_2398 distribute-rgt-in_binary64_2415
8×associate-/r*_binary64_2409
6×add-log-exp_binary64_2504 pow1_binary64_2526 associate-*r*_binary64_2405
5×flip--_binary64_2440 flip3--_binary64_2469 associate-/l*_binary64_2410
4×sub-neg_binary64_2458 associate-/r/_binary64_2411 associate--l+_binary64_2402
2×frac-times_binary64_2475 associate-/l/_binary64_2412 associate-*r/_binary64_2407 cbrt-undiv_binary64_2499 unswap-sqr_binary64_2433 div-exp_binary64_2516 div-inv_binary64_2462 prod-exp_binary64_2514 distribute-lft-out_binary64_2416 cbrt-unprod_binary64_2498
1×flip3-+_binary64_2468 associate-*l/_binary64_2408 *-commutative_binary64_2396 +-commutative_binary64_2395 sum-log_binary64_2556 flip-+_binary64_2439 clear-num_binary64_2464 div-sub_binary64_2470 pow1/3_binary64_2547 frac-2neg_binary64_2476 pow-prod-down_binary64_2536
Counts
4 → 189
Calls

8 calls:

34.0ms
(*.f64 (/.f64 (-.f64 beta alpha) (-.f64 (cbrt.f64 (pow.f64 (+.f64 beta alpha) 6)) 4)) (-.f64 (+.f64 alpha beta) 2))
25.0ms
(+.f64 (*.f64 (/.f64 (-.f64 beta alpha) (-.f64 (cbrt.f64 (pow.f64 (+.f64 beta alpha) 6)) 4)) (-.f64 (+.f64 alpha beta) 2)) 1)
16.0ms
(/.f64 (-.f64 beta alpha) (-.f64 (cbrt.f64 (pow.f64 (+.f64 beta alpha) 6)) 4))
5.0ms
(cbrt.f64 (pow.f64 (+.f64 beta alpha) 6))
0.0ms
(pow.f64 (+.f64 beta alpha) 6)

series1.3s (0.7%)

Counts
4 → 81
Calls

4 calls:

604.0ms
(+.f64 (*.f64 (/.f64 (-.f64 beta alpha) (-.f64 (cbrt.f64 (pow.f64 (+.f64 beta alpha) 6)) 4)) (-.f64 (+.f64 alpha beta) 2)) 1)
419.0ms
(*.f64 (/.f64 (-.f64 beta alpha) (-.f64 (cbrt.f64 (pow.f64 (+.f64 beta alpha) 6)) 4)) (-.f64 (+.f64 alpha beta) 2))
187.0ms
(/.f64 (-.f64 beta alpha) (-.f64 (cbrt.f64 (pow.f64 (+.f64 beta alpha) 6)) 4))
99.0ms
(cbrt.f64 (pow.f64 (+.f64 beta alpha) 6))
Compiler

Compiled 4426 to 3718 computations (16% saved)

simplify122.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
270 → 270
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
051829894

localize29.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(+.f64 (/.f64 (*.f64 beta beta) (-.f64 (*.f64 beta beta) 4)) (+.f64 (*.f64 2 (/.f64 alpha (-.f64 (*.f64 beta beta) 4))) (+.f64 1 (*.f64 4 (/.f64 (*.f64 beta (*.f64 beta alpha)) (pow.f64 (-.f64 (*.f64 beta beta) 4) 2))))))
0.0b
(*.f64 2 (+.f64 (/.f64 (*.f64 alpha (pow.f64 beta 3)) (pow.f64 (-.f64 (*.f64 beta beta) 4) 2)) (/.f64 beta (-.f64 (*.f64 beta beta) 4))))
0.0b
(*.f64 2 (/.f64 alpha (-.f64 (*.f64 beta beta) 4)))
0.0b
(+.f64 (/.f64 (*.f64 alpha (pow.f64 beta 3)) (pow.f64 (-.f64 (*.f64 beta beta) 4) 2)) (/.f64 beta (-.f64 (*.f64 beta beta) 4)))
9.9b
(/.f64 beta (-.f64 (*.f64 beta beta) 4))
10.2b
(/.f64 (*.f64 beta beta) (-.f64 (*.f64 beta beta) 4))
10.5b
(/.f64 (*.f64 beta (*.f64 beta alpha)) (pow.f64 (-.f64 (*.f64 beta beta) 4) 2))
14.3b
(/.f64 (*.f64 alpha (pow.f64 beta 3)) (pow.f64 (-.f64 (*.f64 beta beta) 4) 2))

rewrite67.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
61×add-exp-log_binary64_2503
34×times-frac_binary64_2471
33×add-sqr-sqrt_binary64_2487
26×associate-/r*_binary64_2409
25×add-cbrt-cube_binary64_2501
24×div-exp_binary64_2516
23×*-un-lft-identity_binary64_2465 add-cube-cbrt_binary64_2500
19×prod-exp_binary64_2514
16×unpow-prod-down_binary64_2544
10×difference-of-squares_binary64_2434 pow-exp_binary64_2533 pow-to-exp_binary64_2534
8×cbrt-undiv_binary64_2499
6×associate-/l*_binary64_2410
5×cbrt-unprod_binary64_2498
4×add-log-exp_binary64_2504 unpow2_binary64_2530 clear-num_binary64_2464 div-inv_binary64_2462 sqr-pow_binary64_2437 pow1_binary64_2526 associate-/r/_binary64_2411 frac-2neg_binary64_2476
2×flip--_binary64_2440 flip3--_binary64_2469
Counts
4 → 142
Calls

8 calls:

12.0ms
(/.f64 (*.f64 beta (*.f64 beta alpha)) (pow.f64 (-.f64 (*.f64 beta beta) 4) 2))
11.0ms
(/.f64 (*.f64 alpha (pow.f64 beta 3)) (pow.f64 (-.f64 (*.f64 beta beta) 4) 2))
8.0ms
(/.f64 (*.f64 beta beta) (-.f64 (*.f64 beta beta) 4))
7.0ms
(/.f64 beta (-.f64 (*.f64 beta beta) 4))
0.0ms
(+.f64 (/.f64 (*.f64 alpha (pow.f64 beta 3)) (pow.f64 (-.f64 (*.f64 beta beta) 4) 2)) (/.f64 beta (-.f64 (*.f64 beta beta) 4)))

series503.0ms (0.3%)

Counts
4 → 32
Calls

4 calls:

189.0ms
(/.f64 (*.f64 alpha (pow.f64 beta 3)) (pow.f64 (-.f64 (*.f64 beta beta) 4) 2))
165.0ms
(/.f64 (*.f64 beta (*.f64 beta alpha)) (pow.f64 (-.f64 (*.f64 beta beta) 4) 2))
76.0ms
(/.f64 (*.f64 beta beta) (-.f64 (*.f64 beta beta) 4))
73.0ms
(/.f64 beta (-.f64 (*.f64 beta beta) 4))
Compiler

Compiled 2994 to 2100 computations (29.9% saved)

simplify98.0ms (0%)

Algorithm
1×egg-herbie
Counts
174 → 174
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
049063112
149063112

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(/.f64 (cbrt.f64 (-.f64 beta alpha)) (+.f64 (+.f64 beta alpha) 2))
0.1b
(+.f64 (log.f64 (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (-.f64 beta alpha)) (cbrt.f64 (-.f64 beta alpha)))) (/.f64 (cbrt.f64 (-.f64 beta alpha)) (+.f64 (+.f64 beta alpha) 2)))) 1)
0.1b
(exp.f64 (*.f64 (cbrt.f64 (-.f64 beta alpha)) (cbrt.f64 (-.f64 beta alpha))))
0.0b
(pow.f64 (exp.f64 (*.f64 (cbrt.f64 (-.f64 beta alpha)) (cbrt.f64 (-.f64 beta alpha)))) (/.f64 (cbrt.f64 (-.f64 beta alpha)) (+.f64 (+.f64 beta alpha) 2)))
0.6b
(cbrt.f64 (-.f64 beta alpha))
0.6b
(cbrt.f64 (-.f64 beta alpha))
0.6b
(cbrt.f64 (-.f64 beta alpha))
5.5b
(log.f64 (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (-.f64 beta alpha)) (cbrt.f64 (-.f64 beta alpha)))) (/.f64 (cbrt.f64 (-.f64 beta alpha)) (+.f64 (+.f64 beta alpha) 2))))

rewrite20.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
15×*-un-lft-identity_binary64_2465 add-sqr-sqrt_binary64_2487 cbrt-prod_binary64_2496
9×add-cube-cbrt_binary64_2500
7×log-prod_binary64_2551
6×cbrt-div_binary64_2497
5×add-exp-log_binary64_2503
4×add-log-exp_binary64_2504 add-cbrt-cube_binary64_2501 pow1_binary64_2526
3×difference-of-squares_binary64_2434 flip--_binary64_2440 distribute-lft-out--_binary64_2417 pow1/3_binary64_2547 unpow-prod-down_binary64_2544 flip3--_binary64_2469 rem-log-exp_binary64_2506
1×log-pow_binary64_2554 pow-exp_binary64_2533 pow-to-exp_binary64_2534 sqr-pow_binary64_2437
Counts
4 → 63
Calls

8 calls:

3.0ms
(cbrt.f64 (-.f64 beta alpha))
3.0ms
(cbrt.f64 (-.f64 beta alpha))
3.0ms
(cbrt.f64 (-.f64 beta alpha))
3.0ms
(log.f64 (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (-.f64 beta alpha)) (cbrt.f64 (-.f64 beta alpha)))) (/.f64 (cbrt.f64 (-.f64 beta alpha)) (+.f64 (+.f64 beta alpha) 2))))
0.0ms
(pow.f64 (exp.f64 (*.f64 (cbrt.f64 (-.f64 beta alpha)) (cbrt.f64 (-.f64 beta alpha)))) (/.f64 (cbrt.f64 (-.f64 beta alpha)) (+.f64 (+.f64 beta alpha) 2)))

series832.0ms (0.4%)

Counts
4 → 27
Calls

4 calls:

645.0ms
(log.f64 (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (-.f64 beta alpha)) (cbrt.f64 (-.f64 beta alpha)))) (/.f64 (cbrt.f64 (-.f64 beta alpha)) (+.f64 (+.f64 beta alpha) 2))))
66.0ms
(cbrt.f64 (-.f64 beta alpha))
61.0ms
(cbrt.f64 (-.f64 beta alpha))
60.0ms
(cbrt.f64 (-.f64 beta alpha))
Compiler

Compiled 2234 to 1830 computations (18.1% saved)

simplify46.0ms (0%)

Algorithm
1×egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 0 (24.0ms)

IterNodesCost
054671708

prune53.2s (27.2%)

Pruning

824 alts after pruning (810 fresh and 14 done)

PrunedKeptTotal
New491264755
Fresh29546575
Picked000
Done11415
Total5218241345
Error
0.1b
Counts
1345 → 824
Compiler

Compiled 23505 to 13470 computations (42.7% saved)

simplify1.4s (0.7%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (19.0ms)

IterNodesCost
0738988800

regimes25.3s (13%)

Compiler

Compiled 291149 to 203929 computations (30% saved)

bsearch94.0ms (0%)

Compiler

Compiled 9 to 7 computations (22.2% saved)

regimes4.0s (2%)

Compiler

Compiled 43614 to 31304 computations (28.2% saved)

bsearch16.0ms (0%)

Compiler

Compiled 9 to 7 computations (22.2% saved)

regimes1.5s (0.8%)

Compiler

Compiled 16619 to 12937 computations (22.2% saved)

bsearch6.0ms (0%)

Compiler

Compiled 9 to 7 computations (22.2% saved)

regimes475.0ms (0.2%)

Compiler

Compiled 4069 to 3557 computations (12.6% saved)

bsearch2.0ms (0%)

Compiler

Compiled 9 to 7 computations (22.2% saved)

regimes238.0ms (0.1%)

Compiler

Compiled 1454 to 1358 computations (6.6% saved)

bsearch1.0ms (0%)

Compiler

Compiled 9 to 7 computations (22.2% saved)

regimes66.0ms (0%)

Compiler

Compiled 266 to 268 computations (-0.8% saved)

bsearch10.0ms (0%)

Steps
ItersRangePoint
5
15606473622042.5
58113080537275.4
15864504599490.816
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes56.0ms (0%)

Compiler

Compiled 196 to 204 computations (-4.1% saved)

bsearch10.0ms (0%)

Steps
ItersRangePoint
5
15606473622042.5
58113080537275.4
15864504599490.816
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes34.0ms (0%)

Compiler

Compiled 28 to 40 computations (-42.9% saved)

bsearch9.0ms (0%)

Steps
ItersRangePoint
5
15606473622042.5
58113080537275.4
15864504599490.816
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes16.0ms (0%)

Accuracy

Total 0.2b remaining (89.9%)

Threshold costs 0.2b (89.9%)

Compiler

Compiled 8 to 20 computations (-150% saved)

bsearch13.0ms (0%)

Compiler

Compiled 298 to 203 computations (31.9% saved)

simplify12.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
0354439
1354439

end0.0ms (0%)

sample49.7s (25.5%)

Algorithm
1×intervals
Results
212.0ms5958×body128valid
144.0ms8000×pre128true
140.0ms1045×body1024valid
61.0ms619×body512valid
20.0ms293×body256valid
14.0ms85×body2048valid
Compiler

Compiled 58777 to 41143 computations (30% saved)

Pareto

0.9309243315192489

Profiling

Loading profile data...