Details

Time bar (total: 10.2s)

sample211.0ms

Algorithm
intervals
Results
39.0ms48×body1280valid
18.0ms35×body640valid
17.0ms149×body80valid
7.0ms20×body320valid
1.0ms4×body160valid

simplify9.0ms

Counts
1 → 1

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b
(- 1.0 (* (tan x) (tan x)))
0.1b
(/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
0.3b
(* (tan x) (tan x))
0.3b
(* (tan x) (tan x))

rewrite134.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
21×add-cube-cbrt *-un-lft-identity
18×pow1
12×times-frac
10×add-exp-log add-cbrt-cube
8×tan-quot
6×swap-sqr associate-*r* associate-*l* add-log-exp
5×difference-of-squares
4×associate-/l*
3×associate-/r*
2×pow2 frac-times flip3-- pow-plus associate-*r/ pow-prod-down associate-*l/ prod-exp associate-/r/ pow-sqr *-commutative pow-prod-up flip-- cbrt-unprod associate-/l/ unswap-sqr
1×cbrt-undiv sub-neg frac-2neg flip3-+ diff-log div-sub div-exp clear-num flip-+ div-inv
Counts
4 → 105
Calls
4 calls:
7.0ms
(- 1.0 (* (tan x) (tan x)))
53.0ms
(/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
32.0ms
(* (tan x) (tan x))
37.0ms
(* (tan x) (tan x))

series335.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(- 1.0 (* (tan x) (tan x)))
174.0ms
(/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
60.0ms
(* (tan x) (tan x))
59.0ms
(* (tan x) (tan x))

simplify161.0ms

Counts
117 → 117

prune450.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.2b
(+ (sqrt 1.0) (tan x))
0.2b
(/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x)))
0.2b
(/ (+ (sqrt 1.0) (tan x)) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x))))
0.3b
(* (tan x) (tan x))

rewrite217.0ms

Algorithm
rewrite-expression-head
Rules
204×times-frac
184×*-un-lft-identity
172×add-sqr-sqrt
94×add-cube-cbrt
38×difference-of-squares
30×associate-/r*
26×distribute-lft-out
19×sqrt-prod distribute-lft-out--
13×add-exp-log associate-/r/ add-cbrt-cube
11×pow1
7×div-inv associate-/l*
6×flip3-- flip-- add-log-exp
4×tan-quot cbrt-undiv div-exp associate-/l/
3×flip3-+ swap-sqr associate-*r* associate-*l* flip-+
2×frac-2neg clear-num
1×+-commutative pow2 frac-times pow-plus associate-*r/ pow-prod-down associate-*l/ prod-exp sum-log pow-sqr *-commutative pow-prod-up cbrt-unprod unswap-sqr
Counts
4 → 224
Calls
4 calls:
14.0ms
(+ (sqrt 1.0) (tan x))
52.0ms
(/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x)))
107.0ms
(/ (+ (sqrt 1.0) (tan x)) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x))))
32.0ms
(* (tan x) (tan x))

series591.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(+ (sqrt 1.0) (tan x))
156.0ms
(/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x)))
326.0ms
(/ (+ (sqrt 1.0) (tan x)) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x))))
58.0ms
(* (tan x) (tan x))

simplify92.0ms

Counts
236 → 236

prune763.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x))))
0.2b
(+ (sqrt 1.0) (tan x))
0.2b
(* (+ (sqrt 1.0) (tan x)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))))
0.3b
(* (tan x) (tan x))

rewrite177.0ms

Algorithm
rewrite-expression-head
Rules
65×add-sqr-sqrt
48×*-un-lft-identity
37×times-frac
30×add-cube-cbrt
27×associate-*r*
14×difference-of-squares
13×pow1 add-exp-log add-cbrt-cube
7×associate-*l* sqrt-prod distribute-lft-out--
6×associate-/l* add-log-exp
5×flip3-+ flip-+
4×tan-quot associate-/r/
3×frac-times swap-sqr associate-*l/ prod-exp associate-/r* cbrt-unprod unswap-sqr
2×cbrt-undiv associate-*r/ div-exp pow-prod-down *-commutative div-inv associate-/l/ distribute-lft-out
1×+-commutative pow2 flip3-- frac-2neg pow-plus div-sub clear-num sum-log pow-sqr pow-prod-up flip--
Counts
4 → 132
Calls
4 calls:
31.0ms
(/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x))))
11.0ms
(+ (sqrt 1.0) (tan x))
93.0ms
(* (+ (sqrt 1.0) (tan x)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))))
27.0ms
(* (tan x) (tan x))

series565.0ms

Counts
4 → 12
Calls
4 calls:
153.0ms
(/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x))))
58.0ms
(+ (sqrt 1.0) (tan x))
289.0ms
(* (+ (sqrt 1.0) (tan x)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))))
64.0ms
(* (tan x) (tan x))

simplify71.0ms

Counts
144 → 144

prune567.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (tan x) (tan x))
0.3b
(* (tan x) (tan x))
0.3b
(* (tan x) (tan x))
0.3b
(- (/ 1.0 (+ 1.0 (* (tan x) (tan x)))) (/ (* (tan x) (tan x)) (+ 1.0 (* (tan x) (tan x)))))

rewrite153.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
25×pow1
18×*-un-lft-identity
16×add-cube-cbrt
12×tan-quot
10×add-exp-log add-cbrt-cube
9×swap-sqr associate-*r* associate-*l*
6×add-log-exp
4×times-frac associate-/r/ difference-of-squares
3×pow2 frac-times distribute-rgt-out-- pow-plus associate-*r/ pow-prod-down associate-*l/ prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod unswap-sqr
2×flip3-+ flip-+ div-inv
1×sub-neg flip3-- diff-log frac-sub flip-- distribute-lft-out-- sub-div
Counts
4 → 106
Calls
4 calls:
31.0ms
(* (tan x) (tan x))
16.0ms
(* (tan x) (tan x))
17.0ms
(* (tan x) (tan x))
84.0ms
(- (/ 1.0 (+ 1.0 (* (tan x) (tan x)))) (/ (* (tan x) (tan x)) (+ 1.0 (* (tan x) (tan x)))))

series441.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(* (tan x) (tan x))
60.0ms
(* (tan x) (tan x))
52.0ms
(* (tan x) (tan x))
261.0ms
(- (/ 1.0 (+ 1.0 (* (tan x) (tan x)))) (/ (* (tan x) (tan x)) (+ 1.0 (* (tan x) (tan x)))))

simplify103.0ms

Counts
118 → 118

prune301.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

regimes298.0ms

Accuracy

24.7% (0.3b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.4b

bsearch0.0ms

simplify88.0ms

end0.0ms

sample4.4s

Algorithm
intervals
Results
1.3s1278×body640valid
1.3s1502×body1280valid
905.0ms636×body320valid
536.0ms4265×body80valid
120.0ms319×body160valid