Details

Time bar (total: 1.7m)

sample1.1s

Algorithm
intervals
Results
341.0ms137×body1280valid
313.0ms75×body2560valid
221.0ms23×body5120valid
106.0ms70×body640valid
41.0ms38×body320valid
27.0ms70×body80valid
6.0ms8×body160valid

simplify161.0ms

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

prune36.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 31.8b

localize63.0ms

Local error

Found 4 expressions with local error:

30.0b
(/ (/ 2 (* (/ k t) (/ k t))) (* (* (tan k) (/ t (* (/ l t) (/ l t)))) (sin k)))
2.4b
(* (* (tan k) (/ t (* (/ l t) (/ l t)))) (sin k))
1.0b
(/ t (* (/ l t) (/ l t)))
0.8b
(* (tan k) (/ t (* (/ l t) (/ l t))))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
20×add-cbrt-cube add-exp-log
15×associate-/r/
13×associate-*l/
11×pow1
10×associate-*r*
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×frac-times times-frac prod-exp associate-*r/ cbrt-unprod associate-/l*
6×tan-quot
5×div-inv
4×associate-*l* pow-prod-down insert-posit16 add-log-exp
3×cbrt-undiv div-exp
2×clear-num associate-/r* frac-2neg *-commutative
1×associate-/l/
Calls
4 calls:
Slowest
17.0ms
(* (* (tan k) (/ t (* (/ l t) (/ l t)))) (sin k))
16.0ms
(/ (/ 2 (* (/ k t) (/ k t))) (* (* (tan k) (/ t (* (/ l t) (/ l t)))) (sin k)))
9.0ms
(* (tan k) (/ t (* (/ l t) (/ l t))))
1.0ms
(/ t (* (/ l t) (/ l t)))

series790.0ms

Calls
4 calls:
Slowest
335.0ms
(/ (/ 2 (* (/ k t) (/ k t))) (* (* (tan k) (/ t (* (/ l t) (/ l t)))) (sin k)))
243.0ms
(* (* (tan k) (/ t (* (/ l t) (/ l t)))) (sin k))
172.0ms
(* (tan k) (/ t (* (/ l t) (/ l t))))
39.0ms
(/ t (* (/ l t) (/ l t)))

simplify14.6s

Calls
70 calls:
Slowest
1.5s
(/ (* (* (/ 2 (* (/ k t) (/ k t))) (/ 2 (* (/ k t) (/ k t)))) (/ 2 (* (/ k t) (/ k t)))) (* (* (* (* (tan k) (tan k)) (tan k)) (* (* (/ t (* (/ l t) (/ l t))) (/ t (* (/ l t) (/ l t)))) (/ t (* (/ l t) (/ l t))))) (* (* (sin k) (sin k)) (sin k))))
1.5s
(/ (* (* (/ 2 (* (/ k t) (/ k t))) (/ 2 (* (/ k t) (/ k t)))) (/ 2 (* (/ k t) (/ k t)))) (* (* (* (* (tan k) (/ t (* (/ l t) (/ l t)))) (* (tan k) (/ t (* (/ l t) (/ l t))))) (* (tan k) (/ t (* (/ l t) (/ l t))))) (* (* (sin k) (sin k)) (sin k))))
1.1s
(/ (* (* (/ 2 (* (/ k t) (/ k t))) (/ 2 (* (/ k t) (/ k t)))) (/ 2 (* (/ k t) (/ k t)))) (* (* (* (* (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)))) (sin k))))
667.0ms
(/ (/ 2 (* (/ k t) k)) (* (tan k) (/ t (* (/ l t) (/ l t)))))
654.0ms
(/ (* (cbrt (/ 2 (* (/ k t) (/ k t)))) (cbrt (/ 2 (* (/ k t) (/ k t))))) (* (tan k) (/ t (* (/ l t) (/ l t)))))

prune1.6s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 7.1b

localize23.0ms

Local error

Found 4 expressions with local error:

8.7b
(* (/ 2 (* (tan k) k)) (* 1 (* (/ l t) (/ l t))))
8.5b
(* (/ (* (/ 2 (* (tan k) k)) (* 1 (* (/ l t) (/ l t)))) k) (/ t (sin k)))
5.5b
(/ (* (/ 2 (* (tan k) k)) (* 1 (* (/ l t) (/ l t)))) k)
0.4b
(/ 2 (* (tan k) k))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
23×associate-*r/
11×frac-times
9×associate-*l* associate-*l/
8×pow1 add-cbrt-cube add-exp-log
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt associate-/l/
5×associate-*r* div-inv
4×insert-posit16 add-log-exp
2×clear-num frac-2neg pow-prod-down prod-exp tan-quot associate-/r/ *-commutative cbrt-unprod
1×associate-/r* associate-/l*
Calls
4 calls:
Slowest
37.0ms
(/ (* (/ 2 (* (tan k) k)) (* 1 (* (/ l t) (/ l t)))) k)
21.0ms
(* (/ (* (/ 2 (* (tan k) k)) (* 1 (* (/ l t) (/ l t)))) k) (/ t (sin k)))
13.0ms
(* (/ 2 (* (tan k) k)) (* 1 (* (/ l t) (/ l t))))
2.0ms
(/ 2 (* (tan k) k))

series679.0ms

Calls
4 calls:
Slowest
232.0ms
(* (/ (* (/ 2 (* (tan k) k)) (* 1 (* (/ l t) (/ l t)))) k) (/ t (sin k)))
196.0ms
(/ (* (/ 2 (* (tan k) k)) (* 1 (* (/ l t) (/ l t)))) k)
193.0ms
(* (/ 2 (* (tan k) k)) (* 1 (* (/ l t) (/ l t))))
59.0ms
(/ 2 (* (tan k) k))

simplify6.9s

Calls
50 calls:
Slowest
495.0ms
(* (* (* (/ (* (/ 2 (* (tan k) k)) (* 1 (* (/ l t) (/ l t)))) k) (/ (* (/ 2 (* (tan k) k)) (* 1 (* (/ l t) (/ l t)))) k)) (/ (* (/ 2 (* (tan k) k)) (* 1 (* (/ l t) (/ l t)))) k)) (* (* (/ t (sin k)) (/ t (sin k))) (/ t (sin k))))
375.0ms
(* (/ 2 (* (tan k) k)) (* 1 (* (/ l t) (/ l t))))
368.0ms
(* (* (* (/ 2 (* (tan k) k)) (/ 2 (* (tan k) k))) (/ 2 (* (tan k) k))) (* (* (* 1 (* (/ l t) (/ l t))) (* 1 (* (/ l t) (/ l t)))) (* 1 (* (/ l t) (/ l t)))))
345.0ms
(* (/ 2 (* (tan k) k)) (* 1 (* (/ l t) (/ l t))))
345.0ms
(* 2 (* 1 (* (/ l t) (/ l t))))

prune1.2s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 3.7b

localize35.0ms

Local error

Found 4 expressions with local error:

8.5b
(* (/ (* (* l (/ 2 (tan k))) (/ l (* k t))) (* k t)) (/ t (sin k)))
6.5b
(/ l (* k t))
6.2b
(/ (* (* l (/ 2 (tan k))) (/ l (* k t))) (* k t))
1.1b
(* (* l (/ 2 (tan k))) (/ l (* k t)))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
20×add-cbrt-cube add-exp-log
8×pow1 associate-*r*
7×add-sqr-sqrt *-un-lft-identity associate-*r/ add-cube-cbrt
6×associate-*l* prod-exp cbrt-unprod
5×div-inv
4×cbrt-undiv div-exp insert-posit16 add-log-exp
3×frac-times associate-*l/ associate-/l/
2×clear-num associate-/r* frac-2neg times-frac pow-prod-down *-commutative
1×associate-/l*
Calls
4 calls:
Slowest
27.0ms
(* (/ (* (* l (/ 2 (tan k))) (/ l (* k t))) (* k t)) (/ t (sin k)))
18.0ms
(/ (* (* l (/ 2 (tan k))) (/ l (* k t))) (* k t))
11.0ms
(* (* l (/ 2 (tan k))) (/ l (* k t)))
1.0ms
(/ l (* k t))

series674.0ms

Calls
4 calls:
Slowest
230.0ms
(* (/ (* (* l (/ 2 (tan k))) (/ l (* k t))) (* k t)) (/ t (sin k)))
228.0ms
(/ (* (* l (/ 2 (tan k))) (/ l (* k t))) (* k t))
191.0ms
(* (* l (/ 2 (tan k))) (/ l (* k t)))
24.0ms
(/ l (* k t))

simplify13.7s

Calls
52 calls:
Slowest
2.4s
(* (/ (* (* (* (* l (/ 2 (tan k))) (/ l (* k t))) (* (* l (/ 2 (tan k))) (/ l (* k t)))) (* (* l (/ 2 (tan k))) (/ l (* k t)))) (* (* (* k t) (* k t)) (* k t))) (* (* (/ t (sin k)) (/ t (sin k))) (/ t (sin k))))
2.3s
(/ (* (* (* (* l (/ 2 (tan k))) (* l (/ 2 (tan k)))) (* l (/ 2 (tan k)))) (* (* (/ l (* k t)) (/ l (* k t))) (/ l (* k t)))) (* (* (* k t) (* k t)) (* k t)))
1.6s
(/ (* (* (* (* l (/ 2 (tan k))) (/ l (* k t))) (* (* l (/ 2 (tan k))) (/ l (* k t)))) (* (* l (/ 2 (tan k))) (/ l (* k t)))) (* (* (* k t) (* k t)) (* k t)))
1.1s
(* (* (* (/ (* (* l (/ 2 (tan k))) (/ l (* k t))) (* k t)) (/ (* (* l (/ 2 (tan k))) (/ l (* k t))) (* k t))) (/ (* (* l (/ 2 (tan k))) (/ l (* k t))) (* k t))) (* (* (/ t (sin k)) (/ t (sin k))) (/ t (sin k))))
416.0ms
(+ (log (* l (/ 2 (tan k)))) (log (/ l (* k t))))

prune1.4s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 1.9b

localize11.0ms

Local error

Found 4 expressions with local error:

14.2b
(* (/ 1 (* k t)) (/ t (sin k)))
6.5b
(/ l (* k t))
6.3b
(* (* (* l (/ 2 (tan k))) (/ l (* k t))) (* (/ 1 (* k t)) (/ t (sin k))))
1.1b
(* (* l (/ 2 (tan k))) (/ l (* k t)))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
29×add-exp-log
23×associate-*r/
20×pow1 add-cbrt-cube
19×frac-times
16×prod-exp
13×associate-*l/
10×pow-prod-down cbrt-unprod
9×associate-*r*
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×associate-*l*
4×insert-posit16 div-inv add-log-exp
3×rec-exp *-commutative
1×clear-num associate-/r* frac-2neg
Calls
4 calls:
Slowest
25.0ms
(* (* (* l (/ 2 (tan k))) (/ l (* k t))) (* (/ 1 (* k t)) (/ t (sin k))))
11.0ms
(* (* l (/ 2 (tan k))) (/ l (* k t)))
5.0ms
(* (/ 1 (* k t)) (/ t (sin k)))
0.0ms
(/ l (* k t))

series508.0ms

Calls
4 calls:
Slowest
265.0ms
(* (* (* l (/ 2 (tan k))) (/ l (* k t))) (* (/ 1 (* k t)) (/ t (sin k))))
171.0ms
(* (* l (/ 2 (tan k))) (/ l (* k t)))
46.0ms
(* (/ 1 (* k t)) (/ t (sin k)))
26.0ms
(/ l (* k t))

simplify15.2s

Calls
77 calls:
Slowest
1.2s
(* (* (* (* (* l (/ 2 (tan k))) (/ l (* k t))) (* (* l (/ 2 (tan k))) (/ l (* k t)))) (* (* l (/ 2 (tan k))) (/ l (* k t)))) (* (* (* (/ 1 (* k t)) (/ 1 (* k t))) (/ 1 (* k t))) (* (* (/ t (sin k)) (/ t (sin k))) (/ t (sin k)))))
1.2s
(* (* (* (* (* l (/ 2 (tan k))) (* l (/ 2 (tan k)))) (* l (/ 2 (tan k)))) (* (* (/ l (* k t)) (/ l (* k t))) (/ l (* k t)))) (* (* (* (/ 1 (* k t)) (/ 1 (* k t))) (/ 1 (* k t))) (* (* (/ t (sin k)) (/ t (sin k))) (/ t (sin k)))))
1.1s
(* (* (* (* (* l (/ 2 (tan k))) (* l (/ 2 (tan k)))) (* l (/ 2 (tan k)))) (* (* (/ l (* k t)) (/ l (* k t))) (/ l (* k t)))) (* (* (* (/ 1 (* k t)) (/ t (sin k))) (* (/ 1 (* k t)) (/ t (sin k)))) (* (/ 1 (* k t)) (/ t (sin k)))))
1.0s
(* (* (* (* (* l (/ 2 (tan k))) (/ l (* k t))) (* (* l (/ 2 (tan k))) (/ l (* k t)))) (* (* l (/ 2 (tan k))) (/ l (* k t)))) (* (* (* (/ 1 (* k t)) (/ t (sin k))) (* (/ 1 (* k t)) (/ t (sin k)))) (* (/ 1 (* k t)) (/ t (sin k)))))
722.0ms
(* (* (* l 2) (/ l (* k t))) (* 1 (/ t (sin k))))

prune1.2s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0b

regimes423.0ms

Accuracy

0% (1.2b remaining)

Error of 1.3b against oracle of 0.1b and baseline of 1.3b

bsearch2.0ms

end0.0ms

sample40.2s

Algorithm
intervals
Results
12.1s2220×body2560valid
10.8s3991×body1280valid
7.7s932×body5120valid
5.7s2559×body640valid
1.8s1032×body320valid
1.2s2041×body80valid
489.0ms462×body160valid