Details

Time bar (total: 48.6s)

sample213.0ms

Algorithm
intervals
Results
75.0ms84×body1280valid
66.0ms66×body640valid
36.0ms225×body80valid
15.0ms30×body320valid
4.0ms15×body160valid

simplify481.0ms

Counts
1 → 1

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize25.0ms

Local error

Found 4 expressions with local error:

0.7b
(/ (cos th) (sqrt 2))
0.7b
(/ (cos th) (sqrt 2))
0.3b
(* (/ (cos th) (sqrt 2)) (* a2 a2))
0.2b
(* (/ (cos th) (sqrt 2)) (* a1 a1))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
76×times-frac
70×add-sqr-sqrt
60×*-un-lft-identity add-cube-cbrt
44×associate-*l* sqrt-prod
32×add-cbrt-cube add-exp-log
14×pow1
12×associate-/r* prod-exp cbrt-unprod
6×cbrt-undiv div-exp pow-prod-down associate-/l* unswap-sqr
4×insert-posit16 div-inv add-log-exp
2×clear-num frac-2neg associate-*r* associate-*l/ *-commutative
Counts
4 → 172
Calls
4 calls:
Slowest
22.0ms
(* (/ (cos th) (sqrt 2)) (* a2 a2))
20.0ms
(* (/ (cos th) (sqrt 2)) (* a1 a1))
12.0ms
(/ (cos th) (sqrt 2))
8.0ms
(/ (cos th) (sqrt 2))

series386.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
139.0ms
(* (/ (cos th) (sqrt 2)) (* a1 a1))
111.0ms
(* (/ (cos th) (sqrt 2)) (* a2 a2))
73.0ms
(/ (cos th) (sqrt 2))
63.0ms
(/ (cos th) (sqrt 2))

simplify646.0ms

Counts
226 → 184

prune2.2s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0b

localize65.0ms

Local error

Found 4 expressions with local error:

0.7b
(/ (cos th) (sqrt 2))
0.6b
(/ (/ (cos th) (sqrt (sqrt 2))) (sqrt (sqrt 2)))
0.6b
(/ (cos th) (sqrt (sqrt 2)))
0.3b
(* (/ (cos th) (sqrt 2)) (* a2 a2))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
616×sqrt-prod
614×times-frac
345×add-sqr-sqrt
340×*-un-lft-identity add-cube-cbrt
37×associate-/l*
25×add-cbrt-cube add-exp-log
24×associate-/r*
22×associate-*l*
14×div-inv
9×pow1
7×cbrt-undiv div-exp
6×prod-exp cbrt-unprod
4×insert-posit16 add-log-exp
3×clear-num frac-2neg pow-prod-down unswap-sqr
1×associate-*r* associate-*l/ *-commutative associate-/l/
Counts
4 → 473
Calls
4 calls:
Slowest
27.0ms
(/ (/ (cos th) (sqrt (sqrt 2))) (sqrt (sqrt 2)))
20.0ms
(* (/ (cos th) (sqrt 2)) (* a2 a2))
17.0ms
(/ (cos th) (sqrt 2))
8.0ms
(/ (cos th) (sqrt (sqrt 2)))

series446.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
152.0ms
(* (/ (cos th) (sqrt 2)) (* a2 a2))
125.0ms
(/ (cos th) (sqrt (sqrt 2)))
90.0ms
(/ (/ (cos th) (sqrt (sqrt 2))) (sqrt (sqrt 2)))
79.0ms
(/ (cos th) (sqrt 2))

simplify805.0ms

Counts
814 → 485

prune7.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize61.0ms

Local error

Found 4 expressions with local error:

0.6b
(/ (/ (cos th) (sqrt (sqrt 2))) (sqrt (sqrt 2)))
0.6b
(/ (cos th) (sqrt (sqrt 2)))
0.3b
(/ (* (cos th) (* a2 a2)) (sqrt 2))
0.2b
(* (/ (/ (cos th) (sqrt (sqrt 2))) (sqrt (sqrt 2))) (* a1 a1))

rewrite153.0ms

Algorithm
rewrite-expression-head
Rules
1143×sqrt-prod
1125×times-frac
615×add-sqr-sqrt
581×*-un-lft-identity add-cube-cbrt
283×associate-*l*
41×add-cbrt-cube add-exp-log
35×associate-/l*
24×associate-/r*
23×div-inv
13×cbrt-undiv div-exp unswap-sqr
12×prod-exp cbrt-unprod
9×pow1
4×insert-posit16 add-log-exp
3×clear-num frac-2neg pow-prod-down
1×associate-*r* associate-*l/ *-commutative associate-/l/
Counts
4 → 738
Calls
4 calls:
Slowest
49.0ms
(* (/ (/ (cos th) (sqrt (sqrt 2))) (sqrt (sqrt 2))) (* a1 a1))
35.0ms
(/ (* (cos th) (* a2 a2)) (sqrt 2))
19.0ms
(/ (/ (cos th) (sqrt (sqrt 2))) (sqrt (sqrt 2)))
9.0ms
(/ (cos th) (sqrt (sqrt 2)))

series532.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
147.0ms
(/ (cos th) (sqrt (sqrt 2)))
131.0ms
(/ (* (cos th) (* a2 a2)) (sqrt 2))
129.0ms
(* (/ (/ (cos th) (sqrt (sqrt 2))) (sqrt (sqrt 2))) (* a1 a1))
125.0ms
(/ (/ (cos th) (sqrt (sqrt 2))) (sqrt (sqrt 2)))

simplify953.0ms

Counts
1077 → 750

prune11.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.6b
(/ (/ (cos th) (sqrt (sqrt 2))) (sqrt (sqrt 2)))
0.6b
(/ (/ (cos th) (sqrt (sqrt 2))) (sqrt (sqrt 2)))
0.6b
(/ (cos th) (sqrt (sqrt 2)))
0.6b
(/ (cos th) (sqrt (sqrt 2)))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
1188×sqrt-prod
1152×times-frac
620×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
68×associate-/l*
36×associate-/r*
24×div-inv
18×add-cbrt-cube add-exp-log
8×cbrt-undiv div-exp
4×pow1 clear-num frac-2neg insert-posit16 add-log-exp
2×associate-/l/
Counts
4 → 774
Calls
4 calls:
Slowest
39.0ms
(/ (/ (cos th) (sqrt (sqrt 2))) (sqrt (sqrt 2)))
26.0ms
(/ (/ (cos th) (sqrt (sqrt 2))) (sqrt (sqrt 2)))
10.0ms
(/ (cos th) (sqrt (sqrt 2)))
9.0ms
(/ (cos th) (sqrt (sqrt 2)))

series845.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
548.0ms
(/ (cos th) (sqrt (sqrt 2)))
123.0ms
(/ (cos th) (sqrt (sqrt 2)))
89.0ms
(/ (/ (cos th) (sqrt (sqrt 2))) (sqrt (sqrt 2)))
85.0ms
(/ (/ (cos th) (sqrt (sqrt 2))) (sqrt (sqrt 2)))

simplify808.0ms

Counts
1402 → 786

prune12.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

regimes434.0ms

Accuracy

0% (0.4b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 0.5b

bsearch3.0ms

end0.0ms

sample8.4s

Algorithm
intervals
Results
3.7s2589×body1280valid
1.8s2071×body640valid
1.6s7921×body80valid
533.0ms1025×body320valid
198.0ms530×body160valid