Details

Time bar (total: 43.9s)

sample454.0ms

Algorithm
intervals
Results
254.0ms103×body2560valid
128.0ms76×body1280valid
32.0ms43×body640valid
14.0ms25×body320valid
10.0ms256×pre80true
4.0ms8×body160valid
0.0ms1×body80valid

simplify32.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
32.0ms
(- (/ 1 x) (/ 1 (tan x)))

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 60.3b

localize15.0ms

Local error

Found 1 expressions with local error:

2.6b
(- (/ 1 x) (/ 1 (tan x)))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
19×*-un-lft-identity
18×times-frac
9×difference-of-squares
7×distribute-lft-out--
4×div-inv
3×add-cube-cbrt add-log-exp
1×pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log frac-sub insert-posit16 flip--
Counts
1 → 30
Calls
1 calls:
Slowest
14.0ms
(- (/ 1 x) (/ 1 (tan x)))

series102.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
101.0ms
(- (/ 1 x) (/ 1 (tan x)))

simplify967.0ms

Counts
34 → 33
Calls
34 calls:
Slowest
251.0ms
(+ (* 1/3 x) (+ (* 1/45 (pow x 3)) (* 2/945 (pow x 5))))
66.0ms
(/ (exp (/ 1 x)) (exp (/ 1 (tan x))))
41.0ms
(- (sqrt (/ 1 x)) (/ (sqrt 1) (sqrt (tan x))))
35.0ms
(- (/ 1 (sqrt x)) (/ (sqrt 1) (sqrt (tan x))))
33.0ms
(- (/ 1 x) (/ 1 (tan x)))

prune185.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize21.0ms

Local error

Found 4 expressions with local error:

0.4b
(* x (+ 1/3 (* 1/45 (* x x))))
0.2b
(* 1/45 (* x x))
0.1b
(* (pow x 5) 2/945)
0.0b
(+ (* x (+ 1/3 (* 1/45 (* x x)))) (* (pow x 5) 2/945))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×add-exp-log
13×add-cbrt-cube associate-*l*
11×pow1
10×*-un-lft-identity add-cube-cbrt
7×associate-*r* prod-exp
6×add-log-exp
5×cbrt-unprod unswap-sqr
4×unpow-prod-down pow-prod-down insert-posit16
3×*-commutative
2×distribute-rgt-in associate-+l+ distribute-lft-in flip3-+ associate-*r/ flip-+ sqr-pow
1×pow-to-exp +-commutative sum-log pow-exp
Counts
4 → 83
Calls
4 calls:
Slowest
26.0ms
(* 1/45 (* x x))
17.0ms
(* x (+ 1/3 (* 1/45 (* x x))))
16.0ms
(+ (* x (+ 1/3 (* 1/45 (* x x)))) (* (pow x 5) 2/945))
15.0ms
(* (pow x 5) 2/945)

series275.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
102.0ms
(* x (+ 1/3 (* 1/45 (* x x))))
74.0ms
(+ (* x (+ 1/3 (* 1/45 (* x x)))) (* (pow x 5) 2/945))
65.0ms
(* (pow x 5) 2/945)
34.0ms
(* 1/45 (* x x))

simplify3.6s

Counts
57 → 95
Calls
57 calls:
Slowest
438.0ms
(+ (* 1/3 1/3) (- (* (* 1/45 (* x x)) (* 1/45 (* x x))) (* 1/3 (* 1/45 (* x x)))))
275.0ms
(+ (* 1/3 x) (+ (* 1/45 (pow x 3)) (* 2/945 (pow x 5))))
259.0ms
(+ (* 1/3 x) (+ (* 1/45 (pow x 3)) (* 2/945 (pow x 5))))
255.0ms
(+ (* 1/3 x) (+ (* 1/45 (pow x 3)) (* 2/945 (pow x 5))))
213.0ms
(* (* (* x x) x) (* (* (+ 1/3 (* 1/45 (* x x))) (+ 1/3 (* 1/45 (* x x)))) (+ 1/3 (* 1/45 (* x x)))))

prune837.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize34.0ms

Local error

Found 4 expressions with local error:

0.4b
(* x (- (* 1/3 1/3) (* (* 1/45 (* x x)) (* 1/45 (* x x)))))
0.4b
(/ (* x (- (* 1/3 1/3) (* (* 1/45 (* x x)) (* 1/45 (* x x))))) (- 1/3 (* 1/45 (* x x))))
0.2b
(* 1/45 (* x x))
0.2b
(* 1/45 (* x x))

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
21×add-cbrt-cube add-exp-log
16×pow1
14×add-sqr-sqrt
10×*-un-lft-identity add-cube-cbrt
9×associate-*l*
8×prod-exp cbrt-unprod
7×pow-prod-down
6×associate-*r*
4×associate-*r/ insert-posit16 add-log-exp
3×associate-/r* times-frac flip3-- *-commutative flip-- unswap-sqr
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in div-exp associate-/r/ associate-/l/
1×clear-num frac-2neg div-inv associate-/l* difference-of-squares
Counts
4 → 92
Calls
4 calls:
Slowest
44.0ms
(* x (- (* 1/3 1/3) (* (* 1/45 (* x x)) (* 1/45 (* x x)))))
26.0ms
(/ (* x (- (* 1/3 1/3) (* (* 1/45 (* x x)) (* 1/45 (* x x))))) (- 1/3 (* 1/45 (* x x))))
18.0ms
(* 1/45 (* x x))
13.0ms
(* 1/45 (* x x))

series611.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
319.0ms
(/ (* x (- (* 1/3 1/3) (* (* 1/45 (* x x)) (* 1/45 (* x x))))) (- 1/3 (* 1/45 (* x x))))
191.0ms
(* x (- (* 1/3 1/3) (* (* 1/45 (* x x)) (* 1/45 (* x x)))))
53.0ms
(* 1/45 (* x x))
48.0ms
(* 1/45 (* x x))

simplify10.3s

Counts
66 → 104
Calls
66 calls:
Slowest
785.0ms
(/ (* (* (* x (- (* 1/3 1/3) (* (* 1/45 (* x x)) (* 1/45 (* x x))))) (* x (- (* 1/3 1/3) (* (* 1/45 (* x x)) (* 1/45 (* x x)))))) (* x (- (* 1/3 1/3) (* (* 1/45 (* x x)) (* 1/45 (* x x)))))) (* (* (- 1/3 (* 1/45 (* x x))) (- 1/3 (* 1/45 (* x x)))) (- 1/3 (* 1/45 (* x x)))))
474.0ms
(/ (* (* (* x x) x) (* (* (- (* 1/3 1/3) (* (* 1/45 (* x x)) (* 1/45 (* x x)))) (- (* 1/3 1/3) (* (* 1/45 (* x x)) (* 1/45 (* x x))))) (- (* 1/3 1/3) (* (* 1/45 (* x x)) (* 1/45 (* x x)))))) (* (* (- 1/3 (* 1/45 (* x x))) (- 1/3 (* 1/45 (* x x)))) (- 1/3 (* 1/45 (* x x)))))
432.0ms
(+ (log x) (log (- (* 1/3 1/3) (* (* 1/45 (* x x)) (* 1/45 (* x x))))))
414.0ms
(cbrt (- (* 1/3 1/3) (* (* 1/45 (* x x)) (* 1/45 (* x x)))))
404.0ms
(* (- (* (* 1/45 (* x x)) (* 1/45 (* x x)))) x)

prune1.0s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 1/45 (* x x))
0.2b
(* 1/45 (* x x))
0.2b
(* 1/45 (* x x))
0.2b
(* (* 1/45 (* x x)) (* 1/45 (* x x)))

rewrite165.0ms

Algorithm
rewrite-expression-head
Rules
133×pow1
75×pow-prod-down
55×add-cbrt-cube add-exp-log
36×prod-exp cbrt-unprod
10×add-sqr-sqrt associate-*l*
9×pow-sqr pow-prod-up
7×*-un-lft-identity add-cube-cbrt
4×associate-*r* *-commutative insert-posit16 add-log-exp
3×pow-plus unswap-sqr
1×pow2 swap-sqr
Counts
4 → 121
Calls
4 calls:
Slowest
105.0ms
(* (* 1/45 (* x x)) (* 1/45 (* x x)))
31.0ms
(* 1/45 (* x x))
14.0ms
(* 1/45 (* x x))
13.0ms
(* 1/45 (* x x))

series179.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
71.0ms
(* (* 1/45 (* x x)) (* 1/45 (* x x)))
37.0ms
(* 1/45 (* x x))
36.0ms
(* 1/45 (* x x))
34.0ms
(* 1/45 (* x x))

simplify6.9s

Counts
111 → 133
Calls
111 calls:
Slowest
585.0ms
(* (* (* (* 1/45 1/45) 1/45) (* (* (* x x) (* x x)) (* x x))) (* (* (* 1/45 1/45) 1/45) (* (* (* x x) (* x x)) (* x x))))
347.0ms
(* (* (* (* 1/45 (* x x)) (* 1/45 (* x x))) (* 1/45 (* x x))) (* (* (* 1/45 1/45) 1/45) (* (* (* x x) (* x x)) (* x x))))
311.0ms
(* (* (* (* 1/45 1/45) 1/45) (* (* (* x x) (* x x)) (* x x))) (* (* (* 1/45 (* x x)) (* 1/45 (* x x))) (* 1/45 (* x x))))
307.0ms
(* (* (* (* 1/45 (* x x)) (* 1/45 (* x x))) (* 1/45 (* x x))) (* (* (* 1/45 1/45) 1/45) (* (* (* x x) x) (* (* x x) x))))
289.0ms
(* (* (* (* 1/45 1/45) 1/45) (* (* (* x x) x) (* (* x x) x))) (* (* (* 1/45 1/45) 1/45) (* (* (* x x) (* x x)) (* x x))))

prune1.5s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

regimes19.0ms

Accuracy

0% (0.0b remaining)

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

bsearch6.0ms

end0.0ms

sample16.4s

Algorithm
intervals
Results
9.4s3195×body2560valid
4.3s2537×body1280valid
1.6s1270×body640valid
483.0ms633×body320valid
327.0ms8000×pre80true
121.0ms306×body160valid
11.0ms59×body80valid