Details

Time bar (total: 2.5s)

analyze265.0ms (10.7%)

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
0%99.9%0.1%6
31.2%68.6%0.1%7
40.6%59.3%0.1%8
43.7%56.2%0.1%9
56.6%43.3%0.1%10
61%37.3%1.7%11
62.1%34.8%3.1%12
68.6%25.6%5.8%13
70.6%22.1%7.4%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample16.0ms (0.6%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
1.0ms30×body128invalid
Compiler

Compiled 15 to 16 computations (-6.7% saved)

simplify185.0ms (7.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (19.0ms)

IterNodesCost
033710
133710

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1
Compiler

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (-.f64 y x) z)
0.0b
(+.f64 x (/.f64 (-.f64 y x) z))

rewrite21.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
22×*-un-lft-identity_binary64_77
20×add-sqr-sqrt_binary64_98
15×times-frac_binary64_83
12×add-cube-cbrt_binary64_109
5×associate-/l*_binary64_24
4×add-exp-log_binary64_112 add-cbrt-cube_binary64_110 add-log-exp_binary64_113 distribute-lft-out--_binary64_31 difference-of-squares_binary64_46
3×associate-/r*_binary64_23
2×div-sub_binary64_82 pow1_binary64_135 associate-/l/_binary64_26
1×flip-+_binary64_51 cbrt-undiv_binary64_108 flip3-+_binary64_80 flip--_binary64_52 +-commutative_binary64_9 associate-+r-_binary64_13 div-exp_binary64_125 clear-num_binary64_76 flip3--_binary64_81 frac-2neg_binary64_88 distribute-lft-out_binary64_30 sum-log_binary64_165 div-inv_binary64_74
Counts
2 → 51
Calls

2 calls:

10.0ms
(+.f64 x (/.f64 (-.f64 y x) z))
6.0ms
(/.f64 (-.f64 y x) z)

series100.0ms (4%)

Counts
2 → 6
Calls

2 calls:

54.0ms
(/.f64 (-.f64 y x) z)
46.0ms
(+.f64 x (/.f64 (-.f64 y x) z))

simplify53.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
05196779

prune37.0ms (1.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New55257
Fresh000
Picked011
Done000
Total55358

Merged error: 0b

Counts
58 → 3
Compiler

Compiled 753 to 202 computations (73.2% saved)

localize9.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

rewrite47.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Rules
123×times-frac_binary64_83
87×*-un-lft-identity_binary64_77
84×add-sqr-sqrt_binary64_98
60×add-cube-cbrt_binary64_109
21×associate-/r*_binary64_23
13×add-exp-log_binary64_112
12×distribute-lft-out--_binary64_31 difference-of-squares_binary64_46
9×associate-/r/_binary64_25
7×add-cbrt-cube_binary64_110 div-exp_binary64_125
6×div-inv_binary64_74
4×add-log-exp_binary64_113 flip--_binary64_52 flip3--_binary64_81
3×cbrt-undiv_binary64_108 pow1_binary64_135 associate-/l*_binary64_24
2×1-exp_binary64_118 rec-exp_binary64_124 distribute-lft-out_binary64_30
1×flip-+_binary64_51 flip3-+_binary64_80 +-commutative_binary64_9 inv-pow_binary64_159 clear-num_binary64_76 frac-2neg_binary64_88 pow-flip_binary64_148 sum-log_binary64_165
Counts
2 → 121
Calls

2 calls:

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

series122.0ms (4.9%)

Counts
2 → 6
Calls

2 calls:

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

simplify74.0ms (3%)

Algorithm
1×egg-herbie
Counts
127 → 127
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
054452277

prune90.0ms (3.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1270127
Fresh011
Picked011
Done011
Total1273130

Merged error: 0b

Counts
130 → 3
Compiler

Compiled 2042 to 616 computations (69.8% saved)

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 x (/.f64 (/.f64 (-.f64 y x) (sqrt.f64 z)) (sqrt.f64 z)))
0.1b
(/.f64 (-.f64 y x) (sqrt.f64 z))
0.2b
(/.f64 (/.f64 (-.f64 y x) (sqrt.f64 z)) (sqrt.f64 z))

rewrite131.0ms (5.3%)

Algorithm
1×rewrite-expression-head
Rules
444×times-frac_binary64_83
311×*-un-lft-identity_binary64_77
309×add-sqr-sqrt_binary64_98
228×sqrt-prod_binary64_92
211×add-cube-cbrt_binary64_109
49×distribute-lft-out--_binary64_31 difference-of-squares_binary64_46
39×associate-/l*_binary64_24
12×associate-/r*_binary64_23
10×add-exp-log_binary64_112 add-cbrt-cube_binary64_110
9×div-inv_binary64_74
5×add-log-exp_binary64_113 div-sub_binary64_82
4×cbrt-undiv_binary64_108 div-exp_binary64_125
3×pow1_binary64_135 associate-/l/_binary64_26
2×clear-num_binary64_76 frac-2neg_binary64_88
1×flip-+_binary64_51 flip3-+_binary64_80 flip--_binary64_52 +-commutative_binary64_9 associate-+r-_binary64_13 flip3--_binary64_81 distribute-lft-out_binary64_30 sum-log_binary64_165
Counts
3 → 329
Calls

3 calls:

54.0ms
(+.f64 x (/.f64 (/.f64 (-.f64 y x) (sqrt.f64 z)) (sqrt.f64 z)))
17.0ms
(/.f64 (/.f64 (-.f64 y x) (sqrt.f64 z)) (sqrt.f64 z))
10.0ms
(/.f64 (-.f64 y x) (sqrt.f64 z))

series320.0ms (12.9%)

Counts
3 → 9
Calls

3 calls:

123.0ms
(+.f64 x (/.f64 (/.f64 (-.f64 y x) (sqrt.f64 z)) (sqrt.f64 z)))
106.0ms
(/.f64 (-.f64 y x) (sqrt.f64 z))
91.0ms
(/.f64 (/.f64 (-.f64 y x) (sqrt.f64 z)) (sqrt.f64 z))

simplify136.0ms (5.5%)

Algorithm
1×egg-herbie
Counts
338 → 338
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
052188445

prune241.0ms (9.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New3380338
Fresh000
Picked011
Done022
Total3383341

Merged error: 0b

Counts
341 → 3
Compiler

Compiled 6842 to 1303 computations (81% saved)

regimes58.0ms (2.3%)

Compiler

Compiled 288 to 218 computations (24.3% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01810
11810

end0.0ms (0%)

sample564.0ms (22.7%)

Algorithm
1×intervals
Results
206.0ms8000×body128valid
33.0ms1331×body128invalid
Compiler

Compiled 82 to 63 computations (23.2% saved)

Profiling

Loading profile data...