Details

Time bar (total: 5.6s)

analyze39.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
50%50%0.1%3
50%50%0.1%4
62.4%37.5%0.1%5
62.4%31.2%6.3%6
68.7%21.9%9.5%7
68.7%17.2%14.1%8
71.8%11.7%16.5%9
71.8%9%19.2%10
73.4%6%20.6%11
73.4%4.6%22%12
74.1%3.1%22.8%13
74.1%2.3%23.5%14

sample35.0ms

Algorithm
intervals
Results
15.0ms87×body1280valid
9.0ms38×body640valid
2.0ms98×body80valid
2.0ms23×body320valid
1.0ms10×body160valid
0.0ms8×body80invalid

simplify114.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (100.0ms)

IterNodesCost
048169
148169

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 28.0b

Counts
2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(exp.f64 (*.f64 a x))
2.9b
(-.f64 (exp.f64 (*.f64 a x)) 1)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
6×add-log-exp_binary64 add-sqr-sqrt_binary64
5×*-un-lft-identity_binary64
2×pow1_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 difference-of-squares_binary64 insert-posit16
1×sub-neg_binary64 flip3--_binary64 diff-log_binary64 difference-of-sqr-1_binary64 rem-exp-log_binary64 distribute-lft-out--_binary64 flip--_binary64 exp-to-pow_binary64 exp-prod_binary64
Counts
2 → 27
Calls
2 calls:
2.0ms
(exp.f64 (*.f64 a x))
5.0ms
(-.f64 (exp.f64 (*.f64 a x)) 1)

series421.0ms

Counts
2 → 6
Calls
2 calls:
167.0ms
(exp.f64 (*.f64 a x))
254.0ms
(-.f64 (exp.f64 (*.f64 a x)) 1)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0287228
1287228
059
159
0287228
1287228
059
159
01121
11121
0244201
1244201
089
189
0244201
1244201
089
189
013
113

simplify197.0ms

Counts
33 → 33
Iterations

Useful iterations: 0 (178.0ms)

IterNodesCost
04880340
14880340

prune28.0ms

Filtered
22 candidates to 33 candidates (-50.0%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New27633
Fresh000
Picked011
Done000
Total27734

Merged error: 27.7b

Counts
34 → 7

localize9.0ms

Local error

Found 4 expressions with local error:

0.1b
(cbrt.f64 (-.f64 (exp.f64 (*.f64 a x)) 1))
2.9b
(-.f64 (exp.f64 (*.f64 a x)) 1)
2.9b
(-.f64 (exp.f64 (*.f64 a x)) 1)
2.9b
(-.f64 (exp.f64 (*.f64 a x)) 1)

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt_binary64
17×*-un-lft-identity_binary64
10×add-log-exp_binary64
8×difference-of-squares_binary64
7×cbrt-prod_binary64
5×add-cube-cbrt_binary64
4×pow1_binary64 flip3--_binary64 difference-of-sqr-1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 distribute-lft-out--_binary64 insert-posit16 flip--_binary64
3×sub-neg_binary64 diff-log_binary64
2×cbrt-div_binary64
1×pow1/3_binary64
Counts
4 → 66
Calls
4 calls:
5.0ms
(cbrt.f64 (-.f64 (exp.f64 (*.f64 a x)) 1))
5.0ms
(-.f64 (exp.f64 (*.f64 a x)) 1)
5.0ms
(-.f64 (exp.f64 (*.f64 a x)) 1)
5.0ms
(-.f64 (exp.f64 (*.f64 a x)) 1)

series1.1s

Counts
4 → 12
Calls
4 calls:
358.0ms
(cbrt.f64 (-.f64 (exp.f64 (*.f64 a x)) 1))
253.0ms
(-.f64 (exp.f64 (*.f64 a x)) 1)
259.0ms
(-.f64 (exp.f64 (*.f64 a x)) 1)
256.0ms
(-.f64 (exp.f64 (*.f64 a x)) 1)
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
0287228
1287228
059
159
0287228
1287228
059
159
01121
11121
0287228
1287228
059
159
0287228
1287228
059
159
01121
11121
0287228
1287228
059
159
0287228
1287228
059
159
01121
11121
01121695
11121695
0481590
1481590
01121695
11121695
0481590
1481590
0490740
1490740

simplify131.0ms

Counts
78 → 78
Iterations

Useful iterations: 0 (104.0ms)

IterNodesCost
048951136
148951136

prune82.0ms

Filtered
55 candidates to 78 candidates (-41.8%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New75378
Fresh055
Picked101
Done011
Total76985

Merged error: 27.7b

Counts
85 → 9

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 (+.f64 1 (sqrt.f64 (exp.f64 (*.f64 a x)))) (+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x)))))
0.0b
(exp.f64 (*.f64 a x))
0.0b
(exp.f64 (*.f64 a x))
3.0b
(+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x))))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
13×*-un-lft-identity_binary64
10×add-log-exp_binary64
9×add-sqr-sqrt_binary64
7×flip3-+_binary64 flip-+_binary64
6×pow1_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
5×associate-*l*_binary64
4×distribute-lft-out_binary64 associate-*r*_binary64 insert-posit16 frac-times_binary64
2×associate-*r/_binary64 rem-exp-log_binary64 exp-to-pow_binary64 associate-*l/_binary64 exp-prod_binary64
1×pow-prod-down_binary64 cbrt-unprod_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64 prod-exp_binary64 +-commutative_binary64 sqrt-prod_binary64 sum-log_binary64 *-commutative_binary64
Counts
4 → 67
Calls
4 calls:
13.0ms
(*.f64 (+.f64 1 (sqrt.f64 (exp.f64 (*.f64 a x)))) (+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x)))))
2.0ms
(exp.f64 (*.f64 a x))
2.0ms
(exp.f64 (*.f64 a x))
5.0ms
(+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x))))

series837.0ms

Counts
4 → 12
Calls
4 calls:
266.0ms
(*.f64 (+.f64 1 (sqrt.f64 (exp.f64 (*.f64 a x)))) (+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x)))))
172.0ms
(exp.f64 (*.f64 a x))
171.0ms
(exp.f64 (*.f64 a x))
227.0ms
(+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0356330
1356330
02354
12354
0356330
1356330
02354
12354
017918
117918
0244201
1244201
089
189
0244201
1244201
089
189
013
113
0244201
1244201
089
189
0244201
1244201
089
189
013
113
0462852
1462852
099
199
0462852
1462852
099
199
013
113

simplify154.0ms

Counts
79 → 79
Iterations

Useful iterations: 0 (129.0ms)

IterNodesCost
049321091
149321091

prune64.0ms

Filtered
57 candidates to 79 candidates (-38.6%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New76379
Fresh077
Picked101
Done011
Total771188

Merged error: 27.7b

Counts
88 → 11

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp.f64 (*.f64 a x))
0.0b
(exp.f64 (*.f64 a x))
0.0b
(*.f64 (+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x)))) (sqrt.f64 (+.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 1)))
3.0b
(+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x))))

rewrite28.0ms

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

series1.0s

Counts
4 → 12
Calls
4 calls:
174.0ms
(exp.f64 (*.f64 a x))
172.0ms
(exp.f64 (*.f64 a x))
463.0ms
(*.f64 (+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x)))) (sqrt.f64 (+.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 1)))
227.0ms
(+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0356330
1356330
02354
12354
0356330
1356330
02354
12354
017918
117918
0554996
1554996
045318
145318
0554996
1554996
045318
145318
02439
12439
0244201
1244201
089
189
0244201
1244201
089
189
013
113
0244201
1244201
089
189
0244201
1244201
089
189
013
113

simplify138.0ms

Counts
81 → 81
Iterations

Useful iterations: 0 (106.0ms)

IterNodesCost
050171497

prune77.0ms

Filtered
54 candidates to 81 candidates (-50.0%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New78381
Fresh369
Picked101
Done011
Total821092

Merged error: 27.6b

Counts
92 → 10

regimes106.0ms

Accuracy

0% (0.3b remaining)

Error of 29.4b against oracle of 29.1b and baseline of 29.4b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0199
1199

end0.0ms

sample912.0ms

Algorithm
intervals
Results
460.0ms2681×body1280valid
149.0ms1283×body640valid
66.0ms2837×body80valid
64.0ms777×body320valid
25.0ms422×body160valid
4.0ms144×body80invalid

Profiling

Loading profile data...