Details

Time bar (total: 30.4s)

sample397.0ms

Algorithm
intervals
Results
85.0ms167×body80valid
85.0ms47×body1280valid
60.0ms47×body640valid
23.0ms26×body320valid
18.0ms68×body80nan
5.0ms8×body160valid

simplify3.3s

Counts
1 → 1
Iterations
IterNodes
done5000
61982
5908
4393
3188
299
147
020

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ F (sin B))
0.1b
(/ x (tan B))
5.5b
(* (pow (fma 2 x (fma F F 2)) -1/2) (/ F (sin B)))
16.4b
(pow (fma 2 x (fma F F 2)) -1/2)

rewrite68.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:
5.0ms
(/ F (sin B))
6.0ms
(/ x (tan B))
39.0ms
(* (pow (fma 2 x (fma F F 2)) -1/2) (/ F (sin B)))
9.0ms
(pow (fma 2 x (fma F F 2)) -1/2)

series788.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(/ F (sin B))
139.0ms
(/ x (tan B))
229.0ms
(* (pow (fma 2 x (fma F F 2)) -1/2) (/ F (sin B)))
337.0ms
(pow (fma 2 x (fma F F 2)) -1/2)

simplify2.0s

Counts
139 → 139
Iterations
IterNodes
done5001
21640
1547
0244

prune1.1s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 9.6b

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite52.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:
19.0ms
(/ x (tan B))
14.0ms
(* (pow (fma 2 x (fma F F 2)) -1/2) F)
12.0ms
(/ (* (pow (fma 2 x (fma F F 2)) -1/2) F) (sin B))
2.0ms
(pow (fma 2 x (fma F F 2)) -1/2)

series780.0ms

Counts
4 → 12
Calls
4 calls:
138.0ms
(/ x (tan B))
141.0ms
(* (pow (fma 2 x (fma F F 2)) -1/2) F)
196.0ms
(/ (* (pow (fma 2 x (fma F F 2)) -1/2) F) (sin B))
304.0ms
(pow (fma 2 x (fma F F 2)) -1/2)

simplify3.1s

Counts
117 → 117
Iterations
IterNodes
done5001
34694
21353
1481
0220

prune881.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 9.6b

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite74.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:
24.0ms
(* (/ x (sin B)) (cos B))
17.0ms
(* (pow (fma 2 x (fma F F 2)) -1/2) F)
24.0ms
(/ (* (pow (fma 2 x (fma F F 2)) -1/2) F) (sin B))
5.0ms
(pow (fma 2 x (fma F F 2)) -1/2)

series844.0ms

Counts
4 → 12
Calls
4 calls:
160.0ms
(* (/ x (sin B)) (cos B))
156.0ms
(* (pow (fma 2 x (fma F F 2)) -1/2) F)
225.0ms
(/ (* (pow (fma 2 x (fma F F 2)) -1/2) F) (sin B))
302.0ms
(pow (fma 2 x (fma F F 2)) -1/2)

simplify2.3s

Counts
121 → 121
Iterations
IterNodes
done5006
21606
1533
0227

prune972.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 9.6b

localize51.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (pow (sqrt (fma 2 x (fma F F 2))) -1/2) F)
0.6b
(/ (* (pow (sqrt (fma 2 x (fma F F 2))) -1/2) (* (pow (sqrt (fma 2 x (fma F F 2))) -1/2) F)) (sin B))
16.4b
(sqrt (fma 2 x (fma F F 2)))
16.4b
(sqrt (fma 2 x (fma F F 2)))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
49×add-exp-log
24×prod-exp
21×add-sqr-sqrt
15×add-cbrt-cube
13×div-exp
12×*-un-lft-identity add-cube-cbrt
10×associate-*l* sqrt-prod
8×pow-to-exp unpow-prod-down pow-exp
6×pow1
4×expm1-log1p-u cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×cbrt-undiv associate-/r* times-frac associate-*r*
2×rem-sqrt-square sqrt-pow1 pow1/2 sqr-pow
1×clear-num frac-2neg *-commutative div-inv associate-/l*
Counts
4 → 100
Calls
4 calls:
16.0ms
(* (pow (sqrt (fma 2 x (fma F F 2))) -1/2) F)
50.0ms
(/ (* (pow (sqrt (fma 2 x (fma F F 2))) -1/2) (* (pow (sqrt (fma 2 x (fma F F 2))) -1/2) F)) (sin B))
1.0ms
(sqrt (fma 2 x (fma F F 2)))
2.0ms
(sqrt (fma 2 x (fma F F 2)))

series929.0ms

Counts
4 → 12
Calls
4 calls:
391.0ms
(* (pow (sqrt (fma 2 x (fma F F 2))) -1/2) F)
233.0ms
(/ (* (pow (sqrt (fma 2 x (fma F F 2))) -1/2) (* (pow (sqrt (fma 2 x (fma F F 2))) -1/2) F)) (sin B))
172.0ms
(sqrt (fma 2 x (fma F F 2)))
133.0ms
(sqrt (fma 2 x (fma F F 2)))

simplify1.7s

Counts
112 → 112
Iterations
IterNodes
done5003
21646
1510
0200

prune793.0ms

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 9.6b

regimes540.0ms

Accuracy

0% (0.7b remaining)

Error of 10.6b against oracle of 9.9b and baseline of 10.6b

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done18
118
016

end0.0ms

sample9.4s

Algorithm
intervals
Results
3.3s1607×body1280valid
2.4s1355×body640valid
1.3s4862×body80valid
1.1s1636×body80nan
734.0ms689×body320valid
192.0ms361×body160valid