Details

Time bar (total: 46.6s)

sample413.0ms

Algorithm
intervals
Results
149.0ms66×body1280valid
103.0ms56×body640valid
54.0ms15×body160valid
54.0ms168×body80valid
30.0ms23×body320valid

simplify243.0ms

Counts
1 → 1

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 22.9b

localize47.0ms

Local error

Found 4 expressions with local error:

13.7b
(/ (/ 2 (fma (/ k t) (/ k t) 2)) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t)))))
11.1b
(* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))
1.0b
(/ t (* (/ l t) (/ l t)))
0.5b
(/ 2 (fma (/ k t) (/ k t) 2))

rewrite175.0ms

Algorithm
rewrite-expression-head
Rules
233×add-cbrt-cube add-exp-log
103×cbrt-undiv div-exp
82×prod-exp cbrt-unprod
46×times-frac
30×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
19×associate-/l*
10×associate-*r*
9×pow1 associate-/r/
8×associate-*r/
6×div-inv
5×associate-/r*
4×expm1-log1p-u frac-times associate-*l/ tan-quot insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg pow-prod-down
1×associate-*l* *-commutative associate-/l/
Counts
4 → 210
Calls
4 calls:
Slowest
78.0ms
(/ (/ 2 (fma (/ k t) (/ k t) 2)) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t)))))
60.0ms
(* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))
20.0ms
(/ t (* (/ l t) (/ l t)))
7.0ms
(/ 2 (fma (/ k t) (/ k t) 2))

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
853.0ms
(/ (/ 2 (fma (/ k t) (/ k t) 2)) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t)))))
205.0ms
(* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))
90.0ms
(/ 2 (fma (/ k t) (/ k t) 2))
51.0ms
(/ t (* (/ l t) (/ l t)))

simplify554.0ms

Counts
250 → 222

prune3.2s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 17.9b

localize59.0ms

Local error

Found 4 expressions with local error:

13.7b
(/ (/ 2 (fma (/ k t) (/ k t) 2)) (* (sin k) (* (tan k) (/ t (* (/ l t) (/ l t))))))
4.6b
(* (tan k) (/ t (* (/ l t) (/ l t))))
3.2b
(* (sin k) (* (tan k) (/ t (* (/ l t) (/ l t)))))
1.0b
(/ t (* (/ l t) (/ l t)))

rewrite324.0ms

Algorithm
rewrite-expression-head
Rules
172×add-cbrt-cube add-exp-log
69×cbrt-undiv div-exp
65×prod-exp cbrt-unprod
38×times-frac
28×add-sqr-sqrt
24×*-un-lft-identity add-cube-cbrt
16×associate-/l*
11×pow1 associate-*r* associate-*r/
9×associate-/r/
6×associate-*l* tan-quot
5×frac-times associate-*l/ div-inv
4×expm1-log1p-u pow-prod-down insert-posit16 log1p-expm1-u add-log-exp
2×clear-num associate-/r* frac-2neg *-commutative unswap-sqr
1×associate-/l/
Counts
4 → 185
Calls
4 calls:
Slowest
142.0ms
(* (sin k) (* (tan k) (/ t (* (/ l t) (/ l t)))))
109.0ms
(/ (/ 2 (fma (/ k t) (/ k t) 2)) (* (sin k) (* (tan k) (/ t (* (/ l t) (/ l t))))))
58.0ms
(* (tan k) (/ t (* (/ l t) (/ l t))))
12.0ms
(/ t (* (/ l t) (/ l t)))

series1.5s

Counts
4 → 12
Calls
4 calls:
Slowest
962.0ms
(/ (/ 2 (fma (/ k t) (/ k t) 2)) (* (sin k) (* (tan k) (/ t (* (/ l t) (/ l t))))))
277.0ms
(* (sin k) (* (tan k) (/ t (* (/ l t) (/ l t)))))
182.0ms
(* (tan k) (/ t (* (/ l t) (/ l t))))
60.0ms
(/ t (* (/ l t) (/ l t)))

simplify527.0ms

Counts
216 → 197

prune2.9s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 13.8b

localize55.0ms

Local error

Found 4 expressions with local error:

13.7b
(/ (/ 2 (fma (/ k t) (/ k t) 2)) (* (sin k) (* (* (tan k) (/ 1 (/ l t))) (/ t (/ l t)))))
3.3b
(* (tan k) (/ 1 (/ l t)))
3.2b
(* (sin k) (* (* (tan k) (/ 1 (/ l t))) (/ t (/ l t))))
1.5b
(* (* (tan k) (/ 1 (/ l t))) (/ t (/ l t)))

rewrite383.0ms

Algorithm
rewrite-expression-head
Rules
613×add-exp-log
315×add-cbrt-cube
265×div-exp
262×prod-exp
169×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/
14×tan-quot
13×associate-/l*
11×associate-/r/ div-inv
10×pow-prod-down
7×associate-*l* un-div-inv
5×unswap-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
1×clear-num associate-/r* frac-2neg associate-/l/
Counts
4 → 376
Calls
4 calls:
Slowest
152.0ms
(/ (/ 2 (fma (/ 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))))
52.0ms
(* (* (tan k) (/ 1 (/ l t))) (/ t (/ l t)))
25.0ms
(* (tan k) (/ 1 (/ l t)))

series2.0s

Counts
4 → 12
Calls
4 calls:
Slowest
1.2s
(/ (/ 2 (fma (/ k t) (/ k t) 2)) (* (sin k) (* (* (tan k) (/ 1 (/ l t))) (/ t (/ l t)))))
323.0ms
(* (sin k) (* (* (tan k) (/ 1 (/ l t))) (/ t (/ l t))))
320.0ms
(* (* (tan k) (/ 1 (/ l t))) (/ t (/ l t)))
195.0ms
(* (tan k) (/ 1 (/ l t)))

simplify1.4s

Counts
408 → 388

prune6.1s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 11.3b

localize76.0ms

Local error

Found 4 expressions with local error:

11.6b
(/ (/ 2 (fma (/ k t) (/ k t) 2)) (* (sin k) (* (* (sin k) (/ 1 (/ l t))) t)))
7.2b
(* (/ (/ 2 (fma (/ k t) (/ k t) 2)) (* (sin k) (* (* (sin k) (/ 1 (/ l t))) t))) (* (cos k) (/ l t)))
3.3b
(* (sin k) (/ 1 (/ l t)))
3.2b
(* (sin k) (* (* (sin k) (/ 1 (/ l t))) t))

rewrite899.0ms

Algorithm
rewrite-expression-head
Rules
622×add-exp-log
354×add-cbrt-cube
328×prod-exp
211×div-exp
176×cbrt-unprod
125×times-frac
115×cbrt-undiv
77×add-sqr-sqrt
65×*-un-lft-identity
63×add-cube-cbrt
46×associate-*r*
25×associate-*l*
20×pow1 rec-exp 1-exp
13×associate-*r/ associate-/l*
10×pow-prod-down
9×div-inv
7×associate-*l/
5×associate-/r/ unswap-sqr
4×expm1-log1p-u un-div-inv insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
1×frac-times clear-num associate-/r* frac-2neg associate-/l/
Counts
4 → 323
Calls
4 calls:
Slowest
559.0ms
(* (/ (/ 2 (fma (/ k t) (/ k t) 2)) (* (sin k) (* (* (sin k) (/ 1 (/ l t))) t))) (* (cos k) (/ l t)))
164.0ms
(/ (/ 2 (fma (/ k t) (/ k t) 2)) (* (sin k) (* (* (sin k) (/ 1 (/ l t))) t)))
142.0ms
(* (sin k) (* (* (sin k) (/ 1 (/ l t))) t))
17.0ms
(* (sin k) (/ 1 (/ l t)))

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
835.0ms
(* (/ (/ 2 (fma (/ k t) (/ k t) 2)) (* (sin k) (* (* (sin k) (/ 1 (/ l t))) t))) (* (cos k) (/ l t)))
271.0ms
(/ (/ 2 (fma (/ k t) (/ k t) 2)) (* (sin k) (* (* (sin k) (/ 1 (/ l t))) t)))
189.0ms
(* (sin k) (* (* (sin k) (/ 1 (/ l t))) t))
84.0ms
(* (sin k) (/ 1 (/ l t)))

simplify1.1s

Counts
351 → 335

prune5.3s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 11.2b

regimes442.0ms

Accuracy

0% (2.7b remaining)

Error of 13.8b against oracle of 11.1b and baseline of 13.8b

bsearch8.0ms

end0.0ms

sample16.4s

Algorithm
intervals
Results
6.9s2171×body1280valid
4.3s1708×body640valid
3.1s5806×body80valid
1.2s830×body320valid
489.0ms426×body160valid