Details

Time bar (total: 3.6m)

sample446.0ms

Algorithm
intervals
Results
191.0ms61×body1280valid
104.0ms60×body640valid
74.0ms191×body80valid
37.0ms29×body320valid
10.0ms11×body160valid

simplify344.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
344.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: 19.9b

localize55.0ms

Local error

Found 4 expressions with local error:

12.5b
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t)))))
11.7b
(* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))
1.0b
(/ t (* (/ l t) (/ l t)))
0.3b
(* (/ l t) (/ l t))

rewrite238.0ms

Algorithm
rewrite-expression-head
Rules
243×add-cbrt-cube add-exp-log
106×cbrt-undiv div-exp
86×prod-exp cbrt-unprod
79×times-frac
62×add-sqr-sqrt
50×*-un-lft-identity add-cube-cbrt
23×associate-*r*
18×associate-/l*
16×pow1
14×associate-*l*
13×swap-sqr associate-/r/
9×associate-*r/ div-inv
5×frac-times associate-*l/
4×pow-prod-down tan-quot insert-posit16 add-log-exp unswap-sqr
2×clear-num associate-/r* frac-2neg flip3-+ *-commutative flip-+
1×pow2 pow-plus pow-sqr pow-prod-up associate-/l/
Counts
4 → 246
Calls
4 calls:
Slowest
103.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t)))))
79.0ms
(* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))
25.0ms
(* (/ l t) (/ l t))
20.0ms
(/ t (* (/ l t) (/ l t)))

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
890.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t)))))
252.0ms
(* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))
49.0ms
(/ t (* (/ l t) (/ l t)))
44.0ms
(* (/ l t) (/ l t))

simplify50.1s

Counts
245 → 258
Calls
245 calls:
Slowest
2.0s
(/ (* (* (/ 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.8s
(/ (* (* (/ 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) (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.6s
(/ (* (* (/ 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.4s
(/ (* (* (/ 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 (* (/ l t) (/ l t))) (/ t (* (/ l t) (/ l t)))) (/ t (* (/ l t) (/ l t))))))

prune3.3s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 9.8b

localize96.0ms

Local error

Found 4 expressions with local error:

11.2b
(/ (/ l (* k k)) t)
11.2b
(/ (/ l (* k k)) t)
7.9b
(/ l (* k k))
7.9b
(/ l (* k k))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
72×times-frac
40×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
32×add-cbrt-cube add-exp-log
20×associate-/l*
14×cbrt-undiv div-exp
12×div-inv
8×associate-/r*
4×pow1 clear-num frac-2neg prod-exp cbrt-unprod insert-posit16 add-log-exp
2×associate-/l/
Counts
4 → 142
Calls
4 calls:
Slowest
24.0ms
(/ (/ l (* k k)) t)
12.0ms
(/ (/ l (* k k)) t)
7.0ms
(/ l (* k k))
7.0ms
(/ l (* k k))

series120.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
36.0ms
(/ (/ l (* k k)) t)
30.0ms
(/ l (* k k))
30.0ms
(/ (/ l (* k k)) t)
23.0ms
(/ l (* k k))

simplify6.6s

Counts
146 → 154
Calls
146 calls:
Slowest
436.0ms
(/ (* (* l l) l) (* (* (* k k) (* k k)) (* k k)))
398.0ms
(/ (* (* l l) l) (* (* (* k k) (* k k)) (* k k)))
371.0ms
(/ (* (* l l) l) (* (* (* k k) k) (* (* k k) k)))
352.0ms
(/ (* (* l l) l) (* (* (* k k) k) (* (* k k) k)))
206.0ms
(/ (/ (* (* l l) l) (* (* (* k k) k) (* (* k k) k))) (* (* t t) t))

prune3.0s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 9.8b

localize55.0ms

Local error

Found 4 expressions with local error:

12.5b
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* (tan k) (/ t (* (/ l t) (/ l t))))))
3.4b
(* (sin k) (* (tan k) (/ t (* (/ l t) (/ l t)))))
2.9b
(* (tan k) (/ t (* (/ l t) (/ l t))))
1.0b
(/ t (* (/ l t) (/ l t)))

rewrite319.0ms

Algorithm
rewrite-expression-head
Rules
172×add-cbrt-cube add-exp-log
69×cbrt-undiv div-exp
65×prod-exp cbrt-unprod
40×times-frac
28×add-sqr-sqrt
24×*-un-lft-identity add-cube-cbrt
18×associate-/l*
13×associate-/r/
11×pow1 associate-*r* associate-*r/
6×associate-*l* tan-quot
5×frac-times associate-*l/ div-inv
4×pow-prod-down insert-posit16 add-log-exp
2×clear-num associate-/r* frac-2neg flip3-+ *-commutative flip-+ unswap-sqr
1×associate-/l/
Counts
4 → 181
Calls
4 calls:
Slowest
122.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* (tan k) (/ t (* (/ l t) (/ l t))))))
113.0ms
(* (sin k) (* (tan k) (/ t (* (/ l t) (/ l t)))))
57.0ms
(* (tan k) (/ t (* (/ l t) (/ l t))))
20.0ms
(/ t (* (/ l t) (/ l t)))

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
879.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* (tan k) (/ t (* (/ l t) (/ l t))))))
263.0ms
(* (sin k) (* (tan k) (/ t (* (/ l t) (/ l t)))))
241.0ms
(* (tan k) (/ t (* (/ l t) (/ l t))))
46.0ms
(/ t (* (/ l t) (/ l t)))

simplify46.7s

Counts
164 → 193
Calls
164 calls:
Slowest
2.2s
(/ (* (* (/ 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 l) l) (* (* t t) t)) (/ (* (* l l) l) (* (* t t) 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.6s
(/ (* (* (/ 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.2s
(/ (/ (* (* 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)))))))
1.2s
(/ (* (* (/ 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)))))))

prune3.0s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 9.8b

localize62.0ms

Local error

Found 4 expressions with local error:

12.5b
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* (* (tan k) (/ 1 (/ l t))) (/ t (/ l t)))))
4.8b
(* (tan k) (/ 1 (/ l t)))
3.4b
(* (sin k) (* (* (tan k) (/ 1 (/ l t))) (/ t (/ l t))))
1.3b
(* (* (tan k) (/ 1 (/ l t))) (/ t (/ l t)))

rewrite408.0ms

Algorithm
rewrite-expression-head
Rules
613×add-exp-log
315×add-cbrt-cube
265×div-exp
262×prod-exp
171×times-frac
129×cbrt-undiv
126×cbrt-unprod
104×add-sqr-sqrt
92×*-un-lft-identity
90×add-cube-cbrt
89×associate-*r*
28×associate-*r/
26×rec-exp 1-exp
20×pow1
19×frac-times associate-*l/
15×associate-/r/ associate-/l*
14×tan-quot
11×div-inv
10×pow-prod-down
7×associate-*l* un-div-inv
5×unswap-sqr
4×insert-posit16 add-log-exp
3×*-commutative
2×flip3-+ flip-+
1×clear-num associate-/r* frac-2neg associate-/l/
Counts
4 → 372
Calls
4 calls:
Slowest
161.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* (* (tan k) (/ 1 (/ l t))) (/ t (/ l t)))))
142.0ms
(* (sin k) (* (* (tan k) (/ 1 (/ l t))) (/ t (/ l t))))
76.0ms
(* (* (tan k) (/ 1 (/ l t))) (/ t (/ l t)))
18.0ms
(* (tan k) (/ 1 (/ l t)))

series1.5s

Counts
4 → 12
Calls
4 calls:
Slowest
749.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* (* (tan k) (/ 1 (/ l t))) (/ t (/ l t)))))
324.0ms
(* (sin k) (* (* (tan k) (/ 1 (/ l t))) (/ t (/ l t))))
280.0ms
(* (* (tan k) (/ 1 (/ l t))) (/ t (/ l t)))
173.0ms
(* (tan k) (/ 1 (/ l t)))

simplify1.3m

Counts
364 → 384
Calls
364 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) (/ 1 (/ l t))) (* (tan k) (/ 1 (/ l t)))) (* (tan k) (/ 1 (/ l t)))) (* (* (/ t (/ l t)) (/ t (/ l t))) (/ t (/ l t))))))
1.8s
(/ (* (* (/ 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)) (* (* (/ 1 (/ l t)) (/ 1 (/ l t))) (/ 1 (/ l t)))) (* (* (/ t (/ l t)) (/ t (/ l t))) (/ 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) (* (* (tan k) (/ 1 (/ l t))) (/ t (/ l t)))) (* (sin k) (* (* (tan k) (/ 1 (/ l t))) (/ t (/ l t))))) (* (sin k) (* (* (tan k) (/ 1 (/ l t))) (/ 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) (sin k)) (sin k)) (* (* (* (* (tan k) (/ 1 (/ l t))) (/ t (/ l t))) (* (* (tan k) (/ 1 (/ l t))) (/ t (/ l t)))) (* (* (tan k) (/ 1 (/ l t))) (/ t (/ l t))))))
1.2s
(* (* (* (sin k) (sin k)) (sin k)) (* (* (* (* (tan k) (tan k)) (tan k)) (/ (* (* 1 1) 1) (/ (* (* l l) l) (* (* t t) t)))) (/ (* (* t t) t) (/ (* (* l l) l) (* (* t t) t)))))

prune5.9s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 9.6b

regimes493.0ms

Accuracy

31.8% (2.1b remaining)

Error of 12.8b against oracle of 10.6b and baseline of 13.8b

bsearch934.0ms

end0.0ms

sample16.0s

Algorithm
intervals
Results
7.2s2055×body1280valid
3.5s1691×body640valid
3.1s5895×body80valid
1.3s880×body320valid
481.0ms428×body160valid