Details

Time bar (total: 20.0s)

sample261.0ms

Algorithm
halfpoints

simplify33.0ms

Counts
1 → 1
Iterations
IterNodes
done18
318
217
115
010

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.6b

localize198.0ms

Local error

Found 4 expressions with local error:

0.2b
(-.p16 (*.p16 b_2 b_2) (*.p16 a c))
0.2b
(/.p16 (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))) a)
0.4b
(sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))
1.1b
(-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c))))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
14×*p16-lft-identity-expand p16-*-un-lft-identity
10×introduce-quire *p16-rgt-identity-expand
8×+p16-lft-identity-expand -p16-rgt-identity-expand +p16-rgt-identity-expand associate-/l* distribute-lft-out--
5×/p16-rgt-identity-expand
4×associate--l+ insert-quire-fdp-sub associate--r+
3×p16-flip--
2×associate--l- insert-quire-sub sub-neg distribute-rgt-out-- associate--r- associate-/l/
Counts
4 → 69
Calls
4 calls:
6.0ms
(-.p16 (*.p16 b_2 b_2) (*.p16 a c))
7.0ms
(/.p16 (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))) a)
0.0ms
(sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))
7.0ms
(-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c))))

series1.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(-.p16 (*.p16 b_2 b_2) (*.p16 a c))
0.0ms
(/.p16 (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))) a)
0.0ms
(sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))
0.0ms
(-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c))))

simplify2.0s

Counts
73 → 73
Iterations
IterNodes
done5024
31834
2305
182
044

prune833.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 1.3b

localize691.0ms

Local error

Found 4 expressions with local error:

0.2b
(-.p16 (*.p16 b_2 b_2) (*.p16 a c))
0.3b
(/.p16 a (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))))
0.4b
(sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))
1.1b
(-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c))))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
14×*p16-lft-identity-expand p16-*-un-lft-identity
10×introduce-quire *p16-rgt-identity-expand
8×associate-/r* +p16-lft-identity-expand -p16-rgt-identity-expand +p16-rgt-identity-expand distribute-lft-out--
5×/p16-rgt-identity-expand
4×associate--l+ insert-quire-fdp-sub associate--r+
3×p16-flip--
2×associate--l- insert-quire-sub sub-neg distribute-rgt-out-- associate-/r/ associate--r-
Counts
4 → 69
Calls
4 calls:
3.0ms
(-.p16 (*.p16 b_2 b_2) (*.p16 a c))
2.0ms
(/.p16 a (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))))
0.0ms
(sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))
2.0ms
(-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(-.p16 (*.p16 b_2 b_2) (*.p16 a c))
0.0ms
(/.p16 a (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))))
0.0ms
(sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))
0.0ms
(-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c))))

simplify2.1s

Counts
73 → 73
Iterations
IterNodes
done5026
31922
2287
172
042

prune1.1s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 1.2b

localize242.0ms

Local error

Found 4 expressions with local error:

0.3b
(+.p16 (*.p16 b_2 b_2) (*.p16 a c))
0.4b
(sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 a c) (*.p16 a c))) (+.p16 (*.p16 b_2 b_2) (*.p16 a c))))
1.1b
(-.p16 (neg.p16 b_2) (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 a c) (*.p16 a c))) (+.p16 (*.p16 b_2 b_2) (*.p16 a c)))))
1.5b
(/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 a c) (*.p16 a c))) (+.p16 (*.p16 b_2 b_2) (*.p16 a c)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
18×*p16-lft-identity-expand p16-*-un-lft-identity
16×*p16-rgt-identity-expand
12×p16-times-frac
10×introduce-quire
8×+p16-lft-identity-expand -p16-rgt-identity-expand +p16-rgt-identity-expand
6×/p16-rgt-identity-expand
4×associate-/l* distribute-lft-out-- difference-of-squares
3×associate-/r* insert-quire-fdp-sub
2×associate-+l+ associate-+r+ associate--l+ p16-flip-- associate--r+ associate-/l/
1×associate--l- +-commutative insert-quire-sub associate-+r- sub-neg insert-quire-add distribute-rgt-out-- associate-/r/ insert-quire-fdp-add associate-+l- associate--r-
Counts
4 → 80
Calls
4 calls:
5.0ms
(+.p16 (*.p16 b_2 b_2) (*.p16 a c))
0.0ms
(sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 a c) (*.p16 a c))) (+.p16 (*.p16 b_2 b_2) (*.p16 a c))))
3.0ms
(-.p16 (neg.p16 b_2) (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 a c) (*.p16 a c))) (+.p16 (*.p16 b_2 b_2) (*.p16 a c)))))
8.0ms
(/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 a c) (*.p16 a c))) (+.p16 (*.p16 b_2 b_2) (*.p16 a c)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(+.p16 (*.p16 b_2 b_2) (*.p16 a c))
0.0ms
(sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 a c) (*.p16 a c))) (+.p16 (*.p16 b_2 b_2) (*.p16 a c))))
0.0ms
(-.p16 (neg.p16 b_2) (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 a c) (*.p16 a c))) (+.p16 (*.p16 b_2 b_2) (*.p16 a c)))))
0.0ms
(/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 a c) (*.p16 a c))) (+.p16 (*.p16 b_2 b_2) (*.p16 a c)))

simplify2.8s

Counts
84 → 84
Iterations
IterNodes
done5001
32519
2387
191
051

prune1.4s

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 1.2b

localize362.0ms

Local error

Found 4 expressions with local error:

0.3b
(+.p16 (*.p16 b_2 b_2) (*.p16 a c))
0.4b
(sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 a c) (*.p16 a c))) (+.p16 (*.p16 b_2 b_2) (*.p16 a c))))
1.1b
(-.p16 (neg.p16 b_2) (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 a c) (*.p16 a c))) (+.p16 (*.p16 b_2 b_2) (*.p16 a c)))))
1.5b
(/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 a c) (*.p16 a c))) (+.p16 (*.p16 b_2 b_2) (*.p16 a c)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
18×*p16-lft-identity-expand p16-*-un-lft-identity
16×*p16-rgt-identity-expand
12×p16-times-frac
10×introduce-quire
8×+p16-lft-identity-expand -p16-rgt-identity-expand +p16-rgt-identity-expand
6×/p16-rgt-identity-expand
4×associate-/l* distribute-lft-out-- difference-of-squares
3×associate-/r* insert-quire-fdp-sub
2×associate-+l+ associate-+r+ associate--l+ p16-flip-- associate--r+ associate-/l/
1×associate--l- +-commutative insert-quire-sub associate-+r- sub-neg insert-quire-add distribute-rgt-out-- associate-/r/ insert-quire-fdp-add associate-+l- associate--r-
Counts
4 → 80
Calls
4 calls:
4.0ms
(+.p16 (*.p16 b_2 b_2) (*.p16 a c))
0.0ms
(sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 a c) (*.p16 a c))) (+.p16 (*.p16 b_2 b_2) (*.p16 a c))))
2.0ms
(-.p16 (neg.p16 b_2) (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 a c) (*.p16 a c))) (+.p16 (*.p16 b_2 b_2) (*.p16 a c)))))
8.0ms
(/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 a c) (*.p16 a c))) (+.p16 (*.p16 b_2 b_2) (*.p16 a c)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(+.p16 (*.p16 b_2 b_2) (*.p16 a c))
0.0ms
(sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 a c) (*.p16 a c))) (+.p16 (*.p16 b_2 b_2) (*.p16 a c))))
0.0ms
(-.p16 (neg.p16 b_2) (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 a c) (*.p16 a c))) (+.p16 (*.p16 b_2 b_2) (*.p16 a c)))))
0.0ms
(/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 a c) (*.p16 a c))) (+.p16 (*.p16 b_2 b_2) (*.p16 a c)))

simplify2.8s

Counts
84 → 84
Iterations
IterNodes
done5001
32519
2387
191
051

prune1.3s

Pruning

9 alts after pruning (5 fresh and 4 done)

Merged error: 1.2b

regimes629.0ms

Accuracy

0% (0.4b remaining)

Error of 1.7b against oracle of 1.3b and baseline of 1.7b

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done10
010

end0.0ms

sample3.3s

Algorithm
halfpoints