Details

Time bar (total: 1.4m)

sample965.0ms

Algorithm
intervals
Results
310.0ms138×body1280valid
286.0ms72×body2560valid
200.0ms38×body5120valid
100.0ms73×body640valid
23.0ms25×body320valid
18.0ms62×body80valid
9.0ms13×body160valid

simplify4.1s

Counts
1 → 1
Iterations
IterNodes
47081
3997
2172
149
019

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 16.9b

localize32.0ms

Local error

Found 4 expressions with local error:

8.2b
(/ (* (* (/ k t) t) (* (/ k t) t)) l)
12.5b
(/ (/ 2 (/ t l)) (* (/ (* (* (/ k t) t) (* (/ k t) t)) l) (* (sin k) (tan k))))
17.1b
(* (/ k t) t)
17.1b
(* (/ k t) t)

rewrite326.0ms

Algorithm
rewrite-expression-head
Rules
589×add-cbrt-cube add-exp-log
252×cbrt-undiv div-exp
250×prod-exp cbrt-unprod
199×times-frac
102×add-sqr-sqrt
92×*-un-lft-identity add-cube-cbrt
45×associate-/l*
26×associate-*l*
12×div-inv
8×pow1 associate-*l/
6×associate-*r*
5×associate-/r/
4×associate-/r* associate-*r/ insert-posit16 add-log-exp unswap-sqr associate-/l/
2×frac-times clear-num frac-2neg pow-prod-down tan-quot *-commutative
Counts
4 → 349
Calls
4 calls:
70.0ms
(/ (* (* (/ k t) t) (* (/ k t) t)) l)
211.0ms
(/ (/ 2 (/ t l)) (* (/ (* (* (/ k t) t) (* (/ k t) t)) l) (* (sin k) (tan k))))
10.0ms
(* (/ k t) t)
16.0ms
(* (/ k t) t)

series368.0ms

Counts
4 → 12
Calls
4 calls:
18.0ms
(/ (* (* (/ k t) t) (* (/ k t) t)) l)
330.0ms
(/ (/ 2 (/ t l)) (* (/ (* (* (/ k t) t) (* (/ k t) t)) l) (* (sin k) (tan k))))
10.0ms
(* (/ k t) t)
11.0ms
(* (/ k t) t)

simplify5.5s

Counts
361 → 361
Iterations
IterNodes
210742
11954
0616

prune2.8s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 1.0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (sqrt 2) (tan k))
0.5b
(/ (sqrt 2) (/ (* t (/ k 1)) (/ l (/ k 1))))
2.0b
(/ (* t (/ k 1)) (/ l (/ k 1)))
2.9b
(* (/ (sqrt 2) (/ (* t (/ k 1)) (/ l (/ k 1)))) (* (/ (sqrt 2) (tan k)) (/ l (sin k))))

rewrite200.0ms

Algorithm
rewrite-expression-head
Rules
2212×times-frac
801×add-exp-log
756×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
483×div-exp
472×add-cbrt-cube
309×sqrt-prod
299×associate-*l*
252×cbrt-undiv
246×prod-exp
141×cbrt-unprod
96×associate-/r*
77×div-inv
56×1-exp
32×associate-/r/
13×associate-/l*
9×pow1
6×associate-*r/
5×frac-times
4×insert-posit16 add-log-exp
3×clear-num frac-2neg pow-prod-down associate-*l/
1×associate-*r* tan-quot *-commutative associate-/l/
Counts
4 → 1019
Calls
4 calls:
6.0ms
(/ (sqrt 2) (tan k))
23.0ms
(/ (sqrt 2) (/ (* t (/ k 1)) (/ l (/ k 1))))
30.0ms
(/ (* t (/ k 1)) (/ l (/ k 1)))
103.0ms
(* (/ (sqrt 2) (/ (* t (/ k 1)) (/ l (/ k 1)))) (* (/ (sqrt 2) (tan k)) (/ l (sin k))))

series819.0ms

Counts
4 → 12
Calls
4 calls:
79.0ms
(/ (sqrt 2) (tan k))
146.0ms
(/ (sqrt 2) (/ (* t (/ k 1)) (/ l (/ k 1))))
35.0ms
(/ (* t (/ k 1)) (/ l (/ k 1)))
558.0ms
(* (/ (sqrt 2) (/ (* t (/ k 1)) (/ l (/ k 1)))) (* (/ (sqrt 2) (tan k)) (/ l (sin k))))

simplify2.1s

Counts
1031 → 1031
Iterations
IterNodes
14199
01291

prune11.7s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0b

localize58.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (/ (cbrt (sqrt 2)) k) (* (/ (sqrt 2) (tan k)) (/ l (sin k))))
0.5b
(/ (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (/ t (/ l k)))
3.2b
(* (/ (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (/ t (/ l k))) (* (/ (cbrt (sqrt 2)) k) (* (/ (sqrt 2) (tan k)) (/ l (sin k)))))
4.5b
(/ t (/ l k))

rewrite269.0ms

Algorithm
rewrite-expression-head
Rules
607×add-exp-log
495×add-cbrt-cube
388×times-frac
257×prod-exp cbrt-unprod
251×cbrt-undiv div-exp
171×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
80×associate-*l*
57×associate-/r*
22×frac-times associate-*r/
20×div-inv
18×cbrt-prod pow1
10×associate-*l/
9×pow-prod-down sqrt-prod
6×associate-/r/
4×insert-posit16 associate-/l* add-log-exp
2×clear-num frac-2neg associate-*r* *-commutative
Counts
4 → 485
Calls
4 calls:
45.0ms
(* (/ (cbrt (sqrt 2)) k) (* (/ (sqrt 2) (tan k)) (/ l (sin k))))
23.0ms
(/ (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (/ t (/ l k)))
168.0ms
(* (/ (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (/ t (/ l k))) (* (/ (cbrt (sqrt 2)) k) (* (/ (sqrt 2) (tan k)) (/ l (sin k)))))
6.0ms
(/ t (/ l k))

series1.7s

Counts
4 → 12
Calls
4 calls:
659.0ms
(* (/ (cbrt (sqrt 2)) k) (* (/ (sqrt 2) (tan k)) (/ l (sin k))))
393.0ms
(/ (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (/ t (/ l k)))
637.0ms
(* (/ (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (/ t (/ l k))) (* (/ (cbrt (sqrt 2)) k) (* (/ (sqrt 2) (tan k)) (/ l (sin k)))))
38.0ms
(/ t (/ l k))

simplify1.1s

Counts
497 → 497
Iterations
IterNodes
12348
0706

prune7.0s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ (cbrt (sqrt 2)) k) (* (sqrt 2) (/ l (sin k))))
0.5b
(* (sqrt 2) (/ l (sin k)))
1.4b
(* (/ t (/ l k)) (tan k))
4.5b
(/ t (/ l k))

rewrite137.0ms

Algorithm
rewrite-expression-head
Rules
182×times-frac
129×add-sqr-sqrt
110×*-un-lft-identity add-cube-cbrt
81×associate-*l*
44×add-exp-log
41×add-cbrt-cube
18×cbrt-prod
17×associate-*r*
15×prod-exp cbrt-unprod
14×sqrt-prod
13×pow1 associate-/r*
12×cbrt-undiv div-exp
11×div-inv
7×unswap-sqr
5×pow-prod-down associate-*r/
4×insert-posit16 add-log-exp
3×*-commutative associate-/l*
2×frac-times associate-*l/ tan-quot associate-/r/
1×clear-num frac-2neg
Counts
4 → 236
Calls
4 calls:
51.0ms
(* (/ (cbrt (sqrt 2)) k) (* (sqrt 2) (/ l (sin k))))
26.0ms
(* (sqrt 2) (/ l (sin k)))
37.0ms
(* (/ t (/ l k)) (tan k))
19.0ms
(/ t (/ l k))

series1.0s

Counts
4 → 12
Calls
4 calls:
557.0ms
(* (/ (cbrt (sqrt 2)) k) (* (sqrt 2) (/ l (sin k))))
147.0ms
(* (sqrt 2) (/ l (sin k)))
280.0ms
(* (/ t (/ l k)) (tan k))
30.0ms
(/ t (/ l k))

simplify2.9s

Counts
248 → 248
Iterations
IterNodes
23842
11035
0385

prune3.5s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0b

regimes384.0ms

Accuracy

0% (1.1b remaining)

Error of 1.1b against oracle of 0.0b and baseline of 1.1b

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
225
125
020

end0.0ms

sample39.3s

Algorithm
intervals
Results
12.3s4119×body1280valid
9.6s2208×body2560valid
9.1s962×body5120valid
5.0s2433×body640valid
1.5s978×body320valid
772.0ms2077×body80valid
364.0ms455×body160valid