Details

Time bar (total: 12.0s)

sample241.0ms

Algorithm
halfpoints
Results

simplify678.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
678.0ms
(/.p16 (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))) a)

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.0b

localize171.0ms

Local error

Found 4 expressions with local error:

1.3b
(-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2)
0.3b
(sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a)))
0.3b
(-.p16 (*.p16 b_2 b_2) (*.p16 c a))
0.3b
(/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2) a)

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
3×p16-flip--
2×sub-neg
1×associate-/l/
Counts
4 → 5
Calls
4 calls:
Slowest
6.0ms
(-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2)
6.0ms
(-.p16 (*.p16 b_2 b_2) (*.p16 c a))
5.0ms
(/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2) a)
0.0ms
(sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a)))

series1.0ms

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

simplify1.3s

Counts
5 → 9
Calls
5 calls:
Slowest
580.0ms
(-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a)))) (*.p16 b_2 b_2))
186.0ms
(/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2) a)
183.0ms
(/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2) a)
171.0ms
(/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2) a)
168.0ms
(/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2) a)

prune163.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 1.6b

localize610.0ms

Local error

Found 4 expressions with local error:

1.6b
(/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 c a) (*.p16 c a))) (+.p16 (*.p16 b_2 b_2) (*.p16 c a)))
1.3b
(-.p16 (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 c a) (*.p16 c a))) (+.p16 (*.p16 b_2 b_2) (*.p16 c a)))) b_2)
0.3b
(sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 c a) (*.p16 c a))) (+.p16 (*.p16 b_2 b_2) (*.p16 c a))))
0.3b
(+.p16 (*.p16 b_2 b_2) (*.p16 c a))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
2×p16-flip--
1×+-commutative sub-neg associate-/l* difference-of-squares associate-/l/
Counts
4 → 5
Calls
4 calls:
Slowest
14.0ms
(/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 c a) (*.p16 c a))) (+.p16 (*.p16 b_2 b_2) (*.p16 c a)))
9.0ms
(+.p16 (*.p16 b_2 b_2) (*.p16 c a))
3.0ms
(-.p16 (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 c a) (*.p16 c a))) (+.p16 (*.p16 b_2 b_2) (*.p16 c a)))) b_2)
0.0ms
(sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 c a) (*.p16 c a))) (+.p16 (*.p16 b_2 b_2) (*.p16 c a))))

series0.0ms

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

simplify695.0ms

Counts
2 → 9
Calls
2 calls:
Slowest
686.0ms
(-.p16 (*.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2))) (*.p16 (*.p16 (*.p16 c a) (*.p16 c a)) (*.p16 (*.p16 c a) (*.p16 c a))))
7.0ms
(+.p16 (*.p16 b_2 b_2) (*.p16 c a))

prune187.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 1.6b

localize267.0ms

Local error

Found 4 expressions with local error:

1.3b
(-.p16 (sqrt.p16 (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (-.p16 (*.p16 b_2 b_2) (*.p16 c a))))) b_2)
1.1b
(/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (-.p16 (*.p16 b_2 b_2) (*.p16 c a)))
0.3b
(sqrt.p16 (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (-.p16 (*.p16 b_2 b_2) (*.p16 c a)))))
0.3b
(/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (-.p16 (*.p16 b_2 b_2) (*.p16 c a))))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
3×p16-flip-- associate-/r/
1×associate-/r* sub-neg
Counts
4 → 5
Calls
4 calls:
Slowest
15.0ms
(/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (-.p16 (*.p16 b_2 b_2) (*.p16 c a)))
4.0ms
(/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (-.p16 (*.p16 b_2 b_2) (*.p16 c a))))
4.0ms
(-.p16 (sqrt.p16 (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (-.p16 (*.p16 b_2 b_2) (*.p16 c a))))) b_2)
0.0ms
(sqrt.p16 (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (-.p16 (*.p16 b_2 b_2) (*.p16 c a)))))

series0.0ms

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

simplify31.0ms

Counts
7 → 9
Calls
7 calls:
Slowest
6.0ms
(-.p16 (*.p16 b_2 b_2) (*.p16 c a))
6.0ms
(+.p16 (*.p16 b_2 b_2) (*.p16 c a))
4.0ms
(+.p16 (*.p16 b_2 b_2) (*.p16 c a))
4.0ms
(+.p16 (*.p16 b_2 b_2) (*.p16 c a))
3.0ms
(+.p16 (*.p16 b_2 b_2) (*.p16 c a))

prune128.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 1.5b

localize303.0ms

Local error

Found 4 expressions with local error:

1.6b
(/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 c a) (*.p16 c a))))
1.5b
(*.p16 (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 c a) (*.p16 c a)))) (+.p16 (*.p16 b_2 b_2) (*.p16 c a)))
1.3b
(-.p16 (sqrt.p16 (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (*.p16 (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 c a) (*.p16 c a)))) (+.p16 (*.p16 b_2 b_2) (*.p16 c a))))) b_2)
0.3b
(sqrt.p16 (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (*.p16 (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 c a) (*.p16 c a)))) (+.p16 (*.p16 b_2 b_2) (*.p16 c a)))))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
3×p16-flip--
2×associate-/r/
1×distribute-rgt-in associate-/r* sub-neg distribute-lft-in associate-*l* associate-*l/ *-commutative difference-of-squares
Counts
4 → 9
Calls
4 calls:
Slowest
7.0ms
(*.p16 (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 c a) (*.p16 c a)))) (+.p16 (*.p16 b_2 b_2) (*.p16 c a)))
7.0ms
(/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 c a) (*.p16 c a))))
3.0ms
(-.p16 (sqrt.p16 (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (*.p16 (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 c a) (*.p16 c a)))) (+.p16 (*.p16 b_2 b_2) (*.p16 c a))))) b_2)
0.0ms
(sqrt.p16 (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (*.p16 (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 c a) (*.p16 c a)))) (+.p16 (*.p16 b_2 b_2) (*.p16 c a)))))

series0.0ms

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

simplify2.8s

Counts
10 → 13
Calls
10 calls:
Slowest
981.0ms
(*.p16 (*.p16 c a) (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 c a) (*.p16 c a)))))
976.0ms
(*.p16 (/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 c a) (*.p16 c a)))) (*.p16 c a))
785.0ms
(/.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (-.p16 (*.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2))) (*.p16 (*.p16 (*.p16 c a) (*.p16 c a)) (*.p16 (*.p16 c a) (*.p16 c a)))))
40.0ms
(*.p16 (+.p16 (*.p16 b_2 b_2) (*.p16 c a)) (+.p16 (*.p16 b_2 b_2) (*.p16 c a)))
25.0ms
(+.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 c a) (*.p16 c a)))

prune211.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 1.5b

regimes441.0ms

Accuracy

-∞% (-62.3b remaining)

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

bsearch3.0ms

end0.0ms

sample3.6s

Algorithm
halfpoints
Results