Details

Time bar (total: 30.0s)

sample297.0ms

Algorithm
intervals
Results
132.0ms70×body1280valid
39.0ms41×body640valid
34.0ms146×body80valid
12.0ms20×body320valid
5.0ms9×body160valid

simplify2.6s

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

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 3 expressions with local error:

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

rewrite91.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:
60.0ms
(- (/ 1 (sin B)) (/ x (tan B)))
11.0ms
(/ 1 (sin B))
6.0ms
(/ x (tan B))

series328.0ms

Counts
3 → 9
Calls
3 calls:
128.0ms
(- (/ 1 (sin B)) (/ x (tan B)))
26.0ms
(/ 1 (sin B))
174.0ms
(/ x (tan B))

simplify2.4s

Counts
294 → 294
Iterations
IterNodes
34632
21869
1835
0381

prune3.7s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 3 expressions with local error:

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

rewrite68.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:
46.0ms
(- (/ 1 (sin B)) (/ x (tan B)))
5.0ms
(/ 1 (sin B))
5.0ms
(/ x (tan B))

series292.0ms

Counts
3 → 9
Calls
3 calls:
124.0ms
(- (/ 1 (sin B)) (/ x (tan B)))
14.0ms
(/ 1 (sin B))
153.0ms
(/ x (tan B))

simplify2.5s

Counts
294 → 294
Iterations
IterNodes
34632
21869
1835
0381

prune3.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite69.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:
37.0ms
(- (/ 1 (sin B)) (* (/ x (sin B)) (cos B)))
6.0ms
(/ x (sin B))
5.0ms
(/ 1 (sin B))
19.0ms
(* (/ x (sin B)) (cos B))

series409.0ms

Counts
4 → 12
Calls
4 calls:
155.0ms
(- (/ 1 (sin B)) (* (/ x (sin B)) (cos B)))
83.0ms
(/ x (sin B))
15.0ms
(/ 1 (sin B))
156.0ms
(* (/ x (sin B)) (cos B))

simplify2.2s

Counts
154 → 154
Iterations
IterNodes
34707
21342
1425
0190

prune1.6s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite25.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))
17.0ms
(/ (- 1 (* x (cos B))) (sin B))

series156.0ms

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

simplify698.0ms

Counts
60 → 60
Iterations
IterNodes
32153
2627
1213
0100

prune560.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

regimes161.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
212
112
09

end0.0ms

sample8.7s

Algorithm
intervals
Results
3.1s1718×body1280valid
2.4s1399×body640valid
2.0s4997×body80valid
741.0ms714×body320valid
226.0ms351×body160valid