Details

Time bar (total: 1.7m)

sample274.0ms

Algorithm
intervals
Results
110.0ms63×body1280valid
80.0ms46×body640valid
40.0ms141×body80valid
22.0ms24×body320valid
6.0ms10×body160valid

simplify2.7s

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

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize23.0ms

Local error

Found 3 expressions with local error:

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

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

series264.0ms

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

simplify4.1s

Counts
294 → 294
Iterations
IterNodes
34946
21912
1834
0381

prune3.4s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite98.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 insert-posit16 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 → 767
Calls
4 calls:
25.0ms
(- (/ 1 (sin B)) (/ 1 (/ (tan B) x)))
6.0ms
(/ (tan B) x)
9.0ms
(/ 1 (sin B))
10.0ms
(/ 1 (/ (tan B) x))

series367.0ms

Counts
4 → 12
Calls
4 calls:
167.0ms
(- (/ 1 (sin B)) (/ 1 (/ (tan B) x)))
63.0ms
(/ (tan B) x)
26.0ms
(/ 1 (sin B))
111.0ms
(/ 1 (/ (tan B) x))

simplify2.2s

Counts
779 → 779
Iterations
IterNodes
12246
0961

prune11.7s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize38.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.2b
(/ 1 (sin B))
0.2b
(* (/ x (sin B)) (cos B))

rewrite97.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:
45.0ms
(- (/ 1 (sin B)) (* (/ x (sin B)) (cos B)))
10.0ms
(/ x (sin B))
11.0ms
(/ 1 (sin B))
29.0ms
(* (/ x (sin B)) (cos B))

series360.0ms

Counts
4 → 12
Calls
4 calls:
118.0ms
(- (/ 1 (sin B)) (* (/ x (sin B)) (cos B)))
89.0ms
(/ x (sin B))
14.0ms
(/ 1 (sin B))
139.0ms
(* (/ x (sin B)) (cos B))

simplify1.1m

Counts
154 → 154
Iterations
IterNodes
35483
21396
1424
0190

prune1.5s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 2 expressions with local error:

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

rewrite37.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:
18.0ms
(* x (cos B))
19.0ms
(/ (- 1 (* x (cos B))) (sin B))

series154.0ms

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

simplify1.6s

Counts
60 → 60
Iterations
IterNodes
32124
2626
1211
0100

prune577.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

regimes88.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
210
110
09

end0.0ms

sample7.7s

Algorithm
intervals
Results
2.9s1699×body1280valid
2.1s4990×body80valid
1.6s1465×body640valid
577.0ms681×body320valid
260.0ms344×body160valid