Details

Time bar (total: 3.8s)

analyze228.0ms (6%)

Algorithm
1×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
25%74.9%0.1%6
25%74.9%0.1%7
43.7%56.2%0.1%8
62.4%37.4%0.1%9
65.5%34.3%0.1%10
71.8%27.7%0.5%11
79.2%19.7%1.1%12
80.2%18.7%1.1%13
82.8%15%2.2%14
Compiler

Compiled 12 to 11 computations (8.3% saved)

sample17.0ms (0.4%)

Algorithm
1×intervals
Results
9.0ms256×body128valid
1.0ms16×body128invalid
Compiler

Compiled 23 to 24 computations (-4.3% saved)

simplify99.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
011116
111116

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 7.5b

Counts
2 → 1
Compiler

Compiled 22 to 20 computations (9.1% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

3.8b
(*.f64 y (+.f64 1 (*.f64 z z)))
4.9b
(/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z))))

rewrite20.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
31×times-frac_binary64_11678
26×add-exp-log_binary64_11710
20×add-sqr-sqrt_binary64_11694
18×add-cube-cbrt_binary64_11707 *-un-lft-identity_binary64_11672
16×add-cbrt-cube_binary64_11708
13×associate-/l*_binary64_11617
12×div-exp_binary64_11723
6×cbrt-undiv_binary64_11706
5×prod-exp_binary64_11721
4×pow1_binary64_11733 associate-*r/_binary64_11614
3×cbrt-unprod_binary64_11705 associate-*r*_binary64_11612 div-inv_binary64_11669 associate-*l*_binary64_11613
2×associate-/r/_binary64_11618 1-exp_binary64_11716 add-log-exp_binary64_11711 flip-+_binary64_11646 flip3-+_binary64_11675 rec-exp_binary64_11722
1×clear-num_binary64_11671 associate-/r*_binary64_11616 distribute-lft-in_binary64_11621 unswap-sqr_binary64_11640 frac-2neg_binary64_11683 associate-/l/_binary64_11619 distribute-rgt-in_binary64_11622 *-commutative_binary64_11603 pow-prod-down_binary64_11743
Counts
2 → 74
Calls

2 calls:

9.0ms
(/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z))))
5.0ms
(*.f64 y (+.f64 1 (*.f64 z z)))

series89.0ms (2.3%)

Counts
2 → 6
Calls

2 calls:

53.0ms
(/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z))))
36.0ms
(*.f64 y (+.f64 1 (*.f64 z z)))

simplify78.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
051901317

prune94.0ms (2.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New691180
Fresh000
Picked101
Done000
Total701181

Merged error: 5.9b

Counts
81 → 11
Compiler

Compiled 1472 to 904 computations (38.6% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.3b
(/.f64 (/.f64 1 x) y)
6.5b
(/.f64 (/.f64 (/.f64 1 x) y) (+.f64 1 (*.f64 z z)))

rewrite56.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Rules
468×times-frac_binary64_11678
228×add-cube-cbrt_binary64_11707 add-sqr-sqrt_binary64_11694 *-un-lft-identity_binary64_11672
56×associate-/l*_binary64_11617
26×add-exp-log_binary64_11710
22×div-inv_binary64_11669
17×div-exp_binary64_11723
16×add-cbrt-cube_binary64_11708
9×cbrt-undiv_binary64_11706
6×associate-/r*_binary64_11616
2×associate-/r/_binary64_11618 pow1_binary64_11733 clear-num_binary64_11671 1-exp_binary64_11716 add-log-exp_binary64_11711 frac-2neg_binary64_11683 associate-/l/_binary64_11619 rec-exp_binary64_11722
1×flip-+_binary64_11646 flip3-+_binary64_11675
Counts
2 → 268
Calls

2 calls:

16.0ms
(/.f64 (/.f64 (/.f64 1 x) y) (+.f64 1 (*.f64 z z)))
7.0ms
(/.f64 (/.f64 1 x) y)

series67.0ms (1.8%)

Counts
2 → 6
Calls

2 calls:

56.0ms
(/.f64 (/.f64 (/.f64 1 x) y) (+.f64 1 (*.f64 z z)))
10.0ms
(/.f64 (/.f64 1 x) y)

simplify148.0ms (3.9%)

Algorithm
1×egg-herbie
Counts
274 → 274
Iterations

Useful iterations: 0 (75.0ms)

IterNodesCost
051557926

prune354.0ms (9.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New2704274
Fresh5510
Picked101
Done000
Total2769285

Merged error: 5.9b

Counts
285 → 9
Compiler

Compiled 6548 to 3587 computations (45.2% saved)

localize11.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.4b
(/.f64 -1 (*.f64 x y))
6.5b
(/.f64 (/.f64 -1 (*.f64 x y)) (-.f64 -1 (*.f64 z z)))

rewrite18.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
46×times-frac_binary64_11678
30×add-sqr-sqrt_binary64_11694
22×add-cube-cbrt_binary64_11707 *-un-lft-identity_binary64_11672
16×add-exp-log_binary64_11710 add-cbrt-cube_binary64_11708
10×associate-/l*_binary64_11617
8×difference-of-squares_binary64_11641
7×cbrt-undiv_binary64_11706 div-exp_binary64_11723 div-inv_binary64_11669
5×associate-/r*_binary64_11616
2×cbrt-unprod_binary64_11705 associate-/r/_binary64_11618 pow1_binary64_11733 clear-num_binary64_11671 add-log-exp_binary64_11711 prod-exp_binary64_11721 frac-2neg_binary64_11683
1×flip3--_binary64_11676 associate-/l/_binary64_11619 flip--_binary64_11647
Counts
2 → 79
Calls

2 calls:

8.0ms
(/.f64 (/.f64 -1 (*.f64 x y)) (-.f64 -1 (*.f64 z z)))
4.0ms
(/.f64 -1 (*.f64 x y))

series63.0ms (1.7%)

Counts
2 → 6
Calls

2 calls:

50.0ms
(/.f64 (/.f64 -1 (*.f64 x y)) (-.f64 -1 (*.f64 z z)))
13.0ms
(/.f64 -1 (*.f64 x y))

simplify71.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
049621744
149621744

prune88.0ms (2.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New85085
Fresh088
Picked011
Done000
Total85994

Merged error: 5.9b

Counts
94 → 9
Compiler

Compiled 1671 to 1006 computations (39.8% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.3b
(/.f64 1 (*.f64 y (*.f64 x (+.f64 1 (*.f64 z z)))))
3.5b
(*.f64 y (*.f64 x (+.f64 1 (*.f64 z z))))
4.1b
(*.f64 x (+.f64 1 (*.f64 z z)))

rewrite26.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
31×add-exp-log_binary64_11710
19×add-cbrt-cube_binary64_11708
16×pow1_binary64_11733
13×prod-exp_binary64_11721
10×add-sqr-sqrt_binary64_11694 associate-*r/_binary64_11614
8×add-cube-cbrt_binary64_11707 *-un-lft-identity_binary64_11672
7×cbrt-unprod_binary64_11705 pow-prod-down_binary64_11743
6×div-exp_binary64_11723 associate-*l*_binary64_11613
5×distribute-lft-in_binary64_11621 distribute-rgt-in_binary64_11622
4×associate-*r*_binary64_11612
3×cbrt-undiv_binary64_11706 1-exp_binary64_11716 add-log-exp_binary64_11711 pow-flip_binary64_11746 flip-+_binary64_11646 flip3-+_binary64_11675 times-frac_binary64_11678 rec-exp_binary64_11722 associate-/l*_binary64_11617
2×associate-/r/_binary64_11618 *-commutative_binary64_11603
1×inv-pow_binary64_11757 clear-num_binary64_11671 associate-/r*_binary64_11616 unswap-sqr_binary64_11640 frac-2neg_binary64_11683 div-inv_binary64_11669
Counts
3 → 81
Calls

3 calls:

8.0ms
(/.f64 1 (*.f64 y (*.f64 x (+.f64 1 (*.f64 z z)))))
7.0ms
(*.f64 y (*.f64 x (+.f64 1 (*.f64 z z))))
6.0ms
(*.f64 x (+.f64 1 (*.f64 z z)))

series152.0ms (4%)

Counts
3 → 9
Calls

3 calls:

60.0ms
(*.f64 y (*.f64 x (+.f64 1 (*.f64 z z))))
51.0ms
(/.f64 1 (*.f64 y (*.f64 x (+.f64 1 (*.f64 z z)))))
40.0ms
(*.f64 x (+.f64 1 (*.f64 z z)))

simplify82.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
049871246
149871246

prune68.0ms (1.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New89190
Fresh167
Picked011
Done011
Total90999

Merged error: 5.9b

Counts
99 → 9
Compiler

Compiled 1314 to 739 computations (43.8% saved)

regimes626.0ms (16.5%)

Compiler

Compiled 7264 to 6053 computations (16.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01216
11216

end0.0ms (0%)

sample1.3s (34.7%)

Algorithm
1×intervals
Results
285.0ms8000×body128valid
16.0ms467×body128invalid
Compiler

Compiled 938 to 774 computations (17.5% saved)

Profiling

Loading profile data...