Details

Time bar (total: 3.2s)

analyze233.0ms (7.2%)

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
12.5%87.4%0.1%4
12.5%87.4%0.1%5
15.6%84.3%0.1%6
32.8%67.1%0.1%7
38.2%61.6%0.1%8
46%53.8%0.1%9
62.6%37.3%0.1%10
67.2%32.7%0.1%11
71.1%28.8%0.1%12
81.6%18.2%0.1%13
84.1%15.7%0.1%14
Compiler

Compiled 10 to 9 computations (10% saved)

sample15.0ms (0.5%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify9.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
05613
15613

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 5.5b

Counts
2 → 1
Compiler

Compiled 18 to 16 computations (11.1% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

5.5b
(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))

rewrite25.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
55×add-sqr-sqrt_binary64
53×*-un-lft-identity_binary64
42×times-frac_binary64
20×difference-of-squares_binary64
15×add-cube-cbrt_binary64
9×distribute-lft-out_binary64
8×associate-/r*_binary64
5×distribute-lft-out--_binary64
4×associate-/l*_binary64
3×add-exp-log_binary64 add-cbrt-cube_binary64
2×associate-/l/_binary64 associate-/r/_binary64
1×flip3-+_binary64 add-log-exp_binary64 pow1_binary64 flip3--_binary64 cbrt-undiv_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 flip--_binary64 flip-+_binary64
Counts
1 → 60
Calls

1 calls:

14.0ms
(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))

series91.0ms (2.8%)

Counts
1 → 3
Calls

1 calls:

91.0ms
(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))

simplify74.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
63 → 63
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
054281444

prune301.0ms (9.3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New531063
Fresh000
Picked011
Done000
Total531164

Merged error: 3.6b

Counts
64 → 11
Compiler

Compiled 6207 to 3716 computations (40.1% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite47.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Rules
91×add-sqr-sqrt_binary64
64×times-frac_binary64
59×*-un-lft-identity_binary64
30×associate-*r*_binary64
28×add-cube-cbrt_binary64 difference-of-squares_binary64
12×add-exp-log_binary64
9×add-cbrt-cube_binary64
8×associate-/r*_binary64
7×distribute-lft-out--_binary64
5×pow1_binary64
4×associate-/r/_binary64 associate-*l*_binary64
3×unswap-sqr_binary64 prod-exp_binary64 associate-/l*_binary64
2×flip3-+_binary64 add-log-exp_binary64 flip3--_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 rec-exp_binary64 div-inv_binary64 div-exp_binary64 flip--_binary64 flip-+_binary64 frac-times_binary64 associate-*l/_binary64
1×pow-prod-down_binary64 distribute-lft-out_binary64 associate-*r/_binary64 clear-num_binary64 inv-pow_binary64 frac-2neg_binary64 un-div-inv_binary64 pow-flip_binary64 *-commutative_binary64
Counts
2 → 109
Calls

2 calls:

26.0ms
(*.f64 (+.f64 x y) (/.f64 1 (-.f64 1 (/.f64 y z))))
11.0ms
(/.f64 1 (-.f64 1 (/.f64 y z)))

series139.0ms (4.3%)

Counts
2 → 6
Calls

2 calls:

89.0ms
(*.f64 (+.f64 x y) (/.f64 1 (-.f64 1 (/.f64 y z))))
49.0ms
(/.f64 1 (-.f64 1 (/.f64 y z)))

simplify72.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
053411922

prune138.0ms (4.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New1150115
Fresh099
Picked011
Done011
Total11511126

Merged error: 3.6b

Counts
126 → 11
Compiler

Compiled 2746 to 1509 computations (45% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.2b
(/.f64 1 (/.f64 (-.f64 1 (/.f64 y z)) (+.f64 x y)))
5.6b
(/.f64 (-.f64 1 (/.f64 y z)) (+.f64 x y))

rewrite71.0ms (2.2%)

Algorithm
1×rewrite-expression-head
Rules
316×times-frac_binary64
275×add-sqr-sqrt_binary64
273×*-un-lft-identity_binary64
107×add-cube-cbrt_binary64
84×difference-of-squares_binary64
42×associate-/r*_binary64
41×distribute-lft-out_binary64
21×distribute-lft-out--_binary64
12×add-exp-log_binary64
11×associate-/r/_binary64 associate-/l*_binary64
9×add-cbrt-cube_binary64
6×div-inv_binary64
5×flip3-+_binary64 div-exp_binary64 flip-+_binary64
4×cbrt-undiv_binary64
3×pow1_binary64
2×associate-/l/_binary64 add-log-exp_binary64 clear-num_binary64 frac-2neg_binary64 rec-exp_binary64
1×flip3--_binary64 div-sub_binary64 inv-pow_binary64 flip--_binary64 pow-flip_binary64
Counts
2 → 235
Calls

2 calls:

20.0ms
(/.f64 1 (/.f64 (-.f64 1 (/.f64 y z)) (+.f64 x y)))
16.0ms
(/.f64 (-.f64 1 (/.f64 y z)) (+.f64 x y))

series251.0ms (7.8%)

Counts
2 → 6
Calls

2 calls:

185.0ms
(/.f64 1 (/.f64 (-.f64 1 (/.f64 y z)) (+.f64 x y)))
66.0ms
(/.f64 (-.f64 1 (/.f64 y z)) (+.f64 x y))

simplify116.0ms (3.6%)

Algorithm
1×egg-herbie
Counts
241 → 241
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
051626423

prune306.0ms (9.5%)

Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New2392241
Fresh178
Picked101
Done022
Total24111252

Merged error: 3.6b

Counts
252 → 11
Compiler

Compiled 6614 to 3237 computations (51.1% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

rewrite59.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Rules
42×*-un-lft-identity_binary64
38×add-sqr-sqrt_binary64
33×add-exp-log_binary64
31×times-frac_binary64
23×add-cube-cbrt_binary64
19×add-cbrt-cube_binary64
18×associate-*r*_binary64
10×associate-/r/_binary64
9×pow1_binary64 prod-exp_binary64
8×associate-*l*_binary64 rec-exp_binary64 div-exp_binary64
7×distribute-lft-out_binary64
6×cbrt-undiv_binary64 associate-/l*_binary64
5×associate-/r*_binary64
4×flip3--_binary64 cbrt-unprod_binary64 difference-of-squares_binary64 flip--_binary64 frac-times_binary64 associate-*l/_binary64
3×add-log-exp_binary64 unswap-sqr_binary64 div-inv_binary64 pow-flip_binary64
2×pow-prod-down_binary64 flip3-+_binary64 associate-*r/_binary64 clear-num_binary64 inv-pow_binary64 frac-2neg_binary64 un-div-inv_binary64 flip-+_binary64
1×distribute-lft-out--_binary64 *-commutative_binary64
Counts
3 → 122
Calls

3 calls:

24.0ms
(*.f64 (-.f64 1 (/.f64 y z)) (/.f64 1 (+.f64 y x)))
19.0ms
(/.f64 1 (*.f64 (-.f64 1 (/.f64 y z)) (/.f64 1 (+.f64 y x))))
6.0ms
(/.f64 1 (+.f64 y x))

series280.0ms (8.7%)

Counts
3 → 9
Calls

3 calls:

177.0ms
(/.f64 1 (*.f64 (-.f64 1 (/.f64 y z)) (/.f64 1 (+.f64 y x))))
66.0ms
(*.f64 (-.f64 1 (/.f64 y z)) (/.f64 1 (+.f64 y x)))
37.0ms
(/.f64 1 (+.f64 y x))

simplify75.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
131 → 131
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
050991776

prune103.0ms (3.2%)

Pruning

11 alts after pruning (8 fresh and 3 done)

PrunedKeptTotal
New1310131
Fresh088
Picked011
Done022
Total13111142

Merged error: 3.6b

Counts
142 → 11
Compiler

Compiled 2153 to 1114 computations (48.3% saved)

regimes118.0ms (3.7%)

Compiler

Compiled 983 to 685 computations (30.3% saved)

bsearch1.0ms (0%)

Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
059102
159102

end0.0ms (0%)

sample670.0ms (20.7%)

Algorithm
1×intervals
Results
246.0ms7999×body128valid
0.0ms1×body1024valid
Compiler

Compiled 335 to 216 computations (35.5% saved)

Profiling

Loading profile data...