Details

Time bar (total: 1.8m)

sample1.0s

Algorithm
intervals
Results
286.0ms125×body1280valid
243.0ms32×body5120valid
239.0ms68×body2560valid
161.0ms86×body640valid
43.0ms63×body80valid
29.0ms28×body320valid
10.0ms15×body160valid

simplify188.0ms

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

prune30.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 34.0b

localize54.0ms

Local error

Found 4 expressions with local error:

32.1b
(/ (/ 2 (* (/ k t) (/ k t))) (* (* (tan k) (/ t (* (/ l t) (/ l t)))) (sin k)))
1.4b
(/ t (* (/ l t) (/ l t)))
1.3b
(* (* (tan k) (/ t (* (/ l t) (/ l t)))) (sin k))
0.8b
(* (tan k) (/ t (* (/ l t) (/ l t))))

rewrite50.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
23.0ms
(* (* (tan k) (/ t (* (/ l t) (/ l t)))) (sin k))
14.0ms
(/ (/ 2 (* (/ k t) (/ k t))) (* (* (tan k) (/ t (* (/ l t) (/ l t)))) (sin k)))
10.0ms
(* (tan k) (/ t (* (/ l t) (/ l t))))
1.0ms
(/ t (* (/ l t) (/ l t)))

series622.0ms

Calls
4 calls:
Slowest
260.0ms
(/ (/ 2 (* (/ k t) (/ k t))) (* (* (tan k) (/ t (* (/ l t) (/ l t)))) (sin k)))
167.0ms
(* (* (tan k) (/ t (* (/ l t) (/ l t)))) (sin k))
166.0ms
(* (tan k) (/ t (* (/ l t) (/ l t))))
29.0ms
(/ t (* (/ l t) (/ l t)))

simplify13.8s

Calls
70 calls:
Slowest
1.6s
(/ (* (* (/ 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.2s
(/ (* (* (/ 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))))
834.0ms
(- (log (/ 2 (* (/ k t) (/ k t)))) (+ (log (* (tan k) (/ t (* (/ l t) (/ l t))))) (log (sin k))))
665.0ms
(/ (/ 2 (* k (/ k t))) (* (tan k) (/ t (* (/ l t) (/ l t)))))

prune1.5s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 7.9b

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.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
17.0ms
(/ (* (* k k) t) (* (/ l (sin k)) (/ l (sin k))))
17.0ms
(/ (cos k) (/ (* (* k k) t) (* (/ l (sin k)) (/ l (sin k)))))
14.0ms
(* (/ l (sin k)) (/ l (sin k)))
5.0ms
(* (* k k) t)

series367.0ms

Calls
4 calls:
Slowest
219.0ms
(/ (cos k) (/ (* (* k k) t) (* (/ l (sin k)) (/ l (sin k)))))
79.0ms
(/ (* (* k k) t) (* (/ l (sin k)) (/ l (sin k))))
55.0ms
(* (/ l (sin k)) (/ l (sin k)))
14.0ms
(* (* k k) t)

simplify18.9s

Calls
104 calls:
Slowest
1.4s
(/ (* (* (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.2s
(/ (* (* (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))))))
899.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))))))
855.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)))))
817.0ms
(/ (sqrt (cos k)) (/ 1 (* (/ l (sin k)) (/ l (sin k)))))

prune1.6s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

5.9b
(/ (* (/ l k) (/ l k)) (* t (sin k)))
0.9b
(* (/ (* (/ l k) (/ l k)) (* t (sin k))) (/ (cos k) (sin k)))
0.3b
(* (/ l k) (/ l k))
0.3b
(/ (cos k) (sin k))

rewrite30.0ms

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

series312.0ms

Calls
4 calls:
Slowest
181.0ms
(* (/ (* (/ l k) (/ l k)) (* t (sin k))) (/ (cos k) (sin k)))
91.0ms
(/ (* (/ l k) (/ l k)) (* t (sin k)))
26.0ms
(/ (cos k) (sin k))
14.0ms
(* (/ l k) (/ l k))

simplify13.4s

Calls
97 calls:
Slowest
1.2s
(* (/ (* (* (* (/ l k) (/ l k)) (/ l k)) (* (* (/ l k) (/ l k)) (/ l k))) (* (* (* t (sin k)) (* t (sin k))) (* t (sin k)))) (/ (* (* (cos k) (cos k)) (cos k)) (* (* (sin k) (sin k)) (sin k))))
1.2s
(* (/ (* (* (* (/ l k) (/ l k)) (* (/ l k) (/ l k))) (* (/ l k) (/ l k))) (* (* (* t (sin k)) (* t (sin k))) (* t (sin k)))) (/ (* (* (cos k) (cos k)) (cos k)) (* (* (sin k) (sin k)) (sin k))))
1.1s
(* (/ (* (* (* (/ l k) (/ l k)) (/ l k)) (* (* (/ l k) (/ l k)) (/ l k))) (* (* (* t (sin k)) (* t (sin k))) (* t (sin k)))) (* (* (/ (cos k) (sin k)) (/ (cos k) (sin k))) (/ (cos k) (sin k))))
931.0ms
(* (/ (* (* (* (/ l k) (/ l k)) (* (/ l k) (/ l k))) (* (/ l k) (/ l k))) (* (* (* t (sin k)) (* t (sin k))) (* t (sin k)))) (* (* (/ (cos k) (sin k)) (/ (cos k) (sin k))) (/ (cos k) (sin k))))
693.0ms
(* (* (* (/ (* (/ l k) (/ l k)) (* t (sin k))) (/ (* (/ l k) (/ l k)) (* t (sin k)))) (/ (* (/ l k) (/ l k)) (* t (sin k)))) (/ (* (* (cos k) (cos k)) (cos k)) (* (* (sin k) (sin k)) (sin k))))

prune1.6s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

5.9b
(/ (/ l k) t)
1.6b
(/ (* (/ l k) (/ (/ l k) t)) (sin k))
0.9b
(* (/ (* (/ l k) (/ (/ l k) t)) (sin k)) (/ (cos k) (sin k)))
0.3b
(/ (cos k) (sin k))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
32×add-cbrt-cube add-exp-log
24×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
13×associate-*r*
10×cbrt-undiv div-exp
9×prod-exp cbrt-unprod
8×associate-/l*
7×associate-*l*
6×pow1 associate-/r* div-inv
4×insert-posit16 add-log-exp associate-/l/
3×clear-num frac-2neg
2×frac-times associate-*l/ associate-*r/
1×pow-prod-down *-commutative
Calls
4 calls:
Slowest
30.0ms
(* (/ (* (/ l k) (/ (/ l k) t)) (sin k)) (/ (cos k) (sin k)))
21.0ms
(/ (* (/ l k) (/ (/ l k) t)) (sin k))
7.0ms
(/ (cos k) (sin k))
6.0ms
(/ (/ l k) t)

series250.0ms

Calls
4 calls:
Slowest
130.0ms
(* (/ (* (/ l k) (/ (/ l k) t)) (sin k)) (/ (cos k) (sin k)))
78.0ms
(/ (* (/ l k) (/ (/ l k) t)) (sin k))
29.0ms
(/ (cos k) (sin k))
13.0ms
(/ (/ l k) t)

simplify12.0s

Calls
92 calls:
Slowest
1.2s
(* (/ (* (* (* (/ l k) (/ l k)) (/ l k)) (* (* (/ (/ l k) t) (/ (/ l k) t)) (/ (/ l k) t))) (* (* (sin k) (sin k)) (sin k))) (/ (* (* (cos k) (cos k)) (cos k)) (* (* (sin k) (sin k)) (sin k))))
1.2s
(+ (- (+ (log (/ l k)) (log (/ (/ l k) t))) (log (sin k))) (log (/ (cos k) (sin k))))
766.0ms
(* (/ (* (* (* (/ l k) (/ (/ l k) t)) (* (/ l k) (/ (/ l k) t))) (* (/ l k) (/ (/ l k) t))) (* (* (sin k) (sin k)) (sin k))) (/ (* (* (cos k) (cos k)) (cos k)) (* (* (sin k) (sin k)) (sin k))))
751.0ms
(+ (- (+ (log (/ l k)) (log (/ (/ l k) t))) (log (sin k))) (- (log (cos k)) (log (sin k))))
733.0ms
(* (/ (* (* (* (/ l k) (/ l k)) (/ l k)) (* (* (/ (/ l k) t) (/ (/ l k) t)) (/ (/ l k) t))) (* (* (sin k) (sin k)) (sin k))) (* (* (/ (cos k) (sin k)) (/ (cos k) (sin k))) (/ (cos k) (sin k))))

prune1.6s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.0b

regimes305.0ms

Accuracy

0% (1.4b remaining)

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

bsearch2.0ms

end0.0ms

sample41.5s

Algorithm
intervals
Results
11.3s2250×body2560valid
11.2s4112×body1280valid
9.3s977×body5120valid
5.2s2447×body640valid
1.9s982×body320valid
1.4s2003×body80valid
818.0ms439×body160valid