Details

Time bar (total: 44.5s)

sample467.0ms

Algorithm
intervals
Results
141.0ms61×body1280valid
105.0ms45×body640valid
42.0ms147×body80valid
17.0ms22×body320valid
6.0ms11×body160valid

simplify3.1s

Counts
1 → 1
Iterations
IterNodes
44704
43704
42684
41661
40645
39631
38625
37612
36594
35582
34563
33540
32524
31510
30504
29491
28473
27461
26442
25419
24403
23389
22383
21370
20352
19340
18321
17298
16282
15268
14262
13250
12238
11220
10206
9191
8186
7176
6151
5102
469
340
232
118
010

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize36.0ms

Local error

Found 3 expressions with local error:

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

rewrite57.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 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 → 282
Calls
3 calls:
24.0ms
(- (/ 1 (sin B)) (/ x (tan B)))
6.0ms
(/ 1 (sin B))
20.0ms
(/ x (tan B))

series306.0ms

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

simplify3.6s

Counts
291 → 291
Iterations
IterNodes
34679
21925
1832
0378

prune3.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite78.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 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 → 138
Calls
4 calls:
43.0ms
(- (/ 1 (sin B)) (* (/ x (sin B)) (cos B)))
10.0ms
(/ 1 (sin B))
9.0ms
(/ x (sin B))
13.0ms
(* (/ x (sin B)) (cos B))

series348.0ms

Counts
4 → 12
Calls
4 calls:
145.0ms
(- (/ 1 (sin B)) (* (/ x (sin B)) (cos B)))
27.0ms
(/ 1 (sin B))
62.0ms
(/ x (sin B))
114.0ms
(* (/ x (sin B)) (cos B))

simplify7.4s

Counts
150 → 150
Iterations
IterNodes
34842
21357
1420
0186

prune1.6s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 2 expressions with local error:

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

rewrite22.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 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 → 52
Calls
2 calls:
11.0ms
(/ (- 1 (* x (cos B))) (sin B))
10.0ms
(* x (cos B))

series151.0ms

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

simplify1.5s

Counts
58 → 58
Iterations
IterNodes
32106
2619
1207
098

prune575.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
1390×times-frac
881×add-sqr-sqrt
855×*-un-lft-identity
834×add-cube-cbrt
572×prod-diff
108×div-inv
21×add-exp-log
19×associate-/r*
15×difference-of-squares
14×associate-/r/
13×add-cbrt-cube fma-neg
10×div-exp
9×associate-/l*
7×distribute-lft-out--
6×pow1 add-log-exp
5×cbrt-undiv
4×expm1-log1p-u log1p-expm1-u
3×rec-exp clear-num frac-2neg 1-exp
2×pow-flip inv-pow
1×sub-neg flip3-- diff-log tan-quot frac-sub flip-- associate-/l/
Counts
4 → 763
Calls
4 calls:
31.0ms
(- (/ 1 (sin B)) (/ 1 (/ (tan B) x)))
5.0ms
(/ 1 (sin B))
6.0ms
(/ (tan B) x)
6.0ms
(/ 1 (/ (tan B) x))

series365.0ms

Counts
4 → 12
Calls
4 calls:
143.0ms
(- (/ 1 (sin B)) (/ 1 (/ (tan B) x)))
15.0ms
(/ 1 (sin B))
75.0ms
(/ (tan B) x)
132.0ms
(/ 1 (/ (tan B) x))

simplify2.1s

Counts
775 → 775
Iterations
IterNodes
12240
0957

prune10.7s

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 0b

regimes190.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
210
110
09

end0.0ms

sample8.7s

Algorithm
intervals
Results
4.1s1761×body1280valid
2.0s1412×body640valid
1.5s4888×body80valid
621.0ms726×body320valid
231.0ms363×body160valid