Details

Time bar (total: 10.0s)

analyze776.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
50%50%0.1%4
74.9%25%0.1%5
74.9%25%0.1%6
74.9%25%0.1%7
74.9%25%0.1%8
74.9%25%0.1%9
74.9%25%0.1%10
74.9%25%0.1%11
74.9%25%0.1%12
74.9%25%0.1%13
74.9%25%0.1%14

sample209.0ms

Algorithm
intervals
Results
104.0ms78×body1280valid
59.0ms65×body640valid
14.0ms75×body80valid
13.0ms23×body320valid
6.0ms15×body160valid

simplify57.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
0595477

prune8.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.3b

Counts
2 → 2

localize37.0ms

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
0.6b
(*.f64 3/2 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
1.0b
(-.f64 3 (sqrt.f64 5))
1.1b
(-.f64 (cos.f64 x) (cos.f64 y))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt_binary64
14×*-un-lft-identity_binary64
11×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
9×associate-*l*_binary64
8×add-log-exp_binary64 sub-neg_binary64 add-cube-cbrt_binary64
7×associate-*r*_binary64
6×associate-*r/_binary64
5×distribute-lft-in_binary64 distribute-rgt-in_binary64 difference-of-squares_binary64 sqrt-prod_binary64
4×pow-prod-down_binary64 flip3--_binary64 cbrt-unprod_binary64 prod-exp_binary64 insert-posit16 flip--_binary64
3×distribute-lft-out--_binary64
2×diff-log_binary64 unswap-sqr_binary64 *-commutative_binary64
1×times-frac_binary64 diff-cos_binary64
Counts
4 → 85
Calls
4 calls:
14.0ms
(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
12.0ms
(*.f64 3/2 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
5.0ms
(-.f64 3 (sqrt.f64 5))
6.0ms
(-.f64 (cos.f64 x) (cos.f64 y))

series184.0ms

Counts
4 → 10
Calls
4 calls:
62.0ms
(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
67.0ms
(*.f64 3/2 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
0.0ms
(-.f64 3 (sqrt.f64 5))
54.0ms
(-.f64 (cos.f64 x) (cos.f64 y))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01069
11069
01069
11069
013
113
03159
13159
03159
13159
013
113
02699
12699
02699
12699
013
113

simplify124.0ms

Counts
95 → 95
Iterations

Useful iterations: 0 (96.0ms)

IterNodesCost
052711434

prune208.0ms

Filtered
65 candidates to 95 candidates (-46.2%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New86995
Fresh011
Picked101
Done000
Total871097

Merged error: 0.1b

Counts
97 → 10

localize41.0ms

Local error

Found 4 expressions with local error:

0.4b
(*.f64 (*.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)) (sqrt.f64 (sqrt.f64 2)))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16)))
0.6b
(*.f64 3/2 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
1.0b
(-.f64 3 (sqrt.f64 5))
1.1b
(-.f64 (cos.f64 x) (cos.f64 y))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
17×add-sqr-sqrt_binary64
12×*-un-lft-identity_binary64 associate-*r/_binary64
9×pow-prod-down_binary64 flip3--_binary64 cbrt-unprod_binary64 prod-exp_binary64 flip--_binary64
8×add-log-exp_binary64 sub-neg_binary64 associate-*l/_binary64
7×associate-*r*_binary64
6×add-cube-cbrt_binary64
5×distribute-lft-in_binary64 distribute-rgt-in_binary64 difference-of-squares_binary64
4×associate-*l*_binary64 insert-posit16 frac-times_binary64
3×distribute-lft-out--_binary64
2×diff-log_binary64 *-commutative_binary64
1×times-frac_binary64 sqrt-prod_binary64 diff-cos_binary64
Counts
4 → 90
Calls
4 calls:
33.0ms
(*.f64 (*.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)) (sqrt.f64 (sqrt.f64 2)))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16)))
13.0ms
(*.f64 3/2 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
5.0ms
(-.f64 3 (sqrt.f64 5))
6.0ms
(-.f64 (cos.f64 x) (cos.f64 y))

series194.0ms

Counts
4 → 10
Calls
4 calls:
70.0ms
(*.f64 (*.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)) (sqrt.f64 (sqrt.f64 2)))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16)))
68.0ms
(*.f64 3/2 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
0.0ms
(-.f64 3 (sqrt.f64 5))
55.0ms
(-.f64 (cos.f64 x) (cos.f64 y))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01069
11069
01069
11069
013
113
03159
13159
03159
13159
013
113
04719
14719
04719
14719
013
113

simplify100.0ms

Counts
100 → 100
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
050762199

prune233.0ms

Filtered
69 candidates to 100 candidates (-44.9%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New982100
Fresh189
Picked011
Done000
Total9911110

Merged error: 0.1b

Counts
110 → 11

localize37.0ms

Local error

Found 4 expressions with local error:

0.6b
(*.f64 3/2 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
1.0b
(-.f64 3 (sqrt.f64 5))
1.1b
(-.f64 (cos.f64 x) (cos.f64 y))
2.4b
(log.f64 (exp.f64 (*.f64 (*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16)))))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt_binary64
10×*-un-lft-identity_binary64 pow1_binary64
9×add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
8×sub-neg_binary64
6×add-cube-cbrt_binary64
5×log-prod_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64
4×associate-*r/_binary64 insert-posit16
3×pow-prod-down_binary64 flip3--_binary64 cbrt-unprod_binary64 log-pow_binary64 associate-*l*_binary64 prod-exp_binary64 difference-of-squares_binary64 flip--_binary64
2×diff-log_binary64 exp-sum_binary64 distribute-lft-out--_binary64
1×associate-*r*_binary64 rem-log-exp_binary64 exp-to-pow_binary64 sqrt-prod_binary64 diff-cos_binary64 exp-prod_binary64 *-commutative_binary64
Counts
4 → 72
Calls
4 calls:
14.0ms
(*.f64 3/2 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
5.0ms
(-.f64 3 (sqrt.f64 5))
6.0ms
(-.f64 (cos.f64 x) (cos.f64 y))
5.0ms
(log.f64 (exp.f64 (*.f64 (*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16)))))

series188.0ms

Counts
4 → 10
Calls
4 calls:
67.0ms
(*.f64 3/2 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
0.0ms
(-.f64 3 (sqrt.f64 5))
53.0ms
(-.f64 (cos.f64 x) (cos.f64 y))
68.0ms
(log.f64 (exp.f64 (*.f64 (*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16)))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
04679
14679
04679
14679
013
113
01069
11069
01069
11069
013
113
03159
13159
03159
13159
013
113

simplify85.0ms

Counts
82 → 82
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
049851457
149851457

prune187.0ms

Filtered
58 candidates to 82 candidates (-41.4%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New79382
Fresh369
Picked101
Done101
Total84993

Merged error: 0.1b

Counts
93 → 9

localize37.0ms

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
0.6b
(*.f64 3/2 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
1.1b
(-.f64 (cos.f64 x) (cos.f64 y))
2.4b
(log.f64 (exp.f64 (*.f64 (*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16)))))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt_binary64
13×*-un-lft-identity_binary64
12×pow1_binary64
11×add-exp-log_binary64 add-cbrt-cube_binary64
9×sub-neg_binary64 add-cube-cbrt_binary64 associate-*l*_binary64
7×add-log-exp_binary64 associate-*r*_binary64
6×associate-*r/_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64
5×log-prod_binary64
4×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64 insert-posit16 sqrt-prod_binary64
3×flip3--_binary64 log-pow_binary64 difference-of-squares_binary64 flip--_binary64
2×unswap-sqr_binary64 exp-sum_binary64 distribute-lft-out--_binary64 *-commutative_binary64
1×diff-log_binary64 rem-log-exp_binary64 times-frac_binary64 exp-to-pow_binary64 diff-cos_binary64 exp-prod_binary64
Counts
4 → 87
Calls
4 calls:
17.0ms
(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
13.0ms
(*.f64 3/2 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
6.0ms
(-.f64 (cos.f64 x) (cos.f64 y))
5.0ms
(log.f64 (exp.f64 (*.f64 (*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16)))))

series260.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
70.0ms
(*.f64 3/2 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
56.0ms
(-.f64 (cos.f64 x) (cos.f64 y))
72.0ms
(log.f64 (exp.f64 (*.f64 (*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16)))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
04679
14679
04679
14679
013
113
01069
11069
01069
11069
013
113
03159
13159
03159
13159
013
113
02699
12699
02699
12699
013
113

simplify90.0ms

Counts
99 → 99
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
054991812

prune191.0ms

Filtered
67 candidates to 99 candidates (-47.8%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New97299
Fresh088
Picked011
Done000
Total9711108

Merged error: 0.1b

Counts
108 → 11

regimes161.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
011784
111784

end0.0ms

sample6.4s

Algorithm
intervals
Results
3.6s2799×body1280valid
1.5s1816×body640valid
435.0ms749×body320valid
429.0ms2276×body80valid
144.0ms360×body160valid

Profiling

Loading profile data...