Details

Time bar (total: 27.5s)

sample399.0ms

Algorithm
intervals
Results
113.0ms63×body1280valid
100.0ms55×body640valid
41.0ms136×body80valid
16.0ms17×body320valid
7.0ms11×body160valid

simplify1.2s

Counts
1 → 1
Iterations
IterNodes
32435
31435
30432
29414
28400
27390
26385
25377
24363
23351
22342
21337
20328
19314
18304
17297
16278
15265
14256
13250
12241
11234
10224
9203
8191
7179
6159
597
471
342
234
120
010

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize43.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ 1 (sin B)) (/ x (tan B)))
0.1b
(/ x (tan B))
0.2b
(/ 1 (sin B))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
279×times-frac
232×add-sqr-sqrt
224×*-un-lft-identity
215×add-cube-cbrt
182×prod-diff
31×div-inv
14×tan-quot associate-/r/
13×fma-neg
9×add-exp-log
7×add-cbrt-cube
6×associate-/r* associate-/l* difference-of-squares
5×add-log-exp
4×pow1
3×expm1-log1p-u div-exp insert-posit16 log1p-expm1-u distribute-lft-out--
2×cbrt-undiv clear-num frac-2neg
1×rec-exp sub-neg flip3-- diff-log 1-exp frac-sub pow-flip flip-- inv-pow
Counts
3 → 285
Calls
3 calls:
25.0ms
(- (/ 1 (sin B)) (/ x (tan B)))
5.0ms
(/ x (tan B))
7.0ms
(/ 1 (sin B))

series361.0ms

Counts
3 → 9
Calls
3 calls:
141.0ms
(- (/ 1 (sin B)) (/ x (tan B)))
189.0ms
(/ x (tan B))
32.0ms
(/ 1 (sin B))

simplify2.2s

Counts
294 → 294
Iterations
IterNodes
34697
21876
1835
0381

prune3.9s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ 1 (sin B)) (* x (/ 1 (tan B))))
0.1b
(/ 1 (tan B))
0.2b
(/ 1 (sin B))
0.3b
(* x (/ 1 (tan B)))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt
47×times-frac
43×*-un-lft-identity
42×add-cube-cbrt
21×add-exp-log
14×associate-*r*
13×add-cbrt-cube fma-neg prod-diff
8×pow1
6×associate-/r* div-exp associate-/l* add-log-exp
5×div-inv
4×expm1-log1p-u prod-exp insert-posit16 log1p-expm1-u
3×cbrt-undiv rec-exp 1-exp associate-*l* unswap-sqr
2×clear-num frac-2neg tan-quot associate-*r/ associate-/r/ un-div-inv frac-sub cbrt-unprod pow-flip inv-pow
1×sub-neg flip3-- diff-log pow-prod-down *-commutative flip--
Counts
4 → 152
Calls
4 calls:
23.0ms
(- (/ 1 (sin B)) (* x (/ 1 (tan B))))
13.0ms
(/ 1 (tan B))
17.0ms
(/ 1 (sin B))
27.0ms
(* x (/ 1 (tan B)))

series364.0ms

Counts
4 → 12
Calls
4 calls:
122.0ms
(- (/ 1 (sin B)) (* x (/ 1 (tan B))))
51.0ms
(/ 1 (tan B))
26.0ms
(/ 1 (sin B))
164.0ms
(* x (/ 1 (tan B)))

simplify1.5s

Counts
164 → 164
Iterations
IterNodes
33457
21256
1437
0199

prune1.8s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ 1 (sin B)) (* (/ x (sin B)) (cos B)))
0.2b
(/ x (sin B))
0.2b
(/ 1 (sin B))
0.2b
(* (/ x (sin B)) (cos B))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
47×add-sqr-sqrt
46×times-frac
42×*-un-lft-identity add-cube-cbrt
15×add-exp-log
13×add-cbrt-cube fma-neg associate-*l* prod-diff
7×pow1
6×associate-/r* associate-/l* add-log-exp
5×div-inv
4×expm1-log1p-u div-exp insert-posit16 log1p-expm1-u
3×cbrt-undiv associate-*r* associate-*l/
2×clear-num frac-2neg prod-exp cbrt-unprod unswap-sqr
1×rec-exp sub-neg flip3-- diff-log 1-exp pow-prod-down *-commutative frac-sub pow-flip flip-- inv-pow sub-div
Counts
4 → 142
Calls
4 calls:
53.0ms
(- (/ 1 (sin B)) (* (/ x (sin B)) (cos B)))
9.0ms
(/ x (sin B))
10.0ms
(/ 1 (sin B))
27.0ms
(* (/ x (sin B)) (cos B))

series341.0ms

Counts
4 → 12
Calls
4 calls:
126.0ms
(- (/ 1 (sin B)) (* (/ x (sin B)) (cos B)))
78.0ms
(/ x (sin B))
15.0ms
(/ 1 (sin B))
122.0ms
(* (/ x (sin B)) (cos B))

simplify2.3s

Counts
154 → 154
Iterations
IterNodes
34707
21342
1425
0190

prune1.8s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0b

localize30.0ms

Local error

Found 2 expressions with local error:

0.2b
(* x (cos B))
0.2b
(/ (- 1 (* x (cos B))) (sin B))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
12×*-un-lft-identity add-cube-cbrt
9×times-frac
6×add-cbrt-cube add-exp-log
4×pow1
3×associate-/r* associate-*r* associate-*l* associate-/l*
2×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp associate-/l/
1×cbrt-undiv clear-num frac-2neg flip3-- div-sub div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv flip-- unswap-sqr
Counts
2 → 54
Calls
2 calls:
7.0ms
(* x (cos B))
13.0ms
(/ (- 1 (* x (cos B))) (sin B))

series149.0ms

Counts
2 → 6
Calls
2 calls:
49.0ms
(* x (cos B))
99.0ms
(/ (- 1 (* x (cos B))) (sin B))

simplify753.0ms

Counts
60 → 60
Iterations
IterNodes
32153
2627
1213
0100

prune582.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

regimes147.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
211
111
08

end0.0ms

sample9.3s

Algorithm
intervals
Results
3.1s1722×body1280valid
2.7s1461×body640valid
1.4s4923×body80valid
1.2s757×body320valid
645.0ms323×body160valid