Details

Time bar (total: 2.2m)

sample545.0ms

Algorithm
intervals
Results
142.0ms48×body1280valid
120.0ms173×body80valid
87.0ms42×body640valid
21.0ms51×body80nan
18.0ms12×body320valid
15.0ms17×body160valid

simplify406.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
406.0ms
(+ (- (* x (/ 1 (tan B)))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (- (/ 1 2)))))

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 14.2b

localize74.0ms

Local error

Found 4 expressions with local error:

17.3b
(pow (fma 2 x (fma F F 2)) -1/2)
7.1b
(* (pow (fma 2 x (fma F F 2)) -1/2) (/ F (sin B)))
0.2b
(/ F (sin B))
0.1b
(/ x (tan B))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt
31×*-un-lft-identity add-cube-cbrt
30×times-frac
22×add-exp-log
13×add-cbrt-cube associate-*r*
8×unpow-prod-down
7×associate-*l*
6×associate-/r* prod-exp associate-/l* unswap-sqr
5×pow1 div-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp sqr-pow
3×pow-to-exp cbrt-undiv pow-unpow pow-exp div-inv
2×clear-num frac-2neg cbrt-unprod
1×pow-pow tan-quot associate-*r/ associate-/r/ *-commutative
Counts
4 → 127
Calls
4 calls:
Slowest
14.0ms
(* (pow (fma 2 x (fma F F 2)) -1/2) (/ F (sin B)))
5.0ms
(/ x (tan B))
5.0ms
(/ F (sin B))
4.0ms
(pow (fma 2 x (fma F F 2)) -1/2)

series769.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
335.0ms
(pow (fma 2 x (fma F F 2)) -1/2)
223.0ms
(* (pow (fma 2 x (fma F F 2)) -1/2) (/ F (sin B)))
136.0ms
(/ x (tan B))
75.0ms
(/ F (sin B))

simplify20.5s

Counts
168 → 139
Calls
168 calls:
Slowest
659.0ms
(* (pow (fma 2 x (fma F F 2)) -1/2) (/ (* (cbrt F) (cbrt F)) 1))
580.0ms
(* (pow (fma 2 x (fma F F 2)) -1/2) (sqrt (/ F (sin B))))
579.0ms
(- (+ (pow 2 -1/2) (* 3/2 (* (sqrt 1/32) (pow x 2)))) (* x (sqrt 1/8)))
577.0ms
(* (pow (sqrt (fma 2 x (fma F F 2))) -1/2) (sqrt (/ F (sin B))))
569.0ms
(* (pow (sqrt (fma 2 x (fma F F 2))) -1/2) (sqrt (/ F (sin B))))

prune1.9s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 11.0b

localize47.0ms

Local error

Found 4 expressions with local error:

17.3b
(pow (fma 2 x (fma F F 2)) -1/2)
0.5b
(/ (* (pow (fma 2 x (fma F F 2)) -1/2) F) (sin B))
0.3b
(* (pow (fma 2 x (fma F F 2)) -1/2) F)
0.1b
(/ x (tan B))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
22×add-exp-log
19×*-un-lft-identity add-cube-cbrt
13×add-cbrt-cube
12×times-frac
7×unpow-prod-down associate-*l*
6×associate-/r* prod-exp
5×pow1 div-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u associate-/l* add-log-exp
3×pow-to-exp cbrt-undiv pow-unpow associate-*r* pow-exp unswap-sqr sqr-pow
2×clear-num frac-2neg cbrt-unprod div-inv
1×pow-pow tan-quot associate-/r/ *-commutative
Counts
4 → 105
Calls
4 calls:
Slowest
22.0ms
(/ (* (pow (fma 2 x (fma F F 2)) -1/2) F) (sin B))
18.0ms
(* (pow (fma 2 x (fma F F 2)) -1/2) F)
10.0ms
(/ x (tan B))
4.0ms
(pow (fma 2 x (fma F F 2)) -1/2)

series839.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
276.0ms
(/ (* (pow (fma 2 x (fma F F 2)) -1/2) F) (sin B))
273.0ms
(pow (fma 2 x (fma F F 2)) -1/2)
164.0ms
(* (pow (fma 2 x (fma F F 2)) -1/2) F)
125.0ms
(/ x (tan B))

simplify22.4s

Counts
137 → 117
Calls
137 calls:
Slowest
979.0ms
(* (* (/ (* (pow (fma 2 x (fma F F 2)) -1/2) F) (sin B)) (/ (* (pow (fma 2 x (fma F F 2)) -1/2) F) (sin B))) (/ (* (pow (fma 2 x (fma F F 2)) -1/2) F) (sin B)))
946.0ms
(expm1 (* (pow (fma 2 x (fma F F 2)) -1/2) F))
702.0ms
(/ (* (pow (fma 2 x (fma F F 2)) -1/2) F) (* (cbrt (sin B)) (cbrt (sin B))))
659.0ms
(real->posit16 (* (pow (fma 2 x (fma F F 2)) -1/2) F))
597.0ms
(* (pow (sqrt (fma 2 x (fma F F 2))) -1/2) (sqrt F))

prune1.9s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 11.0b

localize67.0ms

Local error

Found 4 expressions with local error:

17.3b
(pow (fma 2 x (fma F F 2)) -1/2)
0.5b
(/ (* (pow (fma 2 x (fma F F 2)) -1/2) F) (sin B))
0.3b
(* (pow (fma 2 x (fma F F 2)) -1/2) F)
0.2b
(* (/ x (sin B)) (cos B))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
25×add-exp-log
20×associate-*l*
19×*-un-lft-identity add-cube-cbrt
16×add-cbrt-cube
13×times-frac
8×prod-exp
7×pow1 unpow-prod-down
6×associate-*r*
5×div-exp unswap-sqr
4×expm1-log1p-u cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×pow-to-exp cbrt-undiv pow-unpow associate-/r* pow-exp sqr-pow
2×*-commutative div-inv
1×clear-num pow-pow frac-2neg pow-prod-down associate-*l/ associate-/l*
Counts
4 → 109
Calls
4 calls:
Slowest
29.0ms
(* (/ x (sin B)) (cos B))
26.0ms
(* (pow (fma 2 x (fma F F 2)) -1/2) F)
21.0ms
(/ (* (pow (fma 2 x (fma F F 2)) -1/2) F) (sin B))
4.0ms
(pow (fma 2 x (fma F F 2)) -1/2)

series810.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
310.0ms
(pow (fma 2 x (fma F F 2)) -1/2)
248.0ms
(/ (* (pow (fma 2 x (fma F F 2)) -1/2) F) (sin B))
143.0ms
(* (/ x (sin B)) (cos B))
108.0ms
(* (pow (fma 2 x (fma F F 2)) -1/2) F)

simplify23.5s

Counts
132 → 121
Calls
132 calls:
Slowest
1.1s
(* (* (/ (* (pow (fma 2 x (fma F F 2)) -1/2) F) (sin B)) (/ (* (pow (fma 2 x (fma F F 2)) -1/2) F) (sin B))) (/ (* (pow (fma 2 x (fma F F 2)) -1/2) F) (sin B)))
889.0ms
(* (* (* (pow (fma 2 x (fma F F 2)) -1/2) F) (* (pow (fma 2 x (fma F F 2)) -1/2) F)) (* (pow (fma 2 x (fma F F 2)) -1/2) F))
707.0ms
(/ (* (pow (fma 2 x (fma F F 2)) -1/2) F) (* (cbrt (sin B)) (cbrt (sin B))))
645.0ms
(* (pow (sqrt (fma 2 x (fma F F 2))) -1/2) (sqrt F))
614.0ms
(real->posit16 (* (pow (fma 2 x (fma F F 2)) -1/2) F))

prune1.7s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 10.9b

localize55.0ms

Local error

Found 4 expressions with local error:

17.8b
(pow (fma 2 x (fma F F 2)) (/ -1/2 2))
17.8b
(pow (fma 2 x (fma F F 2)) (/ -1/2 2))
0.6b
(* (pow (fma 2 x (fma F F 2)) (/ -1/2 2)) (pow (fma 2 x (fma F F 2)) (/ -1/2 2)))
0.5b
(/ (* (* (pow (fma 2 x (fma F F 2)) (/ -1/2 2)) (pow (fma 2 x (fma F F 2)) (/ -1/2 2))) F) (sin B))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
53×add-exp-log
42×add-sqr-sqrt
30×*-un-lft-identity add-cube-cbrt
28×prod-exp
26×pow-unpow
24×unpow-prod-down
21×times-frac
15×add-cbrt-cube
14×pow-to-exp pow-exp
12×sqr-pow
11×div-exp
9×unswap-sqr
7×swap-sqr associate-*r* associate-*l*
6×pow1
4×expm1-log1p-u cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv associate-/r* div-inv
2×pow-pow
1×pow2 clear-num frac-2neg pow-prod-down pow-sqr *-commutative pow-prod-up associate-/l*
Counts
4 → 149
Calls
4 calls:
Slowest
34.0ms
(/ (* (* (pow (fma 2 x (fma F F 2)) (/ -1/2 2)) (pow (fma 2 x (fma F F 2)) (/ -1/2 2))) F) (sin B))
28.0ms
(* (pow (fma 2 x (fma F F 2)) (/ -1/2 2)) (pow (fma 2 x (fma F F 2)) (/ -1/2 2)))
6.0ms
(pow (fma 2 x (fma F F 2)) (/ -1/2 2))
5.0ms
(pow (fma 2 x (fma F F 2)) (/ -1/2 2))

series897.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
296.0ms
(pow (fma 2 x (fma F F 2)) (/ -1/2 2))
278.0ms
(pow (fma 2 x (fma F F 2)) (/ -1/2 2))
238.0ms
(/ (* (* (pow (fma 2 x (fma F F 2)) (/ -1/2 2)) (pow (fma 2 x (fma F F 2)) (/ -1/2 2))) F) (sin B))
85.0ms
(* (pow (fma 2 x (fma F F 2)) (/ -1/2 2)) (pow (fma 2 x (fma F F 2)) (/ -1/2 2)))

simplify39.6s

Counts
187 → 161
Calls
187 calls:
Slowest
735.0ms
(pow (fma 2 x (fma F F 2)) (/ (sqrt -1/2) (* (cbrt 2) (cbrt 2))))
699.0ms
(* (sqrt (pow (fma 2 x (fma F F 2)) (/ -1/2 2))) (sqrt (pow (fma 2 x (fma F F 2)) (/ -1/2 2))))
684.0ms
(pow (fma 2 x (fma F F 2)) (/ (sqrt -1/2) (* (cbrt 2) (cbrt 2))))
675.0ms
(pow (fma 2 x (fma F F 2)) (/ (* (cbrt -1/2) (cbrt -1/2)) 1))
667.0ms
(pow (fma 2 x (fma F F 2)) (/ (* (cbrt -1/2) (cbrt -1/2)) 1))

prune2.4s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 10.9b

regimes473.0ms

Accuracy

0% (0.7b remaining)

Error of 10.4b against oracle of 9.7b and baseline of 10.4b

bsearch6.0ms

end0.0ms

sample14.3s

Algorithm
intervals
Results
6.1s1692×body1280valid
3.1s1404×body640valid
2.7s4795×body80valid
914.0ms652×body320valid
772.0ms1670×body80nan
308.0ms367×body160valid