Details

Time bar (total: 2.0s)

analyze497.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
21.8%78%0.1%7
26.5%73.3%0.1%8
36.7%63.2%0.1%9
41.3%49.9%8.7%10
47.2%43.3%9.5%11
54.4%35.5%10.1%12
57.9%27.4%14.7%13
61.7%23.2%15.1%14

sample25.0ms

Algorithm
intervals
Results
6.0ms256×body80valid
0.0ms19×body80invalid

simplify173.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
056910
156910

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b
(*.f64 (+.f64 x y) (-.f64 1 z))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
8×*-un-lft-identity_binary64_574 add-sqr-sqrt_binary64_559
6×associate-*r*_binary64_633
4×frac-times_binary64_566 associate-*l*_binary64_634
3×flip3--_binary64_573 add-cube-cbrt_binary64_545 pow1_binary64_520 add-cbrt-cube_binary64_546 flip3-+_binary64_572 flip-+_binary64_599 flip--_binary64_600 add-exp-log_binary64_538
2×sub-neg_binary64_578 associate-*l/_binary64_636 difference-of-squares_binary64_603 associate-*r/_binary64_635
1×unswap-sqr_binary64_602 distribute-lft-out--_binary64_619 cbrt-unprod_binary64_543 distribute-lft-in_binary64_616 distribute-rgt-in_binary64_617 distribute-lft-out_binary64_618 *-commutative_binary64_642 add-log-exp_binary64_539 pow-prod-down_binary64_501 prod-exp_binary64_525
Counts
1 → 32
Calls
1 calls:
10.0ms
(*.f64 (+.f64 x y) (-.f64 1 z))

series29.0ms

Counts
1 → 3
Calls
1 calls:
29.0ms
(*.f64 (+.f64 x y) (-.f64 1 z))

simplify67.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
04964530
14964530

prune150.0ms

Filtered
28 candidates to 35 candidates (-25.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New33235
Fresh000
Picked011
Done000
Total33336

Merged error: 0b

Counts
36 → 3

localize40.0ms

Local error

Found 3 expressions with local error:

0.0b
(+.f64 (*.f64 z z) (*.f64 1 z))
1.2b
(*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3)))
14.2b
(/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt_binary64_559
17×*-un-lft-identity_binary64_574
12×associate-*r*_binary64_633
10×add-cbrt-cube_binary64_546 add-exp-log_binary64_538
8×frac-times_binary64_566 associate-/l/_binary64_640 flip3-+_binary64_572 flip-+_binary64_599 difference-of-squares_binary64_603
7×add-cube-cbrt_binary64_545
6×flip3--_binary64_573 flip--_binary64_600
5×pow1_binary64_520 add-log-exp_binary64_539
4×associate-*l*_binary64_634 associate-/r*_binary64_637 associate-*l/_binary64_636 times-frac_binary64_569 associate-*r/_binary64_635
3×distribute-lft-out_binary64_618
2×associate-/r/_binary64_639 sqr-pow_binary64_606 unpow-prod-down_binary64_509 div-exp_binary64_527 cbrt-unprod_binary64_543 sub-neg_binary64_578 cube-prod_binary64_547 cbrt-undiv_binary64_544 prod-exp_binary64_525
1×distribute-rgt-out_binary64_620 +-commutative_binary64_641 div-inv_binary64_575 associate-/l*_binary64_638 unswap-sqr_binary64_602 frac-2neg_binary64_567 distribute-lft-out--_binary64_619 clear-num_binary64_577 distribute-lft-in_binary64_616 distribute-rgt-in_binary64_617 *-commutative_binary64_642 sum-log_binary64_489 pow-prod-down_binary64_501
Counts
3 → 83
Calls
3 calls:
4.0ms
(+.f64 (*.f64 z z) (*.f64 1 z))
13.0ms
(*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3)))
44.0ms
(/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))))

series252.0ms

Counts
3 → 9
Calls
3 calls:
25.0ms
(+.f64 (*.f64 z z) (*.f64 1 z))
86.0ms
(*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3)))
140.0ms
(/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))))

simplify75.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
051151815

prune299.0ms

Filtered
71 candidates to 92 candidates (-29.6%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New92092
Fresh011
Picked011
Done011
Total92395

Merged error: 0b

Counts
95 → 3

localize12.0ms

Local error

Found 2 expressions with local error:

0.1b
(*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z)))
0.1b
(*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (-.f64 1 (sqrt.f64 z)))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
32×frac-times_binary64_566
24×flip3-+_binary64_572 flip-+_binary64_599
16×associate-*l/_binary64_636
15×*-un-lft-identity_binary64_574 add-sqr-sqrt_binary64_559
14×associate-*r*_binary64_633
10×associate-*r/_binary64_635
9×flip3--_binary64_573 pow1_binary64_520 add-cbrt-cube_binary64_546 flip--_binary64_600 add-exp-log_binary64_538
5×add-cube-cbrt_binary64_545 associate-*l*_binary64_634
4×cbrt-unprod_binary64_543 sqrt-prod_binary64_553 difference-of-squares_binary64_603 pow-prod-down_binary64_501 prod-exp_binary64_525
3×distribute-lft-out_binary64_618
2×distribute-lft-out--_binary64_619 sub-neg_binary64_578 distribute-lft-in_binary64_616 distribute-rgt-in_binary64_617 *-commutative_binary64_642 add-log-exp_binary64_539
1×unswap-sqr_binary64_602
Counts
2 → 83
Calls
2 calls:
9.0ms
(*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z)))
16.0ms
(*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (-.f64 1 (sqrt.f64 z)))

series204.0ms

Counts
2 → 6
Calls
2 calls:
54.0ms
(*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z)))
151.0ms
(*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (-.f64 1 (sqrt.f64 z)))

simplify57.0ms

Algorithm
egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
055052213

prune28.0ms

Filtered
73 candidates to 89 candidates (-21.9%)

Profiling

Loading profile data...