Details

Time bar (total: 1.7m)

sample1.5s

Algorithm
intervals
Results
567.0ms117×body1280valid
397.0ms80×body2560valid
297.0ms34×body5120valid
172.0ms100×body640valid
40.0ms34×body320valid
24.0ms70×body80valid
14.0ms16×body160valid

simplify193.0ms

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

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 27.4b

localize43.0ms

Local error

Found 4 expressions with local error:

26.3b
(/ (/ 2 (* (/ k t) (/ k t))) (* (* (tan k) (/ t (* (/ l t) (/ l t)))) (sin k)))
1.3b
(/ t (* (/ l t) (/ l t)))
1.0b
(* (* (tan k) (/ t (* (/ l t) (/ l t)))) (sin k))
0.5b
(* (tan k) (/ t (* (/ l t) (/ l t))))

rewrite42.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
18.0ms
(* (* (tan k) (/ t (* (/ l t) (/ l t)))) (sin k))
15.0ms
(/ (/ 2 (* (/ k t) (/ k t))) (* (* (tan k) (/ t (* (/ l t) (/ l t)))) (sin k)))
6.0ms
(* (tan k) (/ t (* (/ l t) (/ l t))))
1.0ms
(/ t (* (/ l t) (/ l t)))

series862.0ms

Calls
4 calls:
Slowest
341.0ms
(/ (/ 2 (* (/ k t) (/ k t))) (* (* (tan k) (/ t (* (/ l t) (/ l t)))) (sin k)))
258.0ms
(* (* (tan k) (/ t (* (/ l t) (/ l t)))) (sin k))
215.0ms
(* (tan k) (/ t (* (/ l t) (/ l t))))
48.0ms
(/ t (* (/ l t) (/ l t)))

simplify14.2s

Calls
70 calls:
Slowest
1.7s
(/ (* (* (/ 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.4s
(/ (* (* (/ 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))))
703.0ms
(/ (/ 2 (* (/ k t) k)) (* (tan k) (/ t (* (/ l t) (/ l t)))))
599.0ms
(/ (/ 2 (* k (/ k t))) (* (tan k) (/ t (* (/ l t) (/ l t)))))

prune1.4s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 6.8b

localize24.0ms

Local error

Found 4 expressions with local error:

13.0b
(/ (* (* k k) t) (* (/ l (sin k)) (/ l (sin k))))
6.5b
(* (* k k) t)
0.3b
(* (/ l (sin k)) (/ l (sin k)))
0.3b
(/ (cos k) (/ (* (* k k) t) (* (/ l (sin k)) (/ l (sin k)))))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
29×times-frac
20×add-cbrt-cube add-exp-log
19×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
16×associate-/r/
9×pow1 associate-/r*
8×div-inv
7×cbrt-undiv div-exp
6×frac-times associate-*l/ associate-*r/
5×associate-*l*
4×associate-*r* insert-posit16 associate-/l* add-log-exp
3×prod-exp cbrt-unprod
2×clear-num frac-2neg *-commutative
1×pow2 pow-plus pow-prod-down pow-prod-up
Calls
4 calls:
Slowest
12.0ms
(/ (cos k) (/ (* (* k k) t) (* (/ l (sin k)) (/ l (sin k)))))
9.0ms
(/ (* (* k k) t) (* (/ l (sin k)) (/ l (sin k))))
4.0ms
(* (/ l (sin k)) (/ l (sin k)))
3.0ms
(* (* k k) t)

series508.0ms

Calls
4 calls:
Slowest
277.0ms
(/ (cos k) (/ (* (* k k) t) (* (/ l (sin k)) (/ l (sin k)))))
125.0ms
(/ (* (* k k) t) (* (/ l (sin k)) (/ l (sin k))))
83.0ms
(* (/ l (sin k)) (/ l (sin k)))
23.0ms
(* (* k k) t)

simplify18.9s

Calls
104 calls:
Slowest
1.3s
(/ (* (* (cos k) (cos k)) (cos k)) (/ (* (* (* (* k k) t) (* (* k k) t)) (* (* k k) t)) (* (* (* (/ l (sin k)) (/ l (sin k))) (/ l (sin k))) (* (* (/ l (sin k)) (/ l (sin k))) (/ l (sin k))))))
1.1s
(/ (* (* (cos k) (cos k)) (cos k)) (/ (* (* (* (* k k) t) (* (* k k) t)) (* (* k k) t)) (* (* (* (/ l (sin k)) (/ l (sin k))) (* (/ l (sin k)) (/ l (sin k)))) (* (/ l (sin k)) (/ l (sin k))))))
962.0ms
(/ (* (* (* (* k k) t) (* (* k k) t)) (* (* k k) t)) (* (* (* (/ l (sin k)) (/ l (sin k))) (/ l (sin k))) (* (* (/ l (sin k)) (/ l (sin k))) (/ l (sin k)))))
834.0ms
(/ (* (* (cos k) (cos k)) (cos k)) (* (* (/ (* (* k k) t) (* (/ l (sin k)) (/ l (sin k)))) (/ (* (* k k) t) (* (/ l (sin k)) (/ l (sin k))))) (/ (* (* k k) t) (* (/ l (sin k)) (/ l (sin k))))))
712.0ms
(/ (* (* (* (* k k) t) (* (* k k) t)) (* (* k k) t)) (* (* (* (/ l (sin k)) (/ l (sin k))) (* (/ l (sin k)) (/ l (sin k)))) (* (/ l (sin k)) (/ l (sin k)))))

prune1.6s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 4 expressions with local error:

5.8b
(/ (* (/ l k) (/ l k)) (* t (sin k)))
0.3b
(/ (cos k) (sin k))
0.3b
(* (/ l k) (/ l k))
0.2b
(* t (sin k))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×add-cbrt-cube add-exp-log
10×times-frac
9×pow1
7×associate-*r*
4×associate-/r* associate-*l* insert-posit16 div-inv associate-/l* add-log-exp
3×cbrt-undiv div-exp associate-/l/
2×frac-times clear-num frac-2neg associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod
1×pow2 pow-plus pow-prod-down pow-prod-up
Calls
4 calls:
Slowest
8.0ms
(/ (* (/ l k) (/ l k)) (* t (sin k)))
5.0ms
(* (/ l k) (/ l k))
4.0ms
(/ (cos k) (sin k))
3.0ms
(* t (sin k))

series246.0ms

Calls
4 calls:
Slowest
129.0ms
(/ (* (/ l k) (/ l k)) (* t (sin k)))
54.0ms
(* t (sin k))
31.0ms
(/ (cos k) (sin k))
31.0ms
(* (/ l k) (/ l k))

simplify3.7s

Calls
66 calls:
Slowest
467.0ms
(- (+ (log (/ l k)) (log (/ l k))) (log (* t (sin k))))
459.0ms
(/ (* (* (* (/ l k) (/ l k)) (/ l k)) (* (* (/ l k) (/ l k)) (/ l k))) (* (* (* t (sin k)) (* t (sin k))) (* t (sin k))))
439.0ms
(/ (* (* (* (/ l k) (/ l k)) (* (/ l k) (/ l k))) (* (/ l k) (/ l k))) (* (* (* t (sin k)) (* t (sin k))) (* t (sin k))))
346.0ms
(- (log (* (/ l k) (/ l k))) (log (* t (sin k))))
331.0ms
(/ (pow l 2) (* t (* (sin k) (pow k 2))))

prune1.3s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

4.2b
(/ (* t (sin k)) (/ l k))
0.3b
(/ (cos k) (sin k))
0.2b
(* t (sin k))
0.2b
(* (/ (/ l k) (/ (* t (sin k)) (/ l k))) (/ (cos k) (sin k)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
74×times-frac
41×associate-*l*
40×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
29×add-cbrt-cube add-exp-log
23×div-inv
16×associate-*r*
11×cbrt-undiv div-exp
7×associate-/r*
6×pow1 prod-exp associate-/r/ cbrt-unprod
4×insert-posit16 associate-/l* add-log-exp
2×clear-num frac-2neg *-commutative
1×frac-times pow-prod-down associate-*l/ associate-*r/
Calls
4 calls:
Slowest
11.0ms
(* (/ (/ l k) (/ (* t (sin k)) (/ l k))) (/ (cos k) (sin k)))
5.0ms
(/ (* t (sin k)) (/ l k))
4.0ms
(/ (cos k) (sin k))
1.0ms
(* t (sin k))

series397.0ms

Calls
4 calls:
Slowest
219.0ms
(* (/ (/ l k) (/ (* t (sin k)) (/ l k))) (/ (cos k) (sin k)))
89.0ms
(/ (* t (sin k)) (/ l k))
54.0ms
(* t (sin k))
35.0ms
(/ (cos k) (sin k))

simplify13.5s

Calls
124 calls:
Slowest
1.1s
(* (/ (* (* (/ l k) (/ l k)) (/ l k)) (/ (* (* (* t (sin k)) (* t (sin k))) (* t (sin k))) (* (* (/ l k) (/ l k)) (/ l k)))) (/ (* (* (cos k) (cos k)) (cos k)) (* (* (sin k) (sin k)) (sin k))))
956.0ms
(* (/ (* (* (/ l k) (/ l k)) (/ l k)) (/ (* (* (* t (sin k)) (* t (sin k))) (* t (sin k))) (* (* (/ l k) (/ l k)) (/ l k)))) (* (* (/ (cos k) (sin k)) (/ (cos k) (sin k))) (/ (cos k) (sin k))))
812.0ms
(* (/ (* (* (/ l k) (/ l k)) (/ l k)) (* (* (/ (* t (sin k)) (/ l k)) (/ (* t (sin k)) (/ l k))) (/ (* t (sin k)) (/ l k)))) (/ (* (* (cos k) (cos k)) (cos k)) (* (* (sin k) (sin k)) (sin k))))
735.0ms
(* (/ (* (* (/ l k) (/ l k)) (/ l k)) (* (* (/ (* t (sin k)) (/ l k)) (/ (* t (sin k)) (/ l k))) (/ (* t (sin k)) (/ l k)))) (* (* (/ (cos k) (sin k)) (/ (cos k) (sin k))) (/ (cos k) (sin k))))
668.0ms
(+ (- (log (/ l k)) (- (log (* t (sin k))) (log (/ l k)))) (- (log (cos k)) (log (sin k))))

prune2.0s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.0b

regimes313.0ms

Accuracy

0% (1.0b remaining)

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

bsearch2.0ms

end0.0ms

sample40.9s

Algorithm
intervals
Results
13.0s4102×body1280valid
11.1s2319×body2560valid
8.1s930×body5120valid
5.6s2535×body640valid
1.4s975×body320valid
925.0ms2058×body80valid
408.0ms434×body160valid