Details

Time bar (total: 6.8s)

analyze522.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
6.2%93.7%0.1%5
6.2%90.5%3.2%6
21.9%67.1%11%7
23.4%64.8%11.8%8
32%52.7%15.3%9
33.2%51.3%15.5%10
37.7%45.2%17.2%11
38.3%44.4%17.2%12
40.6%41.3%18%13
41%41%18%14

sample40.0ms

Algorithm
intervals
Results
9.0ms189×body128valid
8.0ms41×body1024nan
6.0ms29×body1024valid
3.0ms23×body512valid
2.0ms23×body512nan
1.0ms14×body256valid
1.0ms12×body256nan
0.0ms12×body128nan
0.0ms1×body2048valid

simplify311.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (304.0ms)

IterNodesCost
0514418

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 17.2b

Counts
2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (-.f64 x y) (-.f64 1 y))
0.0b
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
1.4b
(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
5.4b
(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
78×add-sqr-sqrt_binary64
67×*-un-lft-identity_binary64
36×times-frac_binary64
33×difference-of-squares_binary64
19×add-cube-cbrt_binary64
18×distribute-lft-out--_binary64
16×log-prod_binary64
8×associate--r+_binary64
7×add-log-exp_binary64 add-exp-log_binary64
6×associate-/r*_binary64 pow1_binary64 flip3--_binary64 add-cbrt-cube_binary64 flip--_binary64
5×associate-/l*_binary64
4×log-div_binary64
3×associate--r-_binary64
2×associate-/l/_binary64 sub-neg_binary64 diff-log_binary64 log-pow_binary64 associate-/r/_binary64 div-sub_binary64
1×cbrt-undiv_binary64 rem-log-exp_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64
Counts
4 → 119
Calls
4 calls:
12.0ms
(/.f64 (-.f64 x y) (-.f64 1 y))
25.0ms
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
19.0ms
(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
19.0ms
(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))

series385.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(/.f64 (-.f64 x y) (-.f64 1 y))
122.0ms
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
86.0ms
(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
122.0ms
(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))

simplify82.0ms

Algorithm
egg-herbie
Counts
131 → 131
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
055212793

prune143.0ms

Filtered
93 candidates to 131 candidates (-40.9%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1283131
Fresh000
Picked101
Done000
Total1293132

Merged error: 0.0b

Counts
132 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(log.f64 (/.f64 (exp.f64 1) (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
0.0b
(/.f64 (-.f64 x y) (-.f64 1 y))
0.1b
(/.f64 (exp.f64 1) (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
1.4b
(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
138×add-sqr-sqrt_binary64
106×*-un-lft-identity_binary64
94×times-frac_binary64
51×difference-of-squares_binary64
42×add-cube-cbrt_binary64
30×log-prod_binary64
21×distribute-lft-out--_binary64
14×associate-/r*_binary64
9×add-exp-log_binary64
8×add-cbrt-cube_binary64 associate-/l*_binary64
6×add-log-exp_binary64 associate-/r/_binary64
5×pow1_binary64 flip3--_binary64 flip--_binary64
3×div-inv_binary64 div-exp_binary64
2×associate-/l/_binary64 cbrt-undiv_binary64 rem-log-exp_binary64 div-sub_binary64 clear-num_binary64 frac-2neg_binary64
1×sub-neg_binary64 diff-log_binary64 associate--r-_binary64 log-pow_binary64 log-div_binary64
Counts
4 → 165
Calls
4 calls:
23.0ms
(log.f64 (/.f64 (exp.f64 1) (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
10.0ms
(/.f64 (-.f64 x y) (-.f64 1 y))
24.0ms
(/.f64 (exp.f64 1) (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
22.0ms
(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))

series411.0ms

Counts
4 → 12
Calls
4 calls:
157.0ms
(log.f64 (/.f64 (exp.f64 1) (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
50.0ms
(/.f64 (-.f64 x y) (-.f64 1 y))
117.0ms
(/.f64 (exp.f64 1) (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
86.0ms
(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))

simplify85.0ms

Algorithm
egg-herbie
Counts
177 → 177
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
050774679

prune157.0ms

Filtered
121 candidates to 177 candidates (-46.3%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1761177
Fresh112
Picked011
Done000
Total1773180

Merged error: 0b

Counts
180 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b
(-.f64 (log.f64 (-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3))) (log.f64 (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))))
1.4b
(-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3))
11.9b
(log.f64 (-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3)))
14.1b
(log.f64 (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))))

rewrite148.0ms

Algorithm
rewrite-expression-head
Rules
70×add-sqr-sqrt_binary64
38×log-prod_binary64
37×difference-of-squares_binary64
36×*-un-lft-identity_binary64
16×associate--l+_binary64
12×unpow-prod-down_binary64 cube-prod_binary64 times-frac_binary64
10×pow1_binary64
8×add-cube-cbrt_binary64 log-div_binary64
7×distribute-lft-out--_binary64
6×add-log-exp_binary64 log-pow_binary64 sqr-pow_binary64 add-exp-log_binary64
4×flip3--_binary64 add-cbrt-cube_binary64 flip--_binary64
3×associate--r+_binary64
2×flip3-+_binary64 sub-neg_binary64 associate--l-_binary64 diff-log_binary64 associate--r-_binary64 rem-log-exp_binary64 flip-+_binary64
Counts
4 → 104
Calls
4 calls:
49.0ms
(-.f64 (log.f64 (-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3))) (log.f64 (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))))
37.0ms
(-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3))
40.0ms
(log.f64 (-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3)))
4.0ms
(log.f64 (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))))

series2.2s

Counts
4 → 12
Calls
4 calls:
840.0ms
(-.f64 (log.f64 (-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3))) (log.f64 (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))))
451.0ms
(-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3))
579.0ms
(log.f64 (-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3)))
350.0ms
(log.f64 (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))))

simplify107.0ms

Algorithm
egg-herbie
Counts
116 → 116
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
050484825

prune180.0ms

Filtered
80 candidates to 116 candidates (-45.0%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1160116
Fresh011
Picked011
Done011
Total1163119

Merged error: 0b

Counts
119 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

0.9b
(/.f64 (exp.f64 1) (-.f64 (+.f64 (/.f64 x (*.f64 y y)) (/.f64 x y)) (/.f64 1 y)))
2.0b
(+.f64 (/.f64 x (*.f64 y y)) (/.f64 x y))
9.0b
(/.f64 x (*.f64 y y))
14.1b
(log.f64 (/.f64 (exp.f64 1) (-.f64 (+.f64 (/.f64 x (*.f64 y y)) (/.f64 x y)) (/.f64 1 y))))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
108×*-un-lft-identity_binary64
86×add-sqr-sqrt_binary64
85×times-frac_binary64
39×log-prod_binary64
37×add-cube-cbrt_binary64
28×distribute-lft-out--_binary64
21×difference-of-squares_binary64
19×div-inv_binary64
16×distribute-lft-out_binary64
12×add-exp-log_binary64
11×associate-/r*_binary64 add-cbrt-cube_binary64
10×associate-/r/_binary64
6×add-log-exp_binary64 associate-/l*_binary64 frac-sub_binary64
5×pow1_binary64
4×distribute-rgt-out_binary64 div-exp_binary64
3×flip3-+_binary64 cbrt-undiv_binary64 frac-add_binary64 flip-+_binary64
2×flip3--_binary64 rem-log-exp_binary64 clear-num_binary64 frac-2neg_binary64 flip--_binary64
1×distribute-lft1-in_binary64 cbrt-unprod_binary64 log-pow_binary64 prod-exp_binary64 log-div_binary64 +-commutative_binary64 sum-log_binary64
Counts
4 → 150
Calls
4 calls:
27.0ms
(/.f64 (exp.f64 1) (-.f64 (+.f64 (/.f64 x (*.f64 y y)) (/.f64 x y)) (/.f64 1 y)))
12.0ms
(+.f64 (/.f64 x (*.f64 y y)) (/.f64 x y))
5.0ms
(/.f64 x (*.f64 y y))
27.0ms
(log.f64 (/.f64 (exp.f64 1) (-.f64 (+.f64 (/.f64 x (*.f64 y y)) (/.f64 x y)) (/.f64 1 y))))

series269.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(/.f64 (exp.f64 1) (-.f64 (+.f64 (/.f64 x (*.f64 y y)) (/.f64 x y)) (/.f64 1 y)))
50.0ms
(+.f64 (/.f64 x (*.f64 y y)) (/.f64 x y))
29.0ms
(/.f64 x (*.f64 y y))
98.0ms
(log.f64 (/.f64 (exp.f64 1) (-.f64 (+.f64 (/.f64 x (*.f64 y y)) (/.f64 x y)) (/.f64 1 y))))

simplify90.0ms

Algorithm
egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
049815033
149815033

prune124.0ms

Filtered
104 candidates to 162 candidates (-55.8%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1620162
Fresh000
Picked011
Done022
Total1623165

Merged error: 0b

Counts
165 → 3

regimes109.0ms

Accuracy

97.5% (0.5b remaining)

Error of 0.6b against oracle of 0.1b and baseline of 18.3b

bsearch1.0ms

simplify5.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
014961
114961

end0.0ms

sample1.1s

Algorithm
intervals
Results
286.0ms5838×body128valid
199.0ms1029×body1024valid
146.0ms995×body1024nan
95.0ms697×body512valid
67.0ms629×body512nan
36.0ms395×body256valid
25.0ms360×body256nan
17.0ms515×body128nan
12.0ms41×body2048valid
1.0ms5×body2048nan

Profiling

Loading profile data...