Details

Time bar (total: 58.9s)

sample270.0ms

Algorithm
intervals
Results
131.0ms78×body1280valid
51.0ms59×body640valid
35.0ms190×body80valid
15.0ms23×body320valid
4.0ms10×body160valid

simplify6.3s

Counts
1 → 1
Iterations
IterNodes
done5032
44037
3735
2153
148
019

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.5b

localize103.0ms

Local error

Found 4 expressions with local error:

2.5b
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
3.1b
(* (/ (pow t 3.0) (* l l)) (sin k))
15.8b
(/ (pow t 3.0) (* l l))
16.7b
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
108×add-exp-log
58×prod-exp
52×add-cbrt-cube
26×cbrt-unprod
24×div-exp
21×add-sqr-sqrt
20×pow1
19×*-un-lft-identity
17×times-frac
16×associate-*l/
14×add-cube-cbrt
13×associate-*l*
11×associate-*r*
10×frac-times unpow-prod-down pow-prod-down
8×pow-to-exp cbrt-undiv pow-exp tan-quot
7×associate-/l*
6×associate-*r/
4×flip3-+ flip-+ insert-posit16 add-log-exp unswap-sqr sqr-pow
3×*-commutative distribute-lft-out
2×div-inv
1×distribute-rgt-in clear-num associate-/r* frac-2neg distribute-lft-in
Counts
4 → 148
Calls
4 calls:
116.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
58.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
28.0ms
(/ (pow t 3.0) (* l l))
1.2s
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series4.0s

Counts
4 → 12
Calls
4 calls:
864.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
624.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
411.0ms
(/ (pow t 3.0) (* l l))
2.1s
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify5.9s

Counts
160 → 160
Iterations
IterNodes
done5047
23606
1802
0258

prune2.1s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 6.1b

localize214.0ms

Local error

Found 4 expressions with local error:

4.2b
(/ (* k (sin k)) l)
4.2b
(/ (* k (sin k)) l)
6.3b
(* (/ t (cos k)) (* (/ (* k (sin k)) l) (/ (* k (sin k)) l)))
18.2b
(/ (* t (* t t)) (/ (cos k) (* (/ (sin k) l) (/ (sin k) l))))

rewrite277.0ms

Algorithm
rewrite-expression-head
Rules
211×add-cbrt-cube add-exp-log
83×cbrt-undiv div-exp
82×prod-exp cbrt-unprod
32×times-frac
22×add-sqr-sqrt
19×*-un-lft-identity add-cube-cbrt
16×associate-/r*
13×associate-*l*
9×pow1
7×frac-times associate-*r/ associate-/r/
6×div-inv
5×associate-*l/
4×insert-posit16 add-log-exp
3×clear-num frac-2neg pow-prod-down associate-/l*
2×unswap-sqr
1×associate-*r* *-commutative
Counts
4 → 187
Calls
4 calls:
23.0ms
(/ (* k (sin k)) l)
15.0ms
(/ (* k (sin k)) l)
133.0ms
(* (/ t (cos k)) (* (/ (* k (sin k)) l) (/ (* k (sin k)) l)))
58.0ms
(/ (* t (* t t)) (/ (cos k) (* (/ (sin k) l) (/ (sin k) l))))

series1.2s

Counts
4 → 12
Calls
4 calls:
140.0ms
(/ (* k (sin k)) l)
140.0ms
(/ (* k (sin k)) l)
490.0ms
(* (/ t (cos k)) (* (/ (* k (sin k)) l) (/ (* k (sin k)) l)))
385.0ms
(/ (* t (* t t)) (/ (cos k) (* (/ (sin k) l) (/ (sin k) l))))

simplify2.9s

Counts
199 → 199
Iterations
IterNodes
done5002
11139
0359

prune2.6s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 2.0b

localize209.0ms

Local error

Found 4 expressions with local error:

2.2b
(/ t (/ (cos k) (* (* t (/ (sin k) l)) (* t (/ (sin k) l)))))
4.2b
(/ (* k (sin k)) l)
4.2b
(/ (* k (sin k)) l)
6.3b
(* (/ t (cos k)) (* (/ (* k (sin k)) l) (/ (* k (sin k)) l)))

rewrite437.0ms

Algorithm
rewrite-expression-head
Rules
177×add-cbrt-cube add-exp-log
73×prod-exp cbrt-unprod
65×cbrt-undiv div-exp
58×times-frac
37×add-sqr-sqrt
34×*-un-lft-identity add-cube-cbrt
25×associate-*r/
16×associate-/r*
13×associate-*l* associate-/r/
9×frac-times pow1
8×div-inv
7×associate-*l/
5×associate-/l*
4×insert-posit16 add-log-exp
3×clear-num frac-2neg pow-prod-down
2×unswap-sqr
1×associate-*r* *-commutative
Counts
4 → 195
Calls
4 calls:
118.0ms
(/ t (/ (cos k) (* (* t (/ (sin k) l)) (* t (/ (sin k) l)))))
28.0ms
(/ (* k (sin k)) l)
28.0ms
(/ (* k (sin k)) l)
216.0ms
(* (/ t (cos k)) (* (/ (* k (sin k)) l) (/ (* k (sin k)) l)))

series1.2s

Counts
4 → 12
Calls
4 calls:
406.0ms
(/ t (/ (cos k) (* (* t (/ (sin k) l)) (* t (/ (sin k) l)))))
121.0ms
(/ (* k (sin k)) l)
95.0ms
(/ (* k (sin k)) l)
563.0ms
(* (/ t (cos k)) (* (/ (* k (sin k)) l) (/ (* k (sin k)) l)))

simplify3.0s

Counts
207 → 207
Iterations
IterNodes
done5000
11221
0395

prune2.8s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.4b

localize196.0ms

Local error

Found 4 expressions with local error:

2.2b
(/ t (/ (cos k) (* (* t (/ (sin k) l)) (* t (/ (sin k) l)))))
4.2b
(/ (* k (sin k)) l)
4.2b
(/ (* k (sin k)) l)
5.6b
(* (/ t (cos k)) (/ (* k (sin k)) l))

rewrite257.0ms

Algorithm
rewrite-expression-head
Rules
94×add-cbrt-cube add-exp-log
61×times-frac
41×add-sqr-sqrt
38×cbrt-undiv div-exp
36×*-un-lft-identity add-cube-cbrt
31×prod-exp cbrt-unprod
21×associate-*r/
16×associate-/r*
13×associate-*l* associate-/r/
9×div-inv
7×associate-*r*
6×pow1
5×frac-times associate-*l/ associate-/l*
4×insert-posit16 add-log-exp
3×clear-num frac-2neg
2×unswap-sqr
1×pow-prod-down *-commutative
Counts
4 → 168
Calls
4 calls:
110.0ms
(/ t (/ (cos k) (* (* t (/ (sin k) l)) (* t (/ (sin k) l)))))
30.0ms
(/ (* k (sin k)) l)
29.0ms
(/ (* k (sin k)) l)
54.0ms
(* (/ t (cos k)) (/ (* k (sin k)) l))

series906.0ms

Counts
4 → 12
Calls
4 calls:
369.0ms
(/ t (/ (cos k) (* (* t (/ (sin k) l)) (* t (/ (sin k) l)))))
112.0ms
(/ (* k (sin k)) l)
116.0ms
(/ (* k (sin k)) l)
308.0ms
(* (/ t (cos k)) (/ (* k (sin k)) l))

simplify7.7s

Counts
180 → 180
Iterations
IterNodes
done5001
24874
11058
0338

prune2.8s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.3b

regimes1.3s

Accuracy

0% (2.7b remaining)

Error of 3.2b against oracle of 0.5b and baseline of 3.2b

bsearch0.0ms

simplify19.0ms

Iterations
IterNodes
done29
129
023

end0.0ms

sample10.8s

Algorithm
intervals
Results
3.8s2045×body1280valid
3.0s1744×body640valid
2.6s5941×body80valid
702.0ms851×body320valid
209.0ms410×body160valid