Details

Time bar (total: 35.3s)

sample265.0ms

Algorithm
intervals
Results
81.0ms79×body1280valid
61.0ms71×body640valid
51.0ms286×body80valid
34.0ms21×body160valid
12.0ms23×body320valid

simplify243.0ms

Counts
1 → 1

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite105.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×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv add-log-exp
2×clear-num frac-2neg associate-*r* associate-*l/ *-commutative
Counts
4 → 180
Calls
4 calls:
Slowest
44.0ms
(* (/ (cos th) (sqrt 2)) (* a1 a1))
39.0ms
(* (/ (cos th) (sqrt 2)) (* a2 a2))
9.0ms
(/ (cos th) (sqrt 2))
9.0ms
(/ (cos th) (sqrt 2))

series494.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
164.0ms
(* (/ (cos th) (sqrt 2)) (* a2 a2))
159.0ms
(* (/ (cos th) (sqrt 2)) (* a1 a1))
86.0ms
(/ (cos th) (sqrt 2))
85.0ms
(/ (cos th) (sqrt 2))

simplify669.0ms

Counts
192 → 192

prune3.1s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize62.0ms

Local error

Found 4 expressions with local error:

0.8b
(/ (cos th) (sqrt 2))
0.7b
(/ (* (cos th) (* (cos th) (cos th))) (* 2 (sqrt 2)))
0.4b
(cbrt (/ (* (cos th) (* (cos th) (cos th))) (* 2 (sqrt 2))))
0.3b
(* (/ (cos th) (sqrt 2)) (* a2 a2))

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
40×times-frac
39×add-cbrt-cube add-exp-log
38×add-sqr-sqrt
33×*-un-lft-identity add-cube-cbrt
22×associate-*l* sqrt-prod
15×prod-exp cbrt-unprod
9×pow1 cbrt-undiv div-exp
7×associate-/r*
5×cbrt-prod
4×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv associate-/l* add-log-exp
3×pow-prod-down unswap-sqr
2×clear-num frac-2neg
1×cbrt-div pow1/3 associate-*r* associate-*l/ associate-*r/ cos-mult *-commutative associate-/l/
Counts
4 → 136
Calls
4 calls:
Slowest
46.0ms
(/ (* (cos th) (* (cos th) (cos th))) (* 2 (sqrt 2)))
26.0ms
(* (/ (cos th) (sqrt 2)) (* a2 a2))
17.0ms
(/ (cos th) (sqrt 2))
9.0ms
(cbrt (/ (* (cos th) (* (cos th) (cos th))) (* 2 (sqrt 2))))

series872.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
446.0ms
(cbrt (/ (* (cos th) (* (cos th) (cos th))) (* 2 (sqrt 2))))
175.0ms
(/ (* (cos th) (* (cos th) (cos th))) (* 2 (sqrt 2)))
169.0ms
(* (/ (cos th) (sqrt 2)) (* a2 a2))
82.0ms
(/ (cos th) (sqrt 2))

simplify1.1s

Counts
148 → 148

prune2.9s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize95.0ms

Local error

Found 4 expressions with local error:

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

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
32×add-exp-log
30×add-cbrt-cube
24×add-sqr-sqrt
22×*-un-lft-identity add-cube-cbrt
21×times-frac
12×prod-exp sqrt-prod cbrt-unprod
11×cbrt-prod
9×pow1
8×associate-*l*
7×cbrt-undiv div-exp associate-/l*
4×expm1-log1p-u associate-/r* insert-posit16 log1p-expm1-u div-inv add-log-exp
3×pow-prod-down
2×cbrt-div clear-num frac-2neg unswap-sqr
1×pow1/3 associate-*r* associate-*l/ associate-*r/ cos-mult *-commutative associate-/l/
Counts
4 → 117
Calls
4 calls:
Slowest
63.0ms
(/ (* (cos th) (* (cos th) (cos th))) (* 2 (sqrt 2)))
27.0ms
(* (cbrt (/ (* (cos th) (* (cos th) (cos th))) (* 2 (sqrt 2)))) (* a1 a1))
19.0ms
(cbrt (/ (* (cos th) (* (cos th) (cos th))) (* 2 (sqrt 2))))
9.0ms
(/ (sqrt 2) a2)

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
532.0ms
(* (cbrt (/ (* (cos th) (* (cos th) (cos th))) (* 2 (sqrt 2)))) (* a1 a1))
438.0ms
(cbrt (/ (* (cos th) (* (cos th) (cos th))) (* 2 (sqrt 2))))
159.0ms
(/ (* (cos th) (* (cos th) (cos th))) (* 2 (sqrt 2)))
58.0ms
(/ (sqrt 2) a2)

simplify806.0ms

Counts
129 → 129

prune2.6s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize57.0ms

Local error

Found 4 expressions with local error:

0.7b
(/ (* (cos th) (* (cos th) (cos th))) (* 2 (sqrt 2)))
0.6b
(/ (cos th) (sqrt (sqrt 2)))
0.6b
(/ (/ (cos th) (sqrt (sqrt 2))) (sqrt (sqrt 2)))
0.4b
(cbrt (/ (* (cos th) (* (cos th) (cos th))) (* 2 (sqrt 2))))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
594×sqrt-prod
578×times-frac
313×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
35×associate-/l*
32×add-cbrt-cube add-exp-log
19×associate-/r*
14×div-inv
10×cbrt-undiv div-exp
9×prod-exp cbrt-unprod
5×cbrt-prod
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg
2×associate-/l/
1×cbrt-div pow1/3 associate-*r/ cos-mult
Counts
4 → 437
Calls
4 calls:
Slowest
28.0ms
(/ (/ (cos th) (sqrt (sqrt 2))) (sqrt (sqrt 2)))
28.0ms
(/ (* (cos th) (* (cos th) (cos th))) (* 2 (sqrt 2)))
19.0ms
(cbrt (/ (* (cos th) (* (cos th) (cos th))) (* 2 (sqrt 2))))
13.0ms
(/ (cos th) (sqrt (sqrt 2)))

series746.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
407.0ms
(cbrt (/ (* (cos th) (* (cos th) (cos th))) (* 2 (sqrt 2))))
157.0ms
(/ (* (cos th) (* (cos th) (cos th))) (* 2 (sqrt 2)))
111.0ms
(/ (cos th) (sqrt (sqrt 2)))
71.0ms
(/ (/ (cos th) (sqrt (sqrt 2))) (sqrt (sqrt 2)))

simplify775.0ms

Counts
449 → 449

prune9.3s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

regimes790.0ms

Accuracy

0% (0.5b remaining)

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

bsearch10.0ms

end0.0ms

sample8.9s

Algorithm
intervals
Results
3.1s2449×body1280valid
2.0s8033×body80valid
2.0s2054×body640valid
686.0ms539×body160valid
621.0ms1024×body320valid