Details

Time bar (total: 5.0s)

analyze3.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
Compiler

Compiled 24 to 20 computations (16.7% saved)

sample39.0ms (0.8%)

Algorithm
1×intervals
Results
13.0ms256×body128valid
11.0ms256×pre128true
Compiler

Compiled 31 to 31 computations (0% saved)

simplify133.0ms (2.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
04310
14310

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Compiler

Compiled 14 to 14 computations (0% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b
(*.f64 a (+.f64 (+.f64 b c) d))

rewrite36.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
8×*-un-lft-identity_binary64_1442
5×add-sqr-sqrt_binary64_1464 associate-*r*_binary64_1382
3×pow1_binary64_1503 add-exp-log_binary64_1480 add-cbrt-cube_binary64_1478 add-cube-cbrt_binary64_1477 associate-*l*_binary64_1383 distribute-lft-out_binary64_1393
2×associate-*r/_binary64_1384
1×pow-prod-down_binary64_1513 prod-exp_binary64_1491 add-log-exp_binary64_1481 cbrt-unprod_binary64_1475 unswap-sqr_binary64_1410 distribute-rgt-in_binary64_1392 distribute-lft-in_binary64_1391 flip3-+_binary64_1445 flip-+_binary64_1416 *-commutative_binary64_1373
Counts
1 → 24
Calls

1 calls:

10.0ms
(*.f64 a (+.f64 (+.f64 b c) d))
Compiler

Compiled 336 to 85 computations (74.7% saved)

series183.0ms (3.7%)

Error
0.0b
Counts
1 → 21
Calls

1 calls:

172.0ms
(*.f64 a (+.f64 (+.f64 b c) d))
Compiler

Compiled 426 to 269 computations (36.9% saved)

simplify75.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
45 → 45
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
05029456

prune36.0ms (0.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New41445
Fresh000
Picked011
Done000
Total41546
Error
0.0b
Counts
46 → 5
Compiler

Compiled 464 to 110 computations (76.3% saved)

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 a (+.f64 b c))
0.0b
(+.f64 (*.f64 a (+.f64 b c)) (*.f64 a d))

rewrite53.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
6×add-sqr-sqrt_binary64_1464 *-un-lft-identity_binary64_1442
4×add-log-exp_binary64_1481 pow1_binary64_1503 add-exp-log_binary64_1480 add-cbrt-cube_binary64_1478 add-cube-cbrt_binary64_1477 associate-*r*_binary64_1382
3×associate-*l*_binary64_1383
2×flip3-+_binary64_1445 flip-+_binary64_1416 distribute-lft-out_binary64_1393 distribute-rgt-in_binary64_1392 associate-+l+_binary64_1375 distribute-lft-in_binary64_1391 associate-*r/_binary64_1384
1×sum-log_binary64_1533 +-commutative_binary64_1372 pow-prod-down_binary64_1513 prod-exp_binary64_1491 cbrt-unprod_binary64_1475 unswap-sqr_binary64_1410 *-commutative_binary64_1373
Counts
2 → 37
Calls

2 calls:

9.0ms
(*.f64 a (+.f64 b c))
7.0ms
(+.f64 (*.f64 a (+.f64 b c)) (*.f64 a d))
Compiler

Compiled 590 to 145 computations (75.4% saved)

series308.0ms (6.1%)

Error
0b
Counts
2 → 36
Calls

2 calls:

201.0ms
(+.f64 (*.f64 a (+.f64 b c)) (*.f64 a d))
87.0ms
(*.f64 a (+.f64 b c))
Compiler

Compiled 801 to 473 computations (40.9% saved)

simplify59.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
04951681
14951681

prune51.0ms (1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New72173
Fresh123
Picked011
Done011
Total73578
Error
0b
Counts
78 → 5
Compiler

Compiled 779 to 154 computations (80.2% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (*.f64 b a) (*.f64 a (+.f64 d c)))
0.0b
(*.f64 a (+.f64 d c))

rewrite52.0ms (1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
6×add-sqr-sqrt_binary64_1464 *-un-lft-identity_binary64_1442
4×pow1_binary64_1503 add-exp-log_binary64_1480 add-log-exp_binary64_1481 add-cbrt-cube_binary64_1478 add-cube-cbrt_binary64_1477 associate-*r*_binary64_1382
3×associate-*l*_binary64_1383
2×distribute-rgt-in_binary64_1392 distribute-lft-in_binary64_1391 flip3-+_binary64_1445 associate-*r/_binary64_1384 flip-+_binary64_1416 associate-+r+_binary64_1374
1×pow-prod-down_binary64_1513 prod-exp_binary64_1491 cbrt-unprod_binary64_1475 unswap-sqr_binary64_1410 distribute-lft-out_binary64_1393 *-commutative_binary64_1373 sum-log_binary64_1533 +-commutative_binary64_1372
Counts
2 → 36
Calls

2 calls:

8.0ms
(*.f64 a (+.f64 d c))
8.0ms
(+.f64 (*.f64 b a) (*.f64 a (+.f64 d c)))
Compiler

Compiled 583 to 143 computations (75.5% saved)

series304.0ms (6.1%)

Error
0b
Counts
2 → 36
Calls

2 calls:

188.0ms
(+.f64 (*.f64 b a) (*.f64 a (+.f64 d c)))
98.0ms
(*.f64 a (+.f64 d c))
Compiler

Compiled 801 to 474 computations (40.8% saved)

simplify73.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
05469674

prune36.0ms (0.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New71172
Fresh112
Picked101
Done022
Total73477
Error
0b
Counts
77 → 4
Compiler

Compiled 765 to 151 computations (80.3% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(*.f64 a (+.f64 d (+.f64 b c)))
0.1b
(sqrt.f64 (*.f64 a (+.f64 d (+.f64 b c))))
0.1b
(sqrt.f64 (*.f64 a (+.f64 d (+.f64 b c))))
0.5b
(*.f64 (sqrt.f64 (*.f64 a (+.f64 d (+.f64 b c)))) (sqrt.f64 (*.f64 a (+.f64 d (+.f64 b c)))))

rewrite162.0ms (3.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
61×pow1_binary64_1503
32×sqrt-pow1_binary64_1460
23×pow-prod-down_binary64_1513
20×associate-*r/_binary64_1384
16×sqrt-div_binary64_1459
15×*-un-lft-identity_binary64_1442
14×add-sqr-sqrt_binary64_1464
12×pow1/2_binary64_1522
10×pow-prod-up_binary64_1512 add-cube-cbrt_binary64_1477
9×flip3-+_binary64_1445 flip-+_binary64_1416 associate-*r*_binary64_1382
8×add-exp-log_binary64_1480 add-cbrt-cube_binary64_1478
7×associate-*l*_binary64_1383
6×pow-sqr_binary64_1415 sqrt-prod_binary64_1458
4×add-log-exp_binary64_1481 frac-times_binary64_1452 swap-sqr_binary64_1409
3×distribute-lft-out_binary64_1393
2×prod-exp_binary64_1491 cbrt-unprod_binary64_1475 unswap-sqr_binary64_1410 associate-*l/_binary64_1385 *-commutative_binary64_1373
1×pow2_binary64_1523 pow-plus_binary64_1505 sqrt-unprod_binary64_1462 rem-square-sqrt_binary64_1454 distribute-rgt-in_binary64_1392 distribute-lft-in_binary64_1391
Counts
4 → 107
Calls

4 calls:

26.0ms
(*.f64 (sqrt.f64 (*.f64 a (+.f64 d (+.f64 b c)))) (sqrt.f64 (*.f64 a (+.f64 d (+.f64 b c)))))
15.0ms
(*.f64 a (+.f64 d (+.f64 b c)))
7.0ms
(sqrt.f64 (*.f64 a (+.f64 d (+.f64 b c))))
7.0ms
(sqrt.f64 (*.f64 a (+.f64 d (+.f64 b c))))
Compiler

Compiled 2640 to 449 computations (83% saved)

series807.0ms (16.1%)

Error
0b
Counts
4 → 84
Calls

4 calls:

198.0ms
(*.f64 (sqrt.f64 (*.f64 a (+.f64 d (+.f64 b c)))) (sqrt.f64 (*.f64 a (+.f64 d (+.f64 b c)))))
196.0ms
(sqrt.f64 (*.f64 a (+.f64 d (+.f64 b c))))
191.0ms
(sqrt.f64 (*.f64 a (+.f64 d (+.f64 b c))))
159.0ms
(*.f64 a (+.f64 d (+.f64 b c)))
Compiler

Compiled 4732 to 2587 computations (45.3% saved)

simplify53.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
191 → 191
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
051132910

prune140.0ms (2.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1910191
Fresh011
Picked011
Done022
Total1914195
Error
0b
Counts
195 → 4
Compiler

Compiled 3580 to 619 computations (82.7% saved)

regimes529.0ms (10.6%)

Accuracy

Total 0.0b remaining (96.6%)

Threshold costs 0.0b (96.6%)

Compiler

Compiled 4168 to 2800 computations (32.8% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01516
11516

end0.0ms (0%)

sample1.8s (36.7%)

Algorithm
1×intervals
Results
605.0ms8000×pre128true
222.0ms8000×body128valid
Compiler

Compiled 541 to 376 computations (30.5% saved)

Profiling

Loading profile data...