Details

Time bar (total: 1.1m)

sample418.0ms

Algorithm
intervals
Results
150.0ms61×body1280valid
116.0ms198×body80valid
89.0ms55×body640valid
23.0ms22×body320valid
12.0ms15×body160valid

simplify2.8s

Counts
1 → 1
Iterations
IterNodes
46079
31031
2181
154
019

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 18.6b

localize75.0ms

Local error

Found 4 expressions with local error:

1.1b
(* (/ t (/ l t)) (/ (tan k) (/ l t)))
3.2b
(* (sin k) (* (/ t (/ l t)) (/ (tan k) (/ l t))))
4.5b
(/ (tan k) (/ l t))
14.2b
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* (/ t (/ l t)) (/ (tan k) (/ l t)))))

rewrite210.0ms

Algorithm
rewrite-expression-head
Rules
258×times-frac
221×add-cbrt-cube add-exp-log
167×add-sqr-sqrt
131×*-un-lft-identity add-cube-cbrt
108×cbrt-undiv div-exp
66×prod-exp cbrt-unprod
47×associate-*l*
45×associate-*r*
18×associate-/l*
16×div-inv
14×associate-/r*
11×pow1
10×associate-/r/
9×associate-*r/ unswap-sqr
4×pow-prod-down insert-posit16 add-log-exp
3×frac-times associate-*l/
2×clear-num frac-2neg flip3-+ *-commutative flip-+ associate-/l/
1×tan-quot
Counts
4 → 328
Calls
4 calls:
21.0ms
(* (/ t (/ l t)) (/ (tan k) (/ l t)))
51.0ms
(* (sin k) (* (/ t (/ l t)) (/ (tan k) (/ l t))))
15.0ms
(/ (tan k) (/ l t))
116.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* (/ t (/ l t)) (/ (tan k) (/ l t)))))

series1.5s

Counts
4 → 12
Calls
4 calls:
206.0ms
(* (/ t (/ l t)) (/ (tan k) (/ l t)))
212.0ms
(* (sin k) (* (/ t (/ l t)) (/ (tan k) (/ l t))))
154.0ms
(/ (tan k) (/ l t))
909.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* (/ t (/ l t)) (/ (tan k) (/ l t)))))

simplify3.7s

Counts
340 → 340
Iterations
IterNodes
28431
11804
0558

prune4.7s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 11.0b

localize45.0ms

Local error

Found 4 expressions with local error:

4.0b
(* (sin k) (* t (/ (tan k) (/ l t))))
4.5b
(/ (tan k) (/ l t))
7.2b
(* (/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* t (/ (tan k) (/ l t))))) (/ l t))
9.8b
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* t (/ (tan k) (/ l t)))))

rewrite285.0ms

Algorithm
rewrite-expression-head
Rules
193×add-cbrt-cube add-exp-log
142×times-frac
81×add-sqr-sqrt
80×cbrt-undiv div-exp
76×*-un-lft-identity add-cube-cbrt
71×prod-exp cbrt-unprod
23×associate-*l*
18×associate-/l*
14×associate-/r* associate-*r*
11×pow1 div-inv
9×associate-/r/
7×associate-*r/
4×pow-prod-down insert-posit16 add-log-exp
3×flip3-+ flip-+
2×clear-num frac-2neg *-commutative unswap-sqr associate-/l/
1×frac-times associate-*l/ tan-quot
Counts
4 → 252
Calls
4 calls:
33.0ms
(* (sin k) (* t (/ (tan k) (/ l t))))
8.0ms
(/ (tan k) (/ l t))
167.0ms
(* (/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* t (/ (tan k) (/ l t))))) (/ l t))
66.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* t (/ (tan k) (/ l t)))))

series1.6s

Counts
4 → 12
Calls
4 calls:
180.0ms
(* (sin k) (* t (/ (tan k) (/ l t))))
163.0ms
(/ (tan k) (/ l t))
792.0ms
(* (/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* t (/ (tan k) (/ l t))))) (/ l t))
469.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (sin k) (* t (/ (tan k) (/ l t)))))

simplify2.5s

Counts
264 → 264
Iterations
IterNodes
26360
11305
0435

prune4.0s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 10.2b

localize78.0ms

Local error

Found 4 expressions with local error:

3.6b
(* (/ (sqrt 2) (sin k)) (/ (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)) (* t (/ (tan k) (/ l t)))))
4.5b
(/ (tan k) (/ l t))
7.2b
(* (* (/ (sqrt 2) (sin k)) (/ (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)) (* t (/ (tan k) (/ l t))))) (/ l t))
9.8b
(/ (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)) (* t (/ (tan k) (/ l t))))

rewrite373.0ms

Algorithm
rewrite-expression-head
Rules
379×add-cbrt-cube add-exp-log
206×times-frac
175×cbrt-undiv div-exp
134×prod-exp cbrt-unprod
114×add-sqr-sqrt
106×*-un-lft-identity add-cube-cbrt
42×associate-*r*
37×sqrt-prod
27×associate-/l*
23×associate-*l*
14×associate-/r*
12×div-inv
11×pow1
9×associate-/r/
6×frac-times associate-*l/ associate-*r/
4×pow-prod-down insert-posit16 add-log-exp
3×flip3-+ flip-+ unswap-sqr
2×clear-num frac-2neg *-commutative associate-/l/
1×tan-quot
Counts
4 → 361
Calls
4 calls:
135.0ms
(* (/ (sqrt 2) (sin k)) (/ (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)) (* t (/ (tan k) (/ l t)))))
15.0ms
(/ (tan k) (/ l t))
151.0ms
(* (* (/ (sqrt 2) (sin k)) (/ (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)) (* t (/ (tan k) (/ l t))))) (/ l t))
53.0ms
(/ (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)) (* t (/ (tan k) (/ l t))))

series2.6s

Counts
4 → 12
Calls
4 calls:
656.0ms
(* (/ (sqrt 2) (sin k)) (/ (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)) (* t (/ (tan k) (/ l t)))))
164.0ms
(/ (tan k) (/ l t))
1.3s
(* (* (/ (sqrt 2) (sin k)) (/ (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)) (* t (/ (tan k) (/ l t))))) (/ l t))
475.0ms
(/ (/ (sqrt 2) (+ (* (/ k t) (/ k t)) 2)) (* t (/ (tan k) (/ l t))))

simplify3.4s

Counts
373 → 373
Iterations
IterNodes
27506
11775
0553

prune6.0s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 10.2b

localize105.0ms

Local error

Found 4 expressions with local error:

7.2b
(* (* (* (/ (sqrt 2) (sin k)) (/ (/ (sqrt (sqrt 2)) (sqrt (+ (* (/ k t) (/ k t)) 2))) t)) (/ (/ (sqrt (sqrt 2)) (sqrt (+ (* (/ k t) (/ k t)) 2))) (/ (tan k) (/ l t)))) (/ l t))
7.7b
(/ (/ (sqrt (sqrt 2)) (sqrt (+ (* (/ k t) (/ k t)) 2))) t)
9.4b
(sqrt (+ (* (/ k t) (/ k t)) 2))
9.4b
(sqrt (+ (* (/ k t) (/ k t)) 2))

rewrite640.0ms

Algorithm
rewrite-expression-head
Rules
777×add-cbrt-cube add-exp-log
405×times-frac
389×cbrt-undiv div-exp
330×sqrt-prod
282×prod-exp cbrt-unprod
224×add-sqr-sqrt
222×*-un-lft-identity add-cube-cbrt
60×associate-/l*
17×frac-times associate-*l/
15×pow1
13×associate-*r*
12×sqrt-div
8×associate-/r/
7×associate-*r/
6×flip3-+ pow-prod-down flip-+ div-inv
4×insert-posit16 add-log-exp
3×associate-/r*
2×rem-sqrt-square sqrt-pow1 pow1/2
1×clear-num frac-2neg associate-*l* *-commutative associate-/l/
Counts
4 → 532
Calls
4 calls:
547.0ms
(* (* (* (/ (sqrt 2) (sin k)) (/ (/ (sqrt (sqrt 2)) (sqrt (+ (* (/ k t) (/ k t)) 2))) t)) (/ (/ (sqrt (sqrt 2)) (sqrt (+ (* (/ k t) (/ k t)) 2))) (/ (tan k) (/ l t)))) (/ l t))
39.0ms
(/ (/ (sqrt (sqrt 2)) (sqrt (+ (* (/ k t) (/ k t)) 2))) t)
15.0ms
(sqrt (+ (* (/ k t) (/ k t)) 2))
13.0ms
(sqrt (+ (* (/ k t) (/ k t)) 2))

series1.6s

Counts
4 → 12
Calls
4 calls:
1.2s
(* (* (* (/ (sqrt 2) (sin k)) (/ (/ (sqrt (sqrt 2)) (sqrt (+ (* (/ k t) (/ k t)) 2))) t)) (/ (/ (sqrt (sqrt 2)) (sqrt (+ (* (/ k t) (/ k t)) 2))) (/ (tan k) (/ l t)))) (/ l t))
230.0ms
(/ (/ (sqrt (sqrt 2)) (sqrt (+ (* (/ k t) (/ k t)) 2))) t)
51.0ms
(sqrt (+ (* (/ k t) (/ k t)) 2))
85.0ms
(sqrt (+ (* (/ k t) (/ k t)) 2))

simplify2.4s

Counts
544 → 544
Iterations
IterNodes
12412
0805

prune10.6s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 10.2b

regimes455.0ms

Accuracy

0% (1.1b remaining)

Error of 11.4b against oracle of 10.4b and baseline of 11.4b

bsearch0.0ms

simplify13.0ms

Iterations
IterNodes
225
125
021

end0.0ms

sample14.9s

Algorithm
intervals
Results
6.7s2051×body1280valid
3.8s1717×body640valid
2.3s5913×body80valid
1.2s862×body320valid
437.0ms427×body160valid