Details

Time bar (total: 5.2m)

sample381.0ms

Algorithm
intervals
Results
167.0ms64×body1280valid
87.0ms59×body640valid
72.0ms180×body80valid
24.0ms22×body320valid
11.0ms16×body160valid

simplify269.0ms

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

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 21.9b

localize44.0ms

Local error

Found 4 expressions with local error:

14.7b
(/ (/ (/ 2 (tan k)) (* (/ t (* (/ l t) (/ l t))) (sin k))) (+ (* (/ k t) (/ k t)) 2))
3.4b
(* (/ t (* (/ l t) (/ l t))) (sin k))
2.9b
(/ (/ 2 (tan k)) (* (/ t (* (/ l t) (/ l t))) (sin k)))
1.4b
(/ t (* (/ l t) (/ l t)))

rewrite50.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
33.0ms
(/ (/ (/ 2 (tan k)) (* (/ t (* (/ l t) (/ l t))) (sin k))) (+ (* (/ k t) (/ k t)) 2))
8.0ms
(* (/ t (* (/ l t) (/ l t))) (sin k))
7.0ms
(/ (/ 2 (tan k)) (* (/ t (* (/ l t) (/ l t))) (sin k)))
1.0ms
(/ t (* (/ l t) (/ l t)))

series1.1s

Calls
4 calls:
Slowest
740.0ms
(/ (/ (/ 2 (tan k)) (* (/ t (* (/ l t) (/ l t))) (sin k))) (+ (* (/ k t) (/ k t)) 2))
223.0ms
(/ (/ 2 (tan k)) (* (/ t (* (/ l t) (/ l t))) (sin k)))
97.0ms
(* (/ t (* (/ l t) (/ l t))) (sin k))
17.0ms
(/ t (* (/ l t) (/ l t)))

simplify25.9s

Calls
126 calls:
Slowest
980.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)))
955.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)))
818.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)))
758.0ms
(/ (sqrt (/ (/ 2 (tan k)) (* (/ t (* (/ l t) (/ l t))) (sin k)))) (sqrt (+ (* (/ k t) (/ k t)) 2)))
654.0ms
(/ (/ (/ 2 (tan k)) (* (/ t (* (/ l t) (/ l t))) (sin k))) (+ (* (/ k t) (/ k t)) 2))

prune2.0s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 13.3b

localize22.0ms

Local error

Found 4 expressions with local error:

12.7b
(/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t))))
8.2b
(/ (/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t)))) (/ (sin k) (/ l t)))
3.4b
(/ (sin k) (/ l t))
2.5b
(* (/ 2 (tan k)) (/ (/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t)))) (/ (sin k) (/ l t))))

rewrite87.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
15.0ms
(* (/ 2 (tan k)) (/ (/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t)))) (/ (sin k) (/ l t))))
11.0ms
(/ (/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t)))) (/ (sin k) (/ l t)))
9.0ms
(/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t))))
4.0ms
(/ (sin k) (/ l t))

series472.0ms

Calls
4 calls:
Slowest
300.0ms
(* (/ 2 (tan k)) (/ (/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t)))) (/ (sin k) (/ l t))))
82.0ms
(/ (/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t)))) (/ (sin k) (/ l t)))
56.0ms
(/ (sin k) (/ l t))
34.0ms
(/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t))))

simplify3.8m

Calls
1063 calls:
Slowest
984.0ms
(+ (log (/ 2 (tan k))) (- (log (/ (/ (/ l t) t) (+ 2 (* (/ k t) (/ k t))))) (- (log (sin k)) (log (/ l t)))))
947.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))))
945.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)))))
939.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) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))))
809.0ms
(/ (/ (* (cbrt (/ (/ l t) t)) (cbrt (/ (/ l t) t))) 1) (/ (* (cbrt (sin k)) (cbrt (sin k))) (sqrt (/ l t))))

prune11.6s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 8.9b

localize21.0ms

Local error

Found 4 expressions with local error:

11.6b
(/ (/ 1 t) (sqrt (+ 2 (* (/ k t) (/ k t)))))
10.1b
(sqrt (+ 2 (* (/ k t) (/ k t))))
10.1b
(sqrt (+ 2 (* (/ k t) (/ k t))))
7.8b
(/ (/ l t) (sqrt (+ 2 (* (/ k t) (/ k t)))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
48×times-frac
42×add-sqr-sqrt
40×*-un-lft-identity add-cube-cbrt
36×sqrt-prod
16×div-inv
12×associate-/r*
8×add-cbrt-cube sqrt-div add-exp-log associate-/l*
4×pow1 flip3-+ associate-/r/ flip-+ insert-posit16 add-log-exp
2×cbrt-undiv rem-sqrt-square clear-num frac-2neg pow1/2 div-exp associate-/l/
Calls
4 calls:
Slowest
8.0ms
(/ (/ l t) (sqrt (+ 2 (* (/ k t) (/ k t)))))
6.0ms
(/ (/ 1 t) (sqrt (+ 2 (* (/ k t) (/ k t)))))
1.0ms
(sqrt (+ 2 (* (/ k t) (/ k t))))
1.0ms
(sqrt (+ 2 (* (/ k t) (/ k t))))

series182.0ms

Calls
4 calls:
Slowest
64.0ms
(/ (/ l t) (sqrt (+ 2 (* (/ k t) (/ k t)))))
41.0ms
(/ (/ 1 t) (sqrt (+ 2 (* (/ k t) (/ k t)))))
40.0ms
(sqrt (+ 2 (* (/ k t) (/ k t))))
36.0ms
(sqrt (+ 2 (* (/ k t) (/ k t))))

simplify8.6s

Calls
144 calls:
Slowest
480.0ms
(/ 1 (* (cbrt (sqrt (+ 2 (* (/ k t) (/ k t))))) (cbrt (sqrt (+ 2 (* (/ k t) (/ k t)))))))
417.0ms
(/ (* (* (/ l t) (/ l t)) (/ l t)) (* (* (sqrt (+ 2 (* (/ k t) (/ k t)))) (sqrt (+ 2 (* (/ k t) (/ k t))))) (sqrt (+ 2 (* (/ k t) (/ k t))))))
345.0ms
(/ (* (* (/ 1 t) (/ 1 t)) (/ 1 t)) (* (* (sqrt (+ 2 (* (/ k t) (/ k t)))) (sqrt (+ 2 (* (/ k t) (/ k t))))) (sqrt (+ 2 (* (/ k t) (/ k t))))))
188.0ms
(sqrt (+ (* 2 2) (- (* (* (/ k t) (/ k t)) (* (/ k t) (/ k t))) (* 2 (* (/ k t) (/ k t))))))
180.0ms
(sqrt (+ (* 2 2) (- (* (* (/ k t) (/ k t)) (* (/ k t) (/ k t))) (* 2 (* (/ k t) (/ k t))))))

prune2.4s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 8.9b

localize30.0ms

Local error

Found 4 expressions with local error:

11.6b
(/ (/ 1 t) (sqrt (+ 2 (* (/ k t) (/ k t)))))
11.4b
(sqrt (sqrt (+ 2 (* (/ k t) (/ k t)))))
11.4b
(sqrt (sqrt (+ 2 (* (/ k t) (/ k t)))))
10.1b
(sqrt (+ 2 (* (/ k t) (/ k t))))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
38×sqrt-prod
31×add-sqr-sqrt
26×*-un-lft-identity add-cube-cbrt
24×times-frac
12×sqrt-div
8×div-inv
6×associate-/r* add-cbrt-cube add-exp-log
5×rem-sqrt-square
4×pow1 flip3-+ flip-+ insert-posit16 associate-/l* add-log-exp
3×pow1/2
2×associate-/r/
1×cbrt-undiv clear-num frac-2neg div-exp associate-/l/
Calls
4 calls:
Slowest
9.0ms
(/ (/ 1 t) (sqrt (+ 2 (* (/ k t) (/ k t)))))
6.0ms
(sqrt (sqrt (+ 2 (* (/ k t) (/ k t)))))
1.0ms
(sqrt (sqrt (+ 2 (* (/ k t) (/ k t)))))
1.0ms
(sqrt (+ 2 (* (/ k t) (/ k t))))

series334.0ms

Calls
4 calls:
Slowest
149.0ms
(sqrt (sqrt (+ 2 (* (/ k t) (/ k t)))))
130.0ms
(sqrt (sqrt (+ 2 (* (/ k t) (/ k t)))))
28.0ms
(sqrt (+ 2 (* (/ k t) (/ k t))))
26.0ms
(/ (/ 1 t) (sqrt (+ 2 (* (/ k t) (/ k t)))))

simplify5.9s

Calls
98 calls:
Slowest
356.0ms
(/ (* (* (/ 1 t) (/ 1 t)) (/ 1 t)) (* (* (sqrt (+ 2 (* (/ k t) (/ k t)))) (sqrt (+ 2 (* (/ k t) (/ k t))))) (sqrt (+ 2 (* (/ k t) (/ k t))))))
258.0ms
(exp (* 1/4 (- (* 2 (log (/ 1 t))) (* 2 (log (/ 1 k))))))
226.0ms
(exp (* 1/4 (- (* 2 (log (/ 1 t))) (* 2 (log (/ 1 k))))))
199.0ms
(sqrt (+ (* 2 2) (- (* (* (/ k t) (/ k t)) (* (/ k t) (/ k t))) (* 2 (* (/ k t) (/ k t))))))
181.0ms
(exp (* 1/4 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 k))))))

prune2.3s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 8.8b

regimes573.0ms

Accuracy

73.3% (1.0b remaining)

Error of 7.9b against oracle of 6.8b and baseline of 10.7b

bsearch683.0ms

end0.0ms

sample15.1s

Algorithm
intervals
Results
5.7s2048×body1280valid
4.6s1674×body640valid
3.0s5962×body80valid
1.1s839×body320valid
368.0ms431×body160valid