Details

Time bar (total: 3.4m)

sample356.0ms

Algorithm
intervals
Results
160.0ms60×body1280valid
83.0ms61×body640valid
54.0ms186×body80valid
27.0ms26×body320valid
11.0ms16×body160valid

simplify368.0ms

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

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 21.6b

localize37.0ms

Local error

Found 4 expressions with local error:

14.7b
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t)))))
9.8b
(* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))
0.8b
(/ t (* (/ l t) (/ l t)))
0.2b
(* (sin k) (tan k))

rewrite203.0ms

Algorithm
rewrite-expression-head
Rules
233×add-cbrt-cube add-exp-log
102×cbrt-undiv div-exp
83×prod-exp cbrt-unprod
39×times-frac
26×add-sqr-sqrt
24×*-un-lft-identity add-cube-cbrt
18×associate-/l*
13×associate-*r* associate-/r/
11×pow1
9×associate-*r/
5×tan-quot div-inv
4×frac-times associate-*l* pow-prod-down associate-*l/ insert-posit16 add-log-exp
2×clear-num associate-/r* frac-2neg flip3-+ *-commutative flip-+
1×unswap-sqr associate-/l/
Calls
4 calls:
Slowest
94.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t)))))
58.0ms
(* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))
22.0ms
(* (sin k) (tan k))
20.0ms
(/ t (* (/ l t) (/ l t)))

series1.3s

Calls
4 calls:
Slowest
990.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t)))))
221.0ms
(* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))
76.0ms
(* (sin k) (tan k))
48.0ms
(/ t (* (/ l t) (/ l t)))

simplify45.4s

Calls
181 calls:
Slowest
2.1s
(/ (* (* (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (* (* (* (sin k) (sin k)) (sin k)) (* (* (tan k) (tan k)) (tan k))) (/ (* (* t t) t) (* (* (* (/ l t) (/ l t)) (* (/ l t) (/ l t))) (* (/ l t) (/ l t))))))
1.7s
(/ (* (* (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (* (* (* (sin k) (sin k)) (sin k)) (* (* (tan k) (tan k)) (tan k))) (/ (* (* t t) t) (* (* (* (/ l t) (/ l t)) (/ l t)) (* (* (/ l t) (/ l t)) (/ l t))))))
1.5s
(/ (* (* (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (* (* (* (sin k) (tan k)) (* (sin k) (tan k))) (* (sin k) (tan k))) (/ (* (* t t) t) (* (* (* (/ l t) (/ l t)) (* (/ l t) (/ l t))) (* (/ l t) (/ l t))))))
1.4s
(/ (* (* (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (* (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t)))) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))))
1.4s
(/ (/ (* (* 2 2) 2) (* (* (+ (* (/ k t) (/ k t)) 2) (+ (* (/ k t) (/ k t)) 2)) (+ (* (/ k t) (/ k t)) 2))) (* (* (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t)))) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))))

prune3.0s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 11.9b

localize65.0ms

Local error

Found 4 expressions with local error:

14.7b
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ (* (* t (/ (sin k) (/ l t))) (/ (sin k) (/ l t))) (cos k)))
4.9b
(/ (sin k) (/ l t))
4.9b
(/ (sin k) (/ l t))
0.2b
(/ 2 (+ (* (/ k t) (/ k t)) 2))

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
384×times-frac
196×add-cbrt-cube add-exp-log
184×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
117×cbrt-undiv div-exp
42×prod-exp cbrt-unprod
36×associate-/r* div-inv
24×associate-/l*
21×associate-/r/
9×flip3-+ flip-+
4×pow1 clear-num frac-2neg insert-posit16 add-log-exp
1×associate-/l/
Calls
4 calls:
Slowest
88.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ (* (* t (/ (sin k) (/ l t))) (/ (sin k) (/ l t))) (cos k)))
30.0ms
(/ 2 (+ (* (/ k t) (/ k t)) 2))
11.0ms
(/ (sin k) (/ l t))
9.0ms
(/ (sin k) (/ l t))

series1.2s

Calls
4 calls:
Slowest
908.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ (* (* t (/ (sin k) (/ l t))) (/ (sin k) (/ l t))) (cos k)))
104.0ms
(/ (sin k) (/ l t))
90.0ms
(/ (sin k) (/ l t))
64.0ms
(/ 2 (+ (* (/ k t) (/ k t)) 2))

simplify1.5m

Calls
520 calls:
Slowest
1.7s
(/ (* (* (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ (* (* (* (* t t) t) (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (* (* (cos k) (cos k)) (cos k))))
1.6s
(/ (* (* (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ (* (* (* (* t (/ (sin k) (/ l t))) (* t (/ (sin k) (/ l t)))) (* t (/ (sin k) (/ l t)))) (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (* (* (cos k) (cos k)) (cos k))))
1.4s
(/ (* (* (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ (* (* (* (* t (/ (sin k) (/ l t))) (/ (sin k) (/ l t))) (* (* t (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (* (* t (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (* (* (cos k) (cos k)) (cos k))))
933.0ms
(/ (/ (* (* 2 2) 2) (* (* (+ (* (/ k t) (/ k t)) 2) (+ (* (/ k t) (/ k t)) 2)) (+ (* (/ k t) (/ k t)) 2))) (* (* (/ (* (* t (/ (sin k) (/ l t))) (/ (sin k) (/ l t))) (cos k)) (/ (* (* t (/ (sin k) (/ l t))) (/ (sin k) (/ l t))) (cos k))) (/ (* (* t (/ (sin k) (/ l t))) (/ (sin k) (/ l t))) (cos k))))
743.0ms
(/ (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ (* (* t (/ (sin k) (/ l t))) (/ (sin k) (/ l t))) (cos k)))

prune5.6s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 11.1b

localize59.0ms

Local error

Found 4 expressions with local error:

18.1b
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
18.1b
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
18.1b
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
14.5b
(/ (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))) (/ (* t (/ (sin k) (/ l t))) 1))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
81×add-exp-log
46×div-exp
45×cbrt-prod
40×times-frac
39×add-cbrt-cube
29×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
24×cbrt-undiv
21×prod-exp
11×cbrt-unprod
8×1-exp
7×cbrt-div associate-/r* associate-/r/
6×div-inv
4×pow1 insert-posit16 add-log-exp
3×flip3-+ pow1/3 flip-+ associate-/l/
1×frac-times clear-num frac-2neg associate-*l/ associate-*r/ associate-/l*
Calls
4 calls:
Slowest
31.0ms
(/ (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))) (/ (* t (/ (sin k) (/ l t))) 1))
15.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
8.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
7.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))

series1.6s

Calls
4 calls:
Slowest
796.0ms
(/ (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))) (/ (* t (/ (sin k) (/ l t))) 1))
261.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
255.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
249.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))

simplify21.7s

Calls
113 calls:
Slowest
1.1s
(/ (* (* (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))))) (/ (* (* (* t t) t) (/ (* (* (sin k) (sin k)) (sin k)) (* (* (/ l t) (/ l t)) (/ l t)))) (* (* 1 1) 1)))
1.0s
(/ (* (* (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))))) (/ (* (* (* t t) t) (/ (* (* (sin k) (sin k)) (sin k)) (/ (* (* l l) l) (* (* t t) t)))) (* (* 1 1) 1)))
862.0ms
(- (+ (log (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))) (log (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))))) (- (log (* t (/ (sin k) (/ l t)))) (log 1)))
674.0ms
(/ (* (* (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))))) (/ (* (* (* t t) t) (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (* (* 1 1) 1)))
657.0ms
(/ (* (* (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))))) (/ (* (* (* t (/ (sin k) (/ l t))) (* t (/ (sin k) (/ l t)))) (* t (/ (sin k) (/ l t)))) (* (* 1 1) 1)))

prune2.5s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 11.1b

localize53.0ms

Local error

Found 4 expressions with local error:

18.1b
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
18.1b
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
18.1b
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
7.9b
(/ (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))) (/ t 1))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
58×times-frac
45×cbrt-prod
39×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
21×add-exp-log
13×associate-/r*
12×add-cbrt-cube
10×div-exp
7×cbrt-div associate-/r/
6×cbrt-undiv div-inv
4×pow1 insert-posit16 add-log-exp
3×flip3-+ pow1/3 prod-exp flip-+ associate-/l/
2×1-exp cbrt-unprod
1×frac-times clear-num frac-2neg associate-*l/ associate-*r/ associate-/l*
Calls
4 calls:
Slowest
50.0ms
(/ (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))) (/ t 1))
16.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
15.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
12.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))

series1.2s

Calls
4 calls:
Slowest
378.0ms
(/ (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))) (/ t 1))
277.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
265.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
242.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))

simplify9.8s

Calls
113 calls:
Slowest
644.0ms
(* (/ (pow (cbrt 2) 2) t) (pow 1/4 1/3))
409.0ms
(cbrt (/ 2 (- (* (* (/ k t) (/ k t)) (* (/ k t) (/ k t))) (* 2 2))))
377.0ms
(cbrt (/ 2 (- (* (* (/ k t) (/ k t)) (* (/ k t) (/ k t))) (* 2 2))))
367.0ms
(cbrt (/ 2 (- (* (* (/ k t) (/ k t)) (* (/ k t) (/ k t))) (* 2 2))))
361.0ms
(cbrt (/ 2 (+ (pow (* (/ k t) (/ k t)) 3) (pow 2 3))))

prune2.4s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 11.1b

regimes317.0ms

Accuracy

0% (0.6b remaining)

Error of 11.5b against oracle of 10.8b and baseline of 11.5b

bsearch7.0ms

end0.0ms

sample15.6s

Algorithm
intervals
Results
6.6s2054×body1280valid
4.4s1743×body640valid
2.7s5956×body80valid
1.2s882×body320valid
346.0ms436×body160valid