Details

Time bar (total: 6.3s)

analyze1.1s

Algorithm
search
Search
TrueOtherFalseIter
0%99.6%0.4%0
0%99.6%0.4%1
0%99.6%0.4%2
0%99.6%0.4%3
0%99.6%0.4%4
0%99.6%0.4%5
0%99.6%0.4%6
0%99.6%0.4%7
0%74.7%25.3%8
0%74.7%25.3%9
0%65.4%34.6%10
0%51.4%48.6%11
0%51.4%48.6%12
0%51.4%48.6%13
0%51.4%48.6%14

sample85.0ms

Algorithm
intervals
Results
24.0ms335×body80nan
21.0ms256×body80valid
4.0ms46×body80invalid

simplify52.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
0195721
1195721

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.1b

Counts
2 → 1

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a)
0.0b
(+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b 1/2) (log.f64 c)))
0.1b
(*.f64 (-.f64 b 1/2) (log.f64 c))
0.3b
(*.f64 x (log.f64 y))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
27×add-log-exp_binary64
21×*-un-lft-identity_binary64
20×add-sqr-sqrt_binary64
18×log-prod_binary64
16×sum-log_binary64
14×add-cube-cbrt_binary64
10×pow1_binary64
9×distribute-lft-in_binary64 distribute-rgt-in_binary64
8×associate-*r*_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 associate-*l*_binary64
6×associate-+r+_binary64 associate-*l/_binary64
4×flip3-+_binary64 frac-add_binary64 flip-+_binary64
3×flip3--_binary64 distribute-lft-out_binary64 flip--_binary64
2×pow-prod-down_binary64 cbrt-unprod_binary64 log-pow_binary64 associate-+l+_binary64 unswap-sqr_binary64 prod-exp_binary64 +-commutative_binary64 *-commutative_binary64
1×difference-of-squares_binary64 distribute-lft-out--_binary64
Counts
4 → 95
Calls
4 calls:
11.0ms
(+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a)
15.0ms
(+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b 1/2) (log.f64 c)))
7.0ms
(*.f64 (-.f64 b 1/2) (log.f64 c))
5.0ms
(*.f64 x (log.f64 y))

series98.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a)
63.0ms
(+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b 1/2) (log.f64 c)))
9.0ms
(*.f64 (-.f64 b 1/2) (log.f64 c))
7.0ms
(*.f64 x (log.f64 y))

simplify42.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
050851421

prune158.0ms

Filtered
74 candidates to 107 candidates (-44.6%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New9710107
Fresh000
Picked101
Done000
Total9810108

Merged error: 0.0b

Counts
108 → 10

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 x (*.f64 2 (log.f64 (cbrt.f64 y))))
0.2b
(+.f64 (*.f64 x (*.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (cbrt.f64 y))))
0.6b
(cbrt.f64 y)
0.6b
(cbrt.f64 y)

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
60×log-prod_binary64
54×distribute-lft-in_binary64 distribute-rgt-in_binary64
36×cbrt-prod_binary64
27×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
24×associate-+l+_binary64
12×associate-+r+_binary64
9×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
6×add-log-exp_binary64
3×pow-prod-down_binary64 cbrt-unprod_binary64 associate-*l*_binary64 prod-exp_binary64
2×pow1/3_binary64
1×flip3-+_binary64 distribute-lft-out_binary64 associate-*r*_binary64 +-commutative_binary64 flip-+_binary64 sum-log_binary64 *-commutative_binary64
Counts
4 → 112
Calls
4 calls:
7.0ms
(*.f64 x (*.f64 2 (log.f64 (cbrt.f64 y))))
11.0ms
(+.f64 (*.f64 x (*.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (cbrt.f64 y))))
1.0ms
(cbrt.f64 y)
2.0ms
(cbrt.f64 y)

series73.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(*.f64 x (*.f64 2 (log.f64 (cbrt.f64 y))))
26.0ms
(+.f64 (*.f64 x (*.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (cbrt.f64 y))))
14.0ms
(cbrt.f64 y)
14.0ms
(cbrt.f64 y)

simplify61.0ms

Algorithm
egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049461062
149461062

prune362.0ms

Filtered
93 candidates to 124 candidates (-33.3%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1240124
Fresh099
Picked011
Done000
Total12410134

Merged error: 0.0b

Counts
134 → 10

localize28.0ms

Local error

Found 4 expressions with local error:

0.3b
(+.f64 (*.f64 (-.f64 b 1/2) (*.f64 2 (log.f64 (cbrt.f64 c)))) (*.f64 (-.f64 b 1/2) (log.f64 (cbrt.f64 c))))
0.3b
(*.f64 x (log.f64 y))
0.6b
(cbrt.f64 c)
0.6b
(cbrt.f64 c)

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
42×log-prod_binary64
33×distribute-lft-in_binary64 distribute-rgt-in_binary64
24×associate-+l+_binary64 add-sqr-sqrt_binary64 cbrt-prod_binary64
22×*-un-lft-identity_binary64 add-cube-cbrt_binary64
12×associate-+r+_binary64
8×associate-*l/_binary64
7×pow1_binary64
6×add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
4×flip3--_binary64 associate-*r*_binary64 frac-add_binary64 flip--_binary64
3×associate-*l*_binary64
2×pow1/3_binary64
1×pow-prod-down_binary64 flip3-+_binary64 cbrt-unprod_binary64 distribute-lft-out_binary64 log-pow_binary64 unswap-sqr_binary64 prod-exp_binary64 +-commutative_binary64 flip-+_binary64 sum-log_binary64 *-commutative_binary64
Counts
4 → 99
Calls
4 calls:
16.0ms
(+.f64 (*.f64 (-.f64 b 1/2) (*.f64 2 (log.f64 (cbrt.f64 c)))) (*.f64 (-.f64 b 1/2) (log.f64 (cbrt.f64 c))))
5.0ms
(*.f64 x (log.f64 y))
1.0ms
(cbrt.f64 c)
1.0ms
(cbrt.f64 c)

series76.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(+.f64 (*.f64 (-.f64 b 1/2) (*.f64 2 (log.f64 (cbrt.f64 c)))) (*.f64 (-.f64 b 1/2) (log.f64 (cbrt.f64 c))))
11.0ms
(*.f64 x (log.f64 y))
14.0ms
(cbrt.f64 c)
14.0ms
(cbrt.f64 c)

simplify32.0ms

Algorithm
egg-herbie
Counts
111 → 111
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
050661047

prune170.0ms

Filtered
93 candidates to 111 candidates (-19.4%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New1101111
Fresh178
Picked011
Done011
Total11110121

Merged error: 0.0b

Counts
121 → 10

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (*.f64 b 3) -3/2)
0.3b
(*.f64 x (log.f64 y))
0.3b
(*.f64 (*.f64 -1/3 (neg.f64 (log.f64 c))) (+.f64 (*.f64 b 3) -3/2))
0.3b
(*.f64 -1/3 (neg.f64 (log.f64 c)))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
19×associate-*r*_binary64 add-sqr-sqrt_binary64
16×pow1_binary64
15×*-un-lft-identity_binary64 add-cube-cbrt_binary64
13×add-exp-log_binary64 add-cbrt-cube_binary64
12×log-prod_binary64
7×distribute-lft-in_binary64 associate-*l*_binary64 distribute-rgt-in_binary64
6×add-log-exp_binary64 distribute-neg-in_binary64
5×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64
4×distribute-lft-neg-in_binary64 distribute-rgt-neg-in_binary64
3×log-pow_binary64 *-commutative_binary64
2×flip3-+_binary64 distribute-rgt-neg-out_binary64 associate-*r/_binary64 unswap-sqr_binary64 flip-+_binary64
1×distribute-lft-neg-out_binary64 neg-mul-1_binary64 +-commutative_binary64 sum-log_binary64
Counts
4 → 93
Calls
4 calls:
5.0ms
(+.f64 (*.f64 b 3) -3/2)
5.0ms
(*.f64 x (log.f64 y))
10.0ms
(*.f64 (*.f64 -1/3 (neg.f64 (log.f64 c))) (+.f64 (*.f64 b 3) -3/2))
7.0ms
(*.f64 -1/3 (neg.f64 (log.f64 c)))

series33.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(+.f64 (*.f64 b 3) -3/2)
7.0ms
(*.f64 x (log.f64 y))
14.0ms
(*.f64 (*.f64 -1/3 (neg.f64 (log.f64 c))) (+.f64 (*.f64 b 3) -3/2))
8.0ms
(*.f64 -1/3 (neg.f64 (log.f64 c)))

simplify45.0ms

Algorithm
egg-herbie
Counts
105 → 105
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
04902692
14902692

prune94.0ms

Filtered
69 candidates to 105 candidates (-52.2%)
Pruning

10 alts after pruning (7 fresh and 3 done)

PrunedKeptTotal
New1050105
Fresh077
Picked011
Done022
Total10510115

Merged error: 0.0b

Counts
115 → 10

regimes1.4s

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04630
14630

end0.0ms

sample2.3s

Algorithm
intervals
Results
702.0ms9741×body80nan
645.0ms8000×body80valid
96.0ms1216×body80invalid

Profiling

Loading profile data...