Details

Time bar (total: 3.3s)

analyze70.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
25%74.9%0.1%5
43.7%43.7%12.6%6
53.1%31.2%15.7%7
59.3%18.7%22%8
62.4%14%23.5%9
64.8%8.6%26.6%10
66%6.6%27.4%11
66.9%4.1%29%12
67.4%3.2%29.4%13
67.9%2%30.1%14

sample23.0ms

Algorithm
intervals
Results
10.0ms233×body80valid
2.0ms8×body640valid
2.0ms3×body1280valid
1.0ms8×body320valid
0.0ms4×body160valid
0.0ms1×body80invalid

simplify29.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (15.0ms)

IterNodesCost
09714
19714

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.8b

Counts
2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(+.f64 1 (exp.f64 x))
0.0b
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))
0.8b
(log.f64 (+.f64 1 (exp.f64 x)))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity_binary64
8×log-prod_binary64
6×add-log-exp_binary64
5×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
4×pow1_binary64 add-exp-log_binary64 log-div_binary64 associate--l+_binary64
3×flip3-+_binary64 distribute-lft-out_binary64 add-cbrt-cube_binary64 insert-posit16 flip-+_binary64
2×associate--l-_binary64
1×sub-neg_binary64 flip3--_binary64 diff-log_binary64 rem-log-exp_binary64 log-pow_binary64 +-commutative_binary64 flip--_binary64 sum-log_binary64
Counts
3 → 47
Calls
3 calls:
4.0ms
(+.f64 1 (exp.f64 x))
10.0ms
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))
4.0ms
(log.f64 (+.f64 1 (exp.f64 x)))

series283.0ms

Counts
3 → 9
Calls
3 calls:
82.0ms
(+.f64 1 (exp.f64 x))
94.0ms
(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))
106.0ms
(log.f64 (+.f64 1 (exp.f64 x)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
03779
13779
03779
13779
013
113
02279
12279
02279
12279
013
113
02329
12329
02329
12329
013
113

simplify143.0ms

Counts
56 → 56
Iterations

Useful iterations: 0 (120.0ms)

IterNodesCost
05215705

prune44.0ms

Filtered
42 candidates to 56 candidates (-33.3%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New50656
Fresh000
Picked101
Done000
Total51657

Merged error: 0.3b

Counts
57 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(-.f64 (cbrt.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 x))) 3)) (*.f64 x y))
0.7b
(cbrt.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 x))) 3))
0.7b
(pow.f64 (log.f64 (+.f64 1 (exp.f64 x))) 3)
0.8b
(log.f64 (+.f64 1 (exp.f64 x)))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
14×cbrt-prod_binary64
13×*-un-lft-identity_binary64
11×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
10×pow1_binary64
8×unpow-prod-down_binary64 cube-prod_binary64
6×add-log-exp_binary64 add-exp-log_binary64
5×log-pow_binary64 add-cbrt-cube_binary64
4×log-prod_binary64 insert-posit16
3×pow-unpow_binary64
2×sqr-pow_binary64 log-div_binary64 unpow3_binary64 cube-mult_binary64
1×pow-to-exp_binary64 flip3-+_binary64 sub-neg_binary64 rem-cbrt-cube_binary64 flip3--_binary64 diff-log_binary64 distribute-lft-out_binary64 rem-log-exp_binary64 pow1/3_binary64 pow-pow_binary64 rem-cube-cbrt_binary64 flip--_binary64 flip-+_binary64 pow-exp_binary64
Counts
4 → 78
Calls
4 calls:
9.0ms
(-.f64 (cbrt.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 x))) 3)) (*.f64 x y))
3.0ms
(cbrt.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 x))) 3))
3.0ms
(pow.f64 (log.f64 (+.f64 1 (exp.f64 x))) 3)
4.0ms
(log.f64 (+.f64 1 (exp.f64 x)))

series402.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(-.f64 (cbrt.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 x))) 3)) (*.f64 x y))
44.0ms
(cbrt.f64 (pow.f64 (log.f64 (+.f64 1 (exp.f64 x))) 3))
197.0ms
(pow.f64 (log.f64 (+.f64 1 (exp.f64 x))) 3)
109.0ms
(log.f64 (+.f64 1 (exp.f64 x)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
03779
13779
03779
13779
013
113
09209
19209
09209
19209
013
113
0349
1349
0349
1349
013
113
01149
11149
01149
11149
013
113

simplify120.0ms

Counts
90 → 90
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
050081144

prune51.0ms

Filtered
48 candidates to 90 candidates (-87.5%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New89190
Fresh145
Picked011
Done000
Total90696

Merged error: 0.3b

Counts
96 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 (log.f64 (log.f64 (+.f64 1 (exp.f64 x)))) 3)
0.0b
(exp.f64 (*.f64 (log.f64 (log.f64 (+.f64 1 (exp.f64 x)))) 3))
0.7b
(cbrt.f64 (exp.f64 (*.f64 (log.f64 (log.f64 (+.f64 1 (exp.f64 x)))) 3)))
0.8b
(log.f64 (+.f64 1 (exp.f64 x)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
8×pow1_binary64 add-cube-cbrt_binary64
7×add-exp-log_binary64
6×add-cbrt-cube_binary64
5×add-log-exp_binary64
4×log-prod_binary64 associate-*l*_binary64 insert-posit16
3×rem-cbrt-cube_binary64 associate-*r*_binary64 cbrt-prod_binary64
2×log-pow_binary64 log-div_binary64 exp-lft-cube_binary64 exp-to-pow_binary64 exp-prod_binary64
1×pow-prod-down_binary64 flip3-+_binary64 cbrt-unprod_binary64 distribute-lft-out_binary64 rem-log-exp_binary64 pow1/3_binary64 rem-exp-log_binary64 unswap-sqr_binary64 prod-exp_binary64 flip-+_binary64 *-commutative_binary64
Counts
4 → 63
Calls
4 calls:
5.0ms
(*.f64 (log.f64 (log.f64 (+.f64 1 (exp.f64 x)))) 3)
2.0ms
(exp.f64 (*.f64 (log.f64 (log.f64 (+.f64 1 (exp.f64 x)))) 3))
2.0ms
(cbrt.f64 (exp.f64 (*.f64 (log.f64 (log.f64 (+.f64 1 (exp.f64 x)))) 3)))
4.0ms
(log.f64 (+.f64 1 (exp.f64 x)))

series443.0ms

Counts
4 → 12
Calls
4 calls:
141.0ms
(*.f64 (log.f64 (log.f64 (+.f64 1 (exp.f64 x)))) 3)
146.0ms
(exp.f64 (*.f64 (log.f64 (log.f64 (+.f64 1 (exp.f64 x)))) 3))
47.0ms
(cbrt.f64 (exp.f64 (*.f64 (log.f64 (log.f64 (+.f64 1 (exp.f64 x)))) 3)))
108.0ms
(log.f64 (+.f64 1 (exp.f64 x)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
03779
13779
03779
13779
013
113
0409
1409
0409
1409
013
113
05889
15889
05889
15889
013
113
05689
15689
05689
15689
013
113

simplify185.0ms

Counts
75 → 75
Iterations

Useful iterations: 0 (162.0ms)

IterNodesCost
04690797
14690797

prune51.0ms

Filtered
45 candidates to 75 candidates (-66.7%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New73275
Fresh314
Picked011
Done011
Total76581

Merged error: 0.2b

Counts
81 → 5

localize20.0ms

Local error

Found 4 expressions with local error:

0.7b
(*.f64 (cbrt.f64 (log.f64 (log.f64 (+.f64 1 (exp.f64 x))))) (cbrt.f64 (log.f64 (log.f64 (+.f64 1 (exp.f64 x))))))
0.8b
(log.f64 (+.f64 1 (exp.f64 x)))
0.8b
(log.f64 (+.f64 1 (exp.f64 x)))
0.8b
(log.f64 (+.f64 1 (exp.f64 x)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
24×cbrt-prod_binary64
23×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
20×pow1_binary64
15×add-cube-cbrt_binary64
12×log-prod_binary64
9×swap-sqr_binary64 log-pow_binary64 add-exp-log_binary64
7×associate-*r*_binary64 associate-*l*_binary64
6×pow1/3_binary64 log-div_binary64
4×add-log-exp_binary64 add-cbrt-cube_binary64 unswap-sqr_binary64 insert-posit16
3×flip3-+_binary64 distribute-lft-out_binary64 rem-log-exp_binary64 flip-+_binary64
2×pow-prod-down_binary64 pow-prod-up_binary64 pow-sqr_binary64
1×cbrt-unprod_binary64 pow-plus_binary64 prod-exp_binary64 pow2_binary64 *-commutative_binary64
Counts
4 → 94
Calls
4 calls:
8.0ms
(*.f64 (cbrt.f64 (log.f64 (log.f64 (+.f64 1 (exp.f64 x))))) (cbrt.f64 (log.f64 (log.f64 (+.f64 1 (exp.f64 x))))))
4.0ms
(log.f64 (+.f64 1 (exp.f64 x)))
4.0ms
(log.f64 (+.f64 1 (exp.f64 x)))
5.0ms
(log.f64 (+.f64 1 (exp.f64 x)))

series395.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(*.f64 (cbrt.f64 (log.f64 (log.f64 (+.f64 1 (exp.f64 x))))) (cbrt.f64 (log.f64 (log.f64 (+.f64 1 (exp.f64 x))))))
110.0ms
(log.f64 (+.f64 1 (exp.f64 x)))
107.0ms
(log.f64 (+.f64 1 (exp.f64 x)))
105.0ms
(log.f64 (+.f64 1 (exp.f64 x)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
03779
13779
03779
13779
013
113
03779
13779
03779
13779
013
113
03779
13779
03779
13779
013
113
05749
15749
05749
15749
013
113

simplify124.0ms

Counts
106 → 106
Iterations

Useful iterations: 0 (91.0ms)

IterNodesCost
049891544
149891544

prune131.0ms

Filtered
65 candidates to 106 candidates (-63.1%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1051106
Fresh022
Picked101
Done112
Total1074111

Merged error: 0.2b

Counts
111 → 4

regimes26.0ms

Accuracy

0% (0.3b remaining)

Error of 0.6b against oracle of 0.3b and baseline of 0.6b

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
05376
15376

end0.0ms

sample665.0ms

Algorithm
intervals
Results
328.0ms7337×body80valid
81.0ms266×body640valid
60.0ms110×body1280valid
32.0ms179×body320valid
12.0ms108×body160valid
3.0ms49×body80invalid
0.0ms9×body80overflowed

Profiling

Loading profile data...