Details

Time bar (total: 18.7s)

analyze514.0ms (2.8%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0493796
1493796
033
133
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
0%0%100%2
0%0%100%3
0%0%100%4
0%0%100%5
0%0%100%6
0%0%100%7
0%0%100%8
0%0%100%9
0%0%100%10
0%0%100%11
0%0%100%12
0%0%100%13
0%0%100%14
Compiler

Compiled 30 to 24 computations (20% saved)

sample47.0ms (0.3%)

Algorithm
1×intervals
Results
11.0ms116×body256valid
8.0ms285×pre128true
7.0ms48×body512valid
4.0ms92×body128valid
1.0ms29×body128nan
Compiler

Compiled 47 to 41 computations (12.8% saved)

simplify283.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (277.0ms)

IterNodesCost
0180224
1180224

prune5.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
52.2b
Counts
2 → 1
Compiler

Compiled 32 to 26 computations (18.8% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
0.2b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
0.3b
(*.f64 (*.f64 3 a) c)
26.0b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)

rewrite145.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
49.4b
Rules
20×add-sqr-sqrt_binary64_2487
14×add-exp-log_binary64_2503 add-cbrt-cube_binary64_2501 *-un-lft-identity_binary64_2465
9×pow1_binary64_2526
8×add-log-exp_binary64_2504 add-cube-cbrt_binary64_2500
6×difference-of-squares_binary64_2434 times-frac_binary64_2471 associate-/l*_binary64_2410
4×cancel-sign-sub-inv_binary64_2431 prod-exp_binary64_2514 cbrt-unprod_binary64_2498
3×flip3--_binary64_2469 flip--_binary64_2440 sqrt-prod_binary64_2481 distribute-lft-out--_binary64_2417 pow-prod-down_binary64_2536 associate-*r*_binary64_2405
2×diff-log_binary64_2557 sub-neg_binary64_2458 div-exp_binary64_2516 cbrt-undiv_binary64_2499 associate-/l/_binary64_2412
1×associate-*l*_binary64_2406 *-commutative_binary64_2396 frac-2neg_binary64_2476 div-sub_binary64_2470 clear-num_binary64_2464 div-inv_binary64_2462 associate-/r*_binary64_2409
Counts
4 → 77
Calls

4 calls:

12.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
9.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)
5.0ms
(*.f64 (*.f64 3 a) c)
4.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
Compiler

Compiled 2072 to 1208 computations (41.7% saved)

series648.0ms (3.5%)

Error
0.3b
Counts
4 → 60
Calls

4 calls:

208.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
158.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
158.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)
57.0ms
(*.f64 (*.f64 3 a) c)
Compiler

Compiled 2840 to 2199 computations (22.6% saved)

simplify56.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
137 → 137
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
052682923

prune157.0ms (0.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1307137
Fresh000
Picked101
Done000
Total1317138
Error
0.2b
Counts
138 → 7
Compiler

Compiled 3206 to 1776 computations (44.6% saved)

localize29.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b
(/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
0.3b
(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
0.4b
(/.f64 (*.f64 a (*.f64 c c)) (pow.f64 b 3))
0.4b
(*.f64 (pow.f64 a 3) (pow.f64 c 4))

rewrite652.0ms (3.5%)

Algorithm
1×rewrite-expression-head
Error
0.2b
Rules
155×add-exp-log_binary64_2503
72×prod-exp_binary64_2514
60×div-exp_binary64_2516
50×pow-to-exp_binary64_2534 pow-exp_binary64_2533
40×add-sqr-sqrt_binary64_2487
31×unpow-prod-down_binary64_2544
29×add-cbrt-cube_binary64_2501
26×times-frac_binary64_2471 associate-/r*_binary64_2409
23×add-cube-cbrt_binary64_2500 *-un-lft-identity_binary64_2465
15×sqr-pow_binary64_2437
12×unswap-sqr_binary64_2433 cube-prod_binary64_2493 associate-*l*_binary64_2406
8×cbrt-unprod_binary64_2498 cbrt-undiv_binary64_2499
7×associate-*r*_binary64_2405
4×pow1_binary64_2526 add-log-exp_binary64_2504
3×unpow3_binary64_2531 cube-mult_binary64_2495 frac-2neg_binary64_2476 clear-num_binary64_2464 div-inv_binary64_2462 associate-/l*_binary64_2410
1×*-commutative_binary64_2396
Counts
4 → 202
Calls

4 calls:

11.0ms
(*.f64 (pow.f64 a 3) (pow.f64 c 4))
11.0ms
(/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
10.0ms
(/.f64 (*.f64 a (*.f64 c c)) (pow.f64 b 3))
9.0ms
(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
Compiler

Compiled 10444 to 6552 computations (37.3% saved)

series1.0s (5.4%)

Error
0.2b
Counts
4 → 33
Calls

4 calls:

320.0ms
(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
281.0ms
(/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
217.0ms
(/.f64 (*.f64 a (*.f64 c c)) (pow.f64 b 3))
127.0ms
(*.f64 (pow.f64 a 3) (pow.f64 c 4))
Compiler

Compiled 4455 to 3322 computations (25.4% saved)

simplify95.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
235 → 235
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
050893808

prune669.0ms (3.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New2341235
Fresh066
Picked011
Done000
Total2348242
Error
0.2b
Counts
242 → 8
Compiler

Compiled 11677 to 7305 computations (37.4% saved)

localize30.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b
(*.f64 (pow.f64 a 4) (pow.f64 c 4))
0.4b
(/.f64 (-.f64 (*.f64 -3/2 (/.f64 (*.f64 a c) b)) (+.f64 (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 a c) (*.f64 a c)) (pow.f64 b 3))) (*.f64 27/16 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5)))) (*.f64 405/128 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
0.5b
(*.f64 (*.f64 a c) (*.f64 a c))
0.7b
(pow.f64 (*.f64 a c) 3)

rewrite548.0ms (2.9%)

Algorithm
1×rewrite-expression-head
Error
0.2b
Rules
46×pow1_binary64_2526
36×add-exp-log_binary64_2503
26×add-cbrt-cube_binary64_2501
23×add-sqr-sqrt_binary64_2487
19×pow-prod-down_binary64_2536 prod-exp_binary64_2514
13×unpow-prod-down_binary64_2544
11×add-cube-cbrt_binary64_2500 *-un-lft-identity_binary64_2465 cbrt-unprod_binary64_2498
10×associate-*r/_binary64_2407
9×sqr-pow_binary64_2437 unswap-sqr_binary64_2433
8×pow-exp_binary64_2533 associate-*l*_binary64_2406 associate-*r*_binary64_2405
7×pow-to-exp_binary64_2534 associate-/l/_binary64_2412
5×frac-sub_binary64_2474
4×add-log-exp_binary64_2504 pow-prod-up_binary64_2535 pow-sqr_binary64_2438 frac-add_binary64_2473
3×pow-unpow_binary64_2542 times-frac_binary64_2471 associate-/l*_binary64_2410
2×pow-pow_binary64_2537 rem-cube-cbrt_binary64_2488 pow-plus_binary64_2528 *-commutative_binary64_2396 div-exp_binary64_2516 cbrt-undiv_binary64_2499 flip3-+_binary64_2468 flip-+_binary64_2439
1×unpow3_binary64_2531 cube-mult_binary64_2495 cube-prod_binary64_2493 pow2_binary64_2546 swap-sqr_binary64_2432 frac-2neg_binary64_2476 div-sub_binary64_2470 clear-num_binary64_2464 div-inv_binary64_2462 flip3--_binary64_2469 flip--_binary64_2440 associate-/r*_binary64_2409
Counts
4 → 127
Calls

4 calls:

34.0ms
(/.f64 (-.f64 (*.f64 -3/2 (/.f64 (*.f64 a c) b)) (+.f64 (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 a c) (*.f64 a c)) (pow.f64 b 3))) (*.f64 27/16 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5)))) (*.f64 405/128 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
8.0ms
(*.f64 (pow.f64 a 4) (pow.f64 c 4))
7.0ms
(*.f64 (*.f64 a c) (*.f64 a c))
4.0ms
(pow.f64 (*.f64 a c) 3)
Compiler

Compiled 8846 to 5294 computations (40.2% saved)

series709.0ms (3.8%)

Error
0.2b
Counts
4 → 39
Calls

4 calls:

321.0ms
(/.f64 (-.f64 (*.f64 -3/2 (/.f64 (*.f64 a c) b)) (+.f64 (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 a c) (*.f64 a c)) (pow.f64 b 3))) (*.f64 27/16 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5)))) (*.f64 405/128 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
130.0ms
(*.f64 (pow.f64 a 4) (pow.f64 c 4))
97.0ms
(pow.f64 (*.f64 a c) 3)
96.0ms
(*.f64 (*.f64 a c) (*.f64 a c))
Compiler

Compiled 3868 to 2847 computations (26.4% saved)

simplify91.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
166 → 166
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049334010
149334010

prune563.0ms (3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New1633166
Fresh066
Picked011
Done011
Total16311174
Error
0.2b
Counts
174 → 11
Compiler

Compiled 9990 to 6090 computations (39% saved)

localize57.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.7b
(pow.f64 (*.f64 a c) 3)
0.7b
(pow.f64 (*.f64 a c) 3)
0.8b
(*.f64 b (-.f64 (*.f64 (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 a c) (*.f64 a c)) (pow.f64 b 3))) (*.f64 27/16 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5)))) (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 a c) (*.f64 a c)) (pow.f64 b 3))) (*.f64 27/16 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))))) (*.f64 (*.f64 405/128 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))) (*.f64 405/128 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))))
0.8b
(pow.f64 (*.f64 a c) 4)

rewrite2.7s (14.6%)

Algorithm
1×rewrite-expression-head
Error
0.2b
Rules
179×associate-*r/_binary64_2407
45×frac-sub_binary64_2474
42×frac-times_binary64_2475
24×frac-add_binary64_2473 associate-*l/_binary64_2408 flip3-+_binary64_2468 flip-+_binary64_2439
15×pow1_binary64_2526 add-exp-log_binary64_2503
12×add-cbrt-cube_binary64_2501
11×add-sqr-sqrt_binary64_2487
9×add-cube-cbrt_binary64_2500 pow-unpow_binary64_2542 *-un-lft-identity_binary64_2465
6×pow-pow_binary64_2537 pow-exp_binary64_2533 distribute-rgt-in_binary64_2415 distribute-lft-in_binary64_2414
4×pow-prod-down_binary64_2536 prod-exp_binary64_2514 add-log-exp_binary64_2504 associate--l+_binary64_2402 associate-*r*_binary64_2405 rem-cube-cbrt_binary64_2488
3×unpow-prod-down_binary64_2544 pow-to-exp_binary64_2534 sqr-pow_binary64_2437 cbrt-unprod_binary64_2498 associate-*l*_binary64_2406
2×sub-neg_binary64_2458 cancel-sign-sub-inv_binary64_2431 unpow3_binary64_2531 cube-mult_binary64_2495 cube-prod_binary64_2493
1×unswap-sqr_binary64_2433 flip3--_binary64_2469 flip--_binary64_2440 difference-of-squares_binary64_2434 *-commutative_binary64_2396
Counts
4 → 135
Calls

4 calls:

72.0ms
(*.f64 b (-.f64 (*.f64 (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 a c) (*.f64 a c)) (pow.f64 b 3))) (*.f64 27/16 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5)))) (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 a c) (*.f64 a c)) (pow.f64 b 3))) (*.f64 27/16 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))))) (*.f64 (*.f64 405/128 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))) (*.f64 405/128 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))))
4.0ms
(pow.f64 (*.f64 a c) 3)
4.0ms
(pow.f64 (*.f64 a c) 3)
4.0ms
(pow.f64 (*.f64 a c) 4)
Compiler

Compiled 30911 to 18997 computations (38.5% saved)

series1.6s (8.4%)

Error
0.2b
Counts
4 → 35
Calls

4 calls:

693.0ms
(*.f64 b (-.f64 (*.f64 (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 a c) (*.f64 a c)) (pow.f64 b 3))) (*.f64 27/16 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5)))) (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 a c) (*.f64 a c)) (pow.f64 b 3))) (*.f64 27/16 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))))) (*.f64 (*.f64 405/128 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))) (*.f64 405/128 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))))
154.0ms
(pow.f64 (*.f64 a c) 4)
151.0ms
(pow.f64 (*.f64 a c) 3)
146.0ms
(pow.f64 (*.f64 a c) 3)
Compiler

Compiled 14151 to 9490 computations (32.9% saved)

simplify120.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
170 → 170
Iterations

Useful iterations: 0 (24.0ms)

IterNodesCost
0512212414

prune2.8s (15%)

Pruning

11 alts after pruning (8 fresh and 3 done)

PrunedKeptTotal
New1700170
Fresh088
Picked011
Done022
Total17011181
Error
0.2b
Counts
181 → 11
Compiler

Compiled 33271 to 21053 computations (36.7% saved)

regimes1.1s (6%)

Accuracy

Total 1.4b remaining (90.1%)

Threshold costs 0b (0%)

Compiler

Compiled 18500 to 12980 computations (29.8% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
020367
120367

end0.0ms (0%)

sample4.0s (21.5%)

Algorithm
1×intervals
Results
383.0ms3775×body256valid
264.0ms8839×pre128true
218.0ms1516×body512valid
129.0ms2709×body128valid
41.0ms839×body128nan
Compiler

Compiled 3585 to 2520 computations (29.7% saved)

Profiling

Loading profile data...