Details

Time bar (total: 1.8m)

sample661.0ms

Algorithm
intervals
Results
248.0ms58×body1280valid
67.0ms172×body80valid
65.0ms41×body640valid
51.0ms8×body160valid
28.0ms27×body320valid

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

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize19.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:
32.0ms
(- (/ 1 (sin B)) (/ x (tan B)))
6.0ms
(/ 1 (sin B))
15.0ms
(/ x (tan B))

series377.0ms

Counts
3 → 9
Calls
3 calls:
168.0ms
(- (/ 1 (sin B)) (/ x (tan B)))
27.0ms
(/ 1 (sin B))
182.0ms
(/ x (tan B))

simplify4.1s

Counts
294 → 294
Iterations
IterNodes
34657
21901
1834
0381

prune3.8s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
126×times-frac
107×add-sqr-sqrt
105×*-un-lft-identity
98×add-cube-cbrt
91×prod-diff
28×div-inv
15×add-exp-log
13×add-cbrt-cube fma-neg
7×pow1
6×associate-/r* add-log-exp
4×expm1-log1p-u div-exp insert-posit16 log1p-expm1-u associate-/l*
3×cbrt-undiv distribute-rgt-out-- associate-*r* associate-*l* difference-of-squares
2×clear-num frac-2neg prod-exp cbrt-unprod distribute-lft-out--
1×rec-exp sub-neg flip3-- diff-log 1-exp pow-prod-down *-commutative frac-sub pow-flip flip-- inv-pow sub-div unswap-sqr
Counts
4 → 208
Calls
4 calls:
28.0ms
(- (/ 1 (sin B)) (/ (* x (cos B)) (sin B)))
6.0ms
(/ 1 (sin B))
10.0ms
(* x (cos B))
13.0ms
(/ (* x (cos B)) (sin B))

series369.0ms

Counts
4 → 12
Calls
4 calls:
143.0ms
(- (/ 1 (sin B)) (/ (* x (cos B)) (sin B)))
25.0ms
(/ 1 (sin B))
48.0ms
(* x (cos B))
152.0ms
(/ (* x (cos B)) (sin B))

simplify1.0m

Counts
220 → 220
Iterations
IterNodes
38787
21608
1605
0269

prune2.4s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 2 expressions with local error:

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

rewrite48.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:
16.0ms
(* x (cos B))
30.0ms
(/ (- 1 (* x (cos B))) (sin B))

series186.0ms

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

simplify1.5s

Counts
60 → 60
Iterations
IterNodes
32124
2626
1211
0100

prune617.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
90×times-frac
59×add-sqr-sqrt
57×*-un-lft-identity add-cube-cbrt
18×associate-/r* add-exp-log
12×add-cbrt-cube
11×associate-/r/
8×div-exp
6×pow1 div-inv associate-/l*
5×flip3-- flip--
4×cbrt-undiv
3×expm1-log1p-u associate-*r* associate-*l* insert-posit16 log1p-expm1-u add-log-exp
2×rec-exp clear-num frac-2neg 1-exp
1×pow-prod-down prod-exp *-commutative cbrt-unprod pow-flip inv-pow unswap-sqr
Counts
3 → 140
Calls
3 calls:
16.0ms
(/ (sin B) (- 1 (* x (cos B))))
11.0ms
(* x (cos B))
22.0ms
(/ 1 (/ (sin B) (- 1 (* x (cos B)))))

series240.0ms

Counts
3 → 9
Calls
3 calls:
64.0ms
(/ (sin B) (- 1 (* x (cos B))))
68.0ms
(* x (cos B))
108.0ms
(/ 1 (/ (sin B) (- 1 (* x (cos B)))))

simplify16.7s

Counts
149 → 149
Iterations
IterNodes
34489
21328
1550
0234

prune1.5s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0b

regimes120.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
29
19
08

end0.0ms

sample8.4s

Algorithm
intervals
Results
4.0s1709×body1280valid
1.8s1441×body640valid
1.4s4952×body80valid
729.0ms703×body320valid
211.0ms345×body160valid