Details

Time bar (total: 20.7s)

sample240.0ms

Algorithm
halfpoints

simplify48.0ms

Counts
1 → 1
Iterations
IterNodes
done18
318
217
115
010

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.6b

localize163.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))))

rewrite13.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:
3.0ms
(-.p16 (*.p16 b_2 b_2) (*.p16 a c))
4.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)))
4.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 (-.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))))

simplify1.9s

Counts
73 → 73
Iterations
IterNodes
done5024
31834
2305
182
044

prune909.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 1.3b

localize227.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))))

rewrite20.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:
6.0ms
(-.p16 (*.p16 b_2 b_2) (*.p16 a c))
7.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)))
6.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.6s

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

localize338.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)))

rewrite23.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:
11.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)))))
9.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)))

simplify3.0s

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

localize316.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)))

rewrite32.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:
17.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))))
4.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.7s

Counts
84 → 84
Iterations
IterNodes
done5001
32519
2387
191
051

prune1.4s

Pruning

9 alts after pruning (5 fresh and 4 done)

Merged error: 1.2b

regimes636.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.6s

Algorithm
halfpoints