Details

Time bar (total: 5.4m)

sample384.0ms

Algorithm
intervals
Results
120.0ms58×body640valid
109.0ms53×body1280valid
61.0ms192×body80valid
59.0ms30×body320valid
11.0ms14×body160valid

simplify294.0ms

Calls
1 calls:
Slowest
294.0ms
(/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)))

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 20.2b

localize45.0ms

Local error

Found 4 expressions with local error:

12.9b
(/ (/ (/ 2 (tan k)) (* (/ t (* (/ l t) (/ l t))) (sin k))) (+ (* (/ k t) (/ k t)) 2))
4.1b
(* (/ t (* (/ l t) (/ l t))) (sin k))
3.0b
(/ (/ 2 (tan k)) (* (/ t (* (/ l t) (/ l t))) (sin k)))
1.1b
(/ t (* (/ l t) (/ l t)))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
55×times-frac
27×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
20×add-cbrt-cube add-exp-log
19×associate-/r/
15×associate-/l*
14×div-inv
8×associate-*l/
7×cbrt-undiv div-exp associate-*l*
6×pow1 tan-quot
5×associate-/r*
4×insert-posit16 add-log-exp
3×clear-num frac-2neg associate-*r* prod-exp cbrt-unprod
2×frac-times associate-*r/ associate-/l/
1×flip3-+ pow-prod-down *-commutative flip-+
Calls
4 calls:
Slowest
32.0ms
(/ (/ (/ 2 (tan k)) (* (/ t (* (/ l t) (/ l t))) (sin k))) (+ (* (/ k t) (/ k t)) 2))
14.0ms
(/ (/ 2 (tan k)) (* (/ t (* (/ l t) (/ l t))) (sin k)))
11.0ms
(* (/ t (* (/ l t) (/ l t))) (sin k))
2.0ms
(/ t (* (/ l t) (/ l t)))

series1.0s

Calls
4 calls:
Slowest
700.0ms
(/ (/ (/ 2 (tan k)) (* (/ t (* (/ l t) (/ l t))) (sin k))) (+ (* (/ k t) (/ k t)) 2))
212.0ms
(/ (/ 2 (tan k)) (* (/ t (* (/ l t) (/ l t))) (sin k)))
72.0ms
(* (/ t (* (/ l t) (/ l t))) (sin k))
28.0ms
(/ t (* (/ l t) (/ l t)))

simplify25.7s

Calls
126 calls:
Slowest
975.0ms
(/ (/ (* (* (/ 2 (tan k)) (/ 2 (tan k))) (/ 2 (tan k))) (* (* (* (/ t (* (/ l t) (/ l t))) (/ t (* (/ l t) (/ l t)))) (/ t (* (/ l t) (/ l t)))) (* (* (sin k) (sin k)) (sin k)))) (* (* (+ (* (/ k t) (/ k t)) 2) (+ (* (/ k t) (/ k t)) 2)) (+ (* (/ k t) (/ k t)) 2)))
910.0ms
(/ (/ (* (* (/ 2 (tan k)) (/ 2 (tan k))) (/ 2 (tan k))) (* (* (* (/ t (* (/ l t) (/ l t))) (sin k)) (* (/ t (* (/ l t) (/ l t))) (sin k))) (* (/ t (* (/ l t) (/ l t))) (sin k)))) (* (* (+ (* (/ k t) (/ k t)) 2) (+ (* (/ k t) (/ k t)) 2)) (+ (* (/ k t) (/ k t)) 2)))
907.0ms
(/ (/ (/ 2 (sin k)) (/ t (* (/ l t) (/ l t)))) (* (cbrt (+ (* (/ k t) (/ k t)) 2)) (cbrt (+ (* (/ k t) (/ k t)) 2))))
710.0ms
(/ (* (* (/ (/ 2 (tan k)) (* (/ t (* (/ l t) (/ l t))) (sin k))) (/ (/ 2 (tan k)) (* (/ t (* (/ l t) (/ l t))) (sin k)))) (/ (/ 2 (tan k)) (* (/ t (* (/ l t) (/ l t))) (sin k)))) (* (* (+ (* (/ k t) (/ k t)) 2) (+ (* (/ k t) (/ k t)) 2)) (+ (* (/ k t) (/ k t)) 2)))
676.0ms
(/ (/ (/ 2 (tan k)) (* (/ t (* (/ l t) (/ l t))) (sin k))) (cbrt (+ (* (/ k t) (/ k t)) 2)))

prune1.8s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 11.0b

localize17.0ms

Local error

Found 4 expressions with local error:

9.1b
(/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t))))
5.4b
(/ (/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t)))) (/ (sin k) (/ l t)))
4.6b
(/ (sin k) (/ l t))
2.8b
(* (/ 2 (tan k)) (/ (/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t)))) (/ (sin k) (/ l t))))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
1500×times-frac
600×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
311×associate-*r*
301×div-inv
113×associate-/r/
38×add-cbrt-cube add-exp-log
36×flip3-+ flip-+
25×associate-/l*
24×associate-/r*
18×cbrt-undiv div-exp
6×pow1
5×associate-*l* prod-exp cbrt-unprod
4×insert-posit16 add-log-exp
3×clear-num frac-2neg
2×associate-/l/
1×frac-times pow-prod-down associate-*l/ tan-quot associate-*r/ *-commutative
Calls
4 calls:
Slowest
32.0ms
(* (/ 2 (tan k)) (/ (/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t)))) (/ (sin k) (/ l t))))
22.0ms
(/ (/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t)))) (/ (sin k) (/ l t)))
12.0ms
(/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t))))
7.0ms
(/ (sin k) (/ l t))

series506.0ms

Calls
4 calls:
Slowest
268.0ms
(* (/ 2 (tan k)) (/ (/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t)))) (/ (sin k) (/ l t))))
116.0ms
(/ (/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t)))) (/ (sin k) (/ l t)))
91.0ms
(/ (sin k) (/ l t))
30.0ms
(/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t))))

simplify3.8m

Calls
1063 calls:
Slowest
967.0ms
(+ (log (/ 2 (tan k))) (- (log (/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t))))) (- (log (sin k)) (log (/ l t)))))
967.0ms
(/ (/ (/ 1 t) (cbrt (+ 2 (* (/ k t) (/ k t))))) (/ (cbrt (sin k)) (sqrt (/ l t))))
917.0ms
(* (* (* (/ 2 (tan k)) (/ 2 (tan k))) (/ 2 (tan k))) (/ (* (* (/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t)))) (/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t))))) (/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t))))) (/ (* (* (sin k) (sin k)) (sin k)) (* (* (/ l t) (/ l t)) (/ l t)))))
914.0ms
(/ (/ (cbrt (/ (/ l t) t)) (+ 2 (* (/ k t) (/ k t)))) (/ (sqrt (sin k)) (/ 1 t)))
884.0ms
(/ (/ (* (* (/ (/ l t) t) (/ (/ l t) t)) (/ (/ l t) t)) (* (* (+ 2 (* (/ k t) (/ k t))) (+ 2 (* (/ k t) (/ k t)))) (+ 2 (* (/ k t) (/ k t))))) (/ (* (* (sin k) (sin k)) (sin k)) (* (* (/ l t) (/ l t)) (/ l t))))

prune11.9s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 5.7b

localize22.0ms

Local error

Found 4 expressions with local error:

5.9b
(/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k)))
4.8b
(* (* (/ 2 (tan k)) (/ (/ (/ l t) 1) 1)) (/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k))))
4.5b
(* (/ 2 (tan k)) (/ (/ (/ l t) 1) 1))
3.9b
(/ (/ l t) (+ 2 (* (/ k t) (/ k t))))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
40×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
34×add-cbrt-cube add-exp-log
26×associate-*r*
22×associate-/l*
21×div-inv
11×pow1
10×cbrt-undiv div-exp prod-exp cbrt-unprod
9×associate-/r/
6×frac-times associate-*l* associate-*l/
4×associate-/r* flip3-+ pow-prod-down associate-*r/ flip-+ insert-posit16 add-log-exp
2×clear-num frac-2neg *-commutative associate-/l/
1×tan-quot
Calls
4 calls:
Slowest
19.0ms
(* (* (/ 2 (tan k)) (/ (/ (/ l t) 1) 1)) (/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k))))
13.0ms
(/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k)))
6.0ms
(* (/ 2 (tan k)) (/ (/ (/ l t) 1) 1))
4.0ms
(/ (/ l t) (+ 2 (* (/ k t) (/ k t))))

series606.0ms

Calls
4 calls:
Slowest
291.0ms
(* (* (/ 2 (tan k)) (/ (/ (/ l t) 1) 1)) (/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k))))
151.0ms
(/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k)))
119.0ms
(* (/ 2 (tan k)) (/ (/ (/ l t) 1) 1))
45.0ms
(/ (/ l t) (+ 2 (* (/ k t) (/ k t))))

simplify23.4s

Calls
164 calls:
Slowest
1.8s
(* (* (* (* (/ 2 (tan k)) (/ 2 (tan k))) (/ 2 (tan k))) (* (* (/ (/ (/ l t) 1) 1) (/ (/ (/ l t) 1) 1)) (/ (/ (/ l t) 1) 1))) (/ (* (* (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (/ (/ l t) (+ 2 (* (/ k t) (/ k t))))) (/ (/ l t) (+ 2 (* (/ k t) (/ k t))))) (* (* (* t (sin k)) (* t (sin k))) (* t (sin k)))))
1.5s
(* (* (* (* (/ 2 (tan k)) (/ (/ (/ l t) 1) 1)) (* (/ 2 (tan k)) (/ (/ (/ l t) 1) 1))) (* (/ 2 (tan k)) (/ (/ (/ l t) 1) 1))) (/ (* (* (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (/ (/ l t) (+ 2 (* (/ k t) (/ k t))))) (/ (/ l t) (+ 2 (* (/ k t) (/ k t))))) (* (* (* t (sin k)) (* t (sin k))) (* t (sin k)))))
1.1s
(* (* (* (* (/ 2 (tan k)) (/ 2 (tan k))) (/ 2 (tan k))) (* (* (/ (/ (/ l t) 1) 1) (/ (/ (/ l t) 1) 1)) (/ (/ (/ l t) 1) 1))) (* (* (/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k))) (/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k)))) (/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k)))))
808.0ms
(* (* (* (* (/ 2 (tan k)) (/ (/ (/ l t) 1) 1)) (* (/ 2 (tan k)) (/ (/ (/ l t) 1) 1))) (* (/ 2 (tan k)) (/ (/ (/ l t) 1) 1))) (* (* (/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k))) (/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k)))) (/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k)))))
710.0ms
(* (* (* (/ 2 (tan k)) (/ 2 (tan k))) (/ 2 (tan k))) (* (* (/ (/ (/ l t) 1) 1) (/ (/ (/ l t) 1) 1)) (/ (/ (/ l t) 1) 1)))

prune2.7s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 5.7b

localize12.0ms

Local error

Found 4 expressions with local error:

5.9b
(/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k)))
4.8b
(* (/ (* (/ l t) 2) (tan k)) (/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k))))
4.5b
(/ (* (/ l t) 2) (tan k))
3.9b
(/ (/ l t) (+ 2 (* (/ k t) (/ k t))))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
90×times-frac
42×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
34×add-cbrt-cube add-exp-log
23×associate-/l*
22×associate-*r*
21×div-inv
14×cbrt-undiv div-exp
10×associate-/r/
8×associate-*l*
7×associate-/r*
6×pow1 prod-exp cbrt-unprod
4×flip3-+ flip-+ insert-posit16 add-log-exp
3×clear-num frac-2neg associate-/l/
2×associate-*l/ tan-quot
1×frac-times pow-prod-down associate-*r/ *-commutative
Calls
4 calls:
Slowest
20.0ms
(* (/ (* (/ l t) 2) (tan k)) (/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k))))
7.0ms
(/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k)))
6.0ms
(/ (* (/ l t) 2) (tan k))
4.0ms
(/ (/ l t) (+ 2 (* (/ k t) (/ k t))))

series468.0ms

Calls
4 calls:
Slowest
177.0ms
(* (/ (* (/ l t) 2) (tan k)) (/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k))))
159.0ms
(/ (* (/ l t) 2) (tan k))
99.0ms
(/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k)))
33.0ms
(/ (/ l t) (+ 2 (* (/ k t) (/ k t))))

simplify16.6s

Calls
164 calls:
Slowest
1.3s
(* (/ (* (* (* (/ l t) 2) (* (/ l t) 2)) (* (/ l t) 2)) (* (* (tan k) (tan k)) (tan k))) (/ (* (* (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (/ (/ l t) (+ 2 (* (/ k t) (/ k t))))) (/ (/ l t) (+ 2 (* (/ k t) (/ k t))))) (* (* (* t (sin k)) (* t (sin k))) (* t (sin k)))))
896.0ms
(* (/ (* (* (* (/ l t) 2) (* (/ l t) 2)) (* (/ l t) 2)) (* (* (tan k) (tan k)) (tan k))) (* (* (/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k))) (/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k)))) (/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k)))))
742.0ms
(* (* (* (/ (* (/ l t) 2) (tan k)) (/ (* (/ l t) 2) (tan k))) (/ (* (/ l t) 2) (tan k))) (/ (* (* (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (/ (/ l t) (+ 2 (* (/ k t) (/ k t))))) (/ (/ l t) (+ 2 (* (/ k t) (/ k t))))) (* (* (* t (sin k)) (* t (sin k))) (* t (sin k)))))
595.0ms
(/ (/ (* (* (/ l t) (/ l t)) (/ l t)) (* (* (+ 2 (* (/ k t) (/ k t))) (+ 2 (* (/ k t) (/ k t)))) (+ 2 (* (/ k t) (/ k t))))) (* (* (* t (sin k)) (* t (sin k))) (* t (sin k))))
578.0ms
(* (* (* (/ (* (/ l t) 2) (tan k)) (/ (* (/ l t) 2) (tan k))) (/ (* (/ l t) 2) (tan k))) (* (* (/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k))) (/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k)))) (/ (/ (/ l t) (+ 2 (* (/ k t) (/ k t)))) (* t (sin k)))))

prune1.6s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 5.7b

regimes294.0ms

Accuracy

83% (0.8b remaining)

Error of 7.7b against oracle of 7.0b and baseline of 11.4b

bsearch344.0ms

end0.0ms

sample10.0s

Algorithm
intervals
Results
4.4s2003×body1280valid
2.1s1694×body640valid
2.1s5983×body80valid
863.0ms863×body320valid
249.0ms431×body160valid