Details

Time bar (total: 1.3m)

sample452.0ms

Algorithm
intervals
Results
142.0ms59×body1280valid
132.0ms57×body640valid
71.0ms30×body320valid
71.0ms190×body80valid
11.0ms14×body160valid

simplify1.2s

Counts
1 → 1
Iterations
IterNodes
done2000
42000
31118
2185
154
019

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 17.7b

localize45.0ms

Local error

Found 4 expressions with local error:

1.8b
(* (sin k) (* (* (/ t l) (/ t l)) t))
2.4b
(* (* (/ t l) (/ t l)) t)
2.6b
(/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t)))
12.0b
(/ (/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t))) (+ (* (/ k t) (/ k t)) 2))

rewrite437.0ms

Algorithm
rewrite-expression-head
Rules
209×add-cbrt-cube add-exp-log
187×times-frac
84×prod-exp cbrt-unprod
81×cbrt-undiv div-exp
75×add-sqr-sqrt
74×*-un-lft-identity add-cube-cbrt
35×associate-/l*
28×associate-*l/
25×associate-*r/
23×associate-/r/
18×pow1
12×div-inv
9×pow-prod-down
7×frac-times
6×tan-quot
4×associate-/r* associate-*r* associate-*l* insert-posit16 add-log-exp
2×clear-num frac-2neg *-commutative associate-/l/
1×flip3-+ flip-+ unswap-sqr
Counts
4 → 263
Calls
4 calls:
113.0ms
(* (sin k) (* (* (/ t l) (/ t l)) t))
42.0ms
(* (* (/ t l) (/ t l)) t)
131.0ms
(/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t)))
146.0ms
(/ (/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t))) (+ (* (/ k t) (/ k t)) 2))

series1.4s

Counts
4 → 12
Calls
4 calls:
152.0ms
(* (sin k) (* (* (/ t l) (/ t l)) t))
60.0ms
(* (* (/ t l) (/ t l)) t)
313.0ms
(/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t)))
920.0ms
(/ (/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t))) (+ (* (/ k t) (/ k t)) 2))

simplify1.3s

Counts
275 → 275
Iterations
IterNodes
done2001
22001
11235
0448

prune4.2s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 10.3b

localize45.0ms

Local error

Found 4 expressions with local error:

1.3b
(* (* (sin k) (* (/ t l) (/ t l))) t)
2.6b
(/ (/ 2 (tan k)) (* (* (sin k) (* (/ t l) (/ t l))) t))
3.4b
(* (sin k) (* (/ t l) (/ t l)))
12.0b
(/ (/ (/ 2 (tan k)) (* (* (sin k) (* (/ t l) (/ t l))) t)) (+ (* (/ k t) (/ k t)) 2))

rewrite547.0ms

Algorithm
rewrite-expression-head
Rules
209×add-cbrt-cube add-exp-log
187×times-frac
84×prod-exp cbrt-unprod
81×cbrt-undiv div-exp
75×add-sqr-sqrt
74×*-un-lft-identity add-cube-cbrt
35×associate-/l*
28×associate-*r/
25×associate-*l/
23×associate-/r/
18×pow1
12×div-inv
9×pow-prod-down
7×frac-times
6×tan-quot
4×associate-/r* associate-*r* associate-*l* insert-posit16 add-log-exp
2×clear-num frac-2neg *-commutative associate-/l/
1×flip3-+ flip-+ unswap-sqr
Counts
4 → 263
Calls
4 calls:
152.0ms
(* (* (sin k) (* (/ t l) (/ t l))) t)
162.0ms
(/ (/ 2 (tan k)) (* (* (sin k) (* (/ t l) (/ t l))) t))
51.0ms
(* (sin k) (* (/ t l) (/ t l)))
176.0ms
(/ (/ (/ 2 (tan k)) (* (* (sin k) (* (/ t l) (/ t l))) t)) (+ (* (/ k t) (/ k t)) 2))

series1.4s

Counts
4 → 12
Calls
4 calls:
130.0ms
(* (* (sin k) (* (/ t l) (/ t l))) t)
284.0ms
(/ (/ 2 (tan k)) (* (* (sin k) (* (/ t l) (/ t l))) t))
87.0ms
(* (sin k) (* (/ t l) (/ t l)))
874.0ms
(/ (/ (/ 2 (tan k)) (* (* (sin k) (* (/ t l) (/ t l))) t)) (+ (* (/ k t) (/ k t)) 2))

simplify1.4s

Counts
275 → 275
Iterations
IterNodes
done2009
22009
11316
0463

prune4.1s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 10.1b

localize45.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (sqrt 2) (sin k))
3.2b
(/ (/ (/ (sqrt 2) (tan k)) t) (+ (* (/ k t) (/ k t)) 2))
4.1b
(/ (/ (sqrt 2) (sin k)) (* (/ t l) (/ t l)))
10.1b
(* (/ (/ (sqrt 2) (sin k)) (* (/ t l) (/ t l))) (/ (/ (/ (sqrt 2) (tan k)) t) (+ (* (/ k t) (/ k t)) 2)))

rewrite250.0ms

Algorithm
rewrite-expression-head
Rules
1476×times-frac
734×add-sqr-sqrt
648×*-un-lft-identity add-cube-cbrt
334×add-cbrt-cube add-exp-log
237×sqrt-prod
225×associate-*r*
188×cbrt-undiv div-exp
101×associate-/l*
84×prod-exp cbrt-unprod
36×div-inv
31×associate-/r/
29×associate-*l*
21×tan-quot
20×unswap-sqr
7×associate-/r*
6×pow1
4×insert-posit16 add-log-exp
3×frac-times clear-num frac-2neg associate-*l/ associate-*r/
2×flip3-+ flip-+ associate-/l/
1×pow-prod-down *-commutative
Counts
4 → 810
Calls
4 calls:
6.0ms
(/ (sqrt 2) (sin k))
45.0ms
(/ (/ (/ (sqrt 2) (tan k)) t) (+ (* (/ k t) (/ k t)) 2))
33.0ms
(/ (/ (sqrt 2) (sin k)) (* (/ t l) (/ t l)))
130.0ms
(* (/ (/ (sqrt 2) (sin k)) (* (/ t l) (/ t l))) (/ (/ (/ (sqrt 2) (tan k)) t) (+ (* (/ k t) (/ k t)) 2)))

series2.0s

Counts
4 → 12
Calls
4 calls:
61.0ms
(/ (sqrt 2) (sin k))
358.0ms
(/ (/ (/ (sqrt 2) (tan k)) t) (+ (* (/ k t) (/ k t)) 2))
287.0ms
(/ (/ (sqrt 2) (sin k)) (* (/ t l) (/ t l)))
1.3s
(* (/ (/ (sqrt 2) (sin k)) (* (/ t l) (/ t l))) (/ (/ (/ (sqrt 2) (tan k)) t) (+ (* (/ k t) (/ k t)) 2)))

simplify1.7s

Counts
822 → 822
Iterations
IterNodes
done2000
12000
01115

prune14.3s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 9.1b

localize112.0ms

Local error

Found 4 expressions with local error:

2.8b
(/ (* (cbrt (/ (sqrt 2) (sin k))) (cbrt (/ (sqrt 2) (sin k)))) (/ t l))
2.9b
(* (/ (* (cbrt (/ (sqrt 2) (sin k))) (cbrt (/ (sqrt 2) (sin k)))) (/ t l)) (* (/ (cbrt (/ (sqrt 2) (sin k))) (/ t l)) (/ (/ (/ (sqrt 2) (tan k)) t) (+ (* (/ k t) (/ k t)) 2))))
3.2b
(/ (/ (/ (sqrt 2) (tan k)) t) (+ (* (/ k t) (/ k t)) 2))
5.8b
(* (/ (cbrt (/ (sqrt 2) (sin k))) (/ t l)) (/ (/ (/ (sqrt 2) (tan k)) t) (+ (* (/ k t) (/ k t)) 2)))

rewrite800.0ms

Algorithm
rewrite-expression-head
Rules
2297×times-frac
1224×add-sqr-sqrt
973×*-un-lft-identity add-cube-cbrt
523×add-exp-log
419×add-cbrt-cube
348×associate-*l*
325×sqrt-prod
316×cbrt-prod
270×cbrt-undiv div-exp
226×associate-*r*
165×prod-exp cbrt-unprod
74×div-inv associate-/l*
45×unswap-sqr
28×associate-/r/
21×tan-quot
16×associate-/r*
11×pow1
7×frac-times associate-*r/
5×associate-*l/
4×cbrt-div pow-prod-down insert-posit16 add-log-exp associate-/l/
2×clear-num frac-2neg flip3-+ *-commutative flip-+
Counts
4 → 1169
Calls
4 calls:
16.0ms
(/ (* (cbrt (/ (sqrt 2) (sin k))) (cbrt (/ (sqrt 2) (sin k)))) (/ t l))
524.0ms
(* (/ (* (cbrt (/ (sqrt 2) (sin k))) (cbrt (/ (sqrt 2) (sin k)))) (/ t l)) (* (/ (cbrt (/ (sqrt 2) (sin k))) (/ t l)) (/ (/ (/ (sqrt 2) (tan k)) t) (+ (* (/ k t) (/ k t)) 2))))
49.0ms
(/ (/ (/ (sqrt 2) (tan k)) t) (+ (* (/ k t) (/ k t)) 2))
126.0ms
(* (/ (cbrt (/ (sqrt 2) (sin k))) (/ t l)) (/ (/ (/ (sqrt 2) (tan k)) t) (+ (* (/ k t) (/ k t)) 2)))

series3.2s

Counts
4 → 12
Calls
4 calls:
520.0ms
(/ (* (cbrt (/ (sqrt 2) (sin k))) (cbrt (/ (sqrt 2) (sin k)))) (/ t l))
1.2s
(* (/ (* (cbrt (/ (sqrt 2) (sin k))) (cbrt (/ (sqrt 2) (sin k)))) (/ t l)) (* (/ (cbrt (/ (sqrt 2) (sin k))) (/ t l)) (/ (/ (/ (sqrt 2) (tan k)) t) (+ (* (/ k t) (/ k t)) 2))))
349.0ms
(/ (/ (/ (sqrt 2) (tan k)) t) (+ (* (/ k t) (/ k t)) 2))
1.1s
(* (/ (cbrt (/ (sqrt 2) (sin k))) (/ t l)) (/ (/ (/ (sqrt 2) (tan k)) t) (+ (* (/ k t) (/ k t)) 2)))

simplify2.9s

Counts
1181 → 1181
Iterations
IterNodes
done2000
12000
01576

prune22.0s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 9.1b

regimes377.0ms

Accuracy

0% (1.0b remaining)

Error of 12.1b against oracle of 11.1b and baseline of 12.1b

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
done35
135
029

end0.0ms

sample15.6s

Algorithm
intervals
Results
7.0s1983×body1280valid
3.9s1723×body640valid
2.6s5912×body80valid
1.4s848×body320valid
415.0ms437×body160valid